Bisimilar control affine systems

The notion of bisimulation plays a very important role in theoretical computer science where it provides several notions of equivalence between models of computation. These equivalences are in turn used to simplify verification and synthesis for these models as well as to enable compositional reasoning. In systems theory, a similar notion is also of interest in order to develop modular verification and design tools for purely continuous or hybrid control systems. In this paper, we introduce two notions of bisimulation for nonlinear systems. We present differential geometric characterizations of these notions and show that bisimilar systems of different dimensions are obtained by factoring out certain invariant distributions. Furthermore, we also show that all bisimilar systems of different dimension are of this form.

[1]  Arjan van der Schaft,et al.  Non-linear dynamical control systems , 1990 .

[2]  Louis R. Hunt,et al.  Design for Multi-Input Nonlinear Systems , 1982 .

[3]  Roger W. Brockett,et al.  Feedback Invariants for Nonlinear Systems , 1978 .

[4]  George J. Pappas.  Bisimilar linear systems , 2003, Autom..

[5]  George J. Pappas,et al.  Hierarchies of stabilizability preserving linear systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[6]  George J. Pappas,et al.  Consistent abstractions of affine control systems , 2002, IEEE Trans. Autom. Control..

[7]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[8]  A. Krener.  On the Equivalence of Control Systems and the Linearization of Nonlinear Systems , 1973 .

[9]  Arjan van der Schaft,et al.  Partial symmetries for nonlinear systems , 1985, Mathematical systems theory.

[10]  Paulo Tabuada,et al.  Hierarchical trajectory generation for a class of nonlinear systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[11]  Paulo Tabuada,et al.  Bisimulation Relations for Dynamical and Control Systems , 2003, CTCS.

[12]  Kevin A. Grasse,et al.  On controlled invariance for fully nonlinear systems , 1992 .

[13]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[14]  A. Isidori,et al.  Nonlinear decoupling via feedback: A differential geometric approach , 1981 .

[15]  H. Nijmeijer.  Controlled invariance for affine control systems , 1981 .

[16]  R. Hirschorn.  $(A,\mathcal{B})$-Invariant Distributions and Disturbance Decoupling of Nonlinear Systems , 1981 .

[17]  S. Shankar Sastry,et al.  Hierarchically consistent control systems , 2000, IEEE Trans. Autom. Control..

[18]  S. Marcus,et al.  The structure of nonlinear control systems possessing symmetries , 1985 .