These notes give an introduction to the equivalence problem of sub-Riemannian manifolds. We first introduce preliminaries in terms connections, frame bundles and geometry. Then we arrive main aim these notes, which is description canonical grading connection existing on sub-Riemann manifolds with constant symbol. structures are exactly what needed order determine if two isometric. three concret...

Sénizergues has proved that language equivalence is decidable for disjoint ǫ-deterministic PDA. Stirling has showed that strong bisimilarity is decidable for PDA. On the negative side Srba demonstrated that the weak bisimilarity is undecidable for normed PDA. Later Jančar and Srba established the undecidability of the weak bisimilarity for disjoint ǫ-pushing PDA and disjoint ǫ-popping PDA. Thes...

In this paper we study limits of generalized state space systems under high gain feedback modulo system equivalence. Diierent group actions on the space of system pencils are considered and related to the action of pencil equivalence. A recent result on the orbit closure problem for pencils is applied to obtain necessary conditions for a system to be a limit of a given system under high gain fe...

We present a general construction for eliminating imperfect information from games with several players who coordinate against nature, and to transform them into two-player games with perfect information while preserving winning strategy profiles. The construction yields an infinite game tree with epistemic models associated to nodes. To obtain a more succinct representation, we define an abstr...