Equivalence of switching linear systems by bisimulation

A general notion of hybrid bisimulation is proposed for the class of switching linear systems. Connections between the notions of bisimulation-based equivalence, state-space equivalence, algebraic and input–output equivalence are investigated. An algebraic characterization of hybrid bisimulation and an algorithmic procedure converging in a finite number of steps to the maximal hybrid bisimulation are derived. Hybrid state space reduction is performed by hybrid bisimulation between the hybrid system and itself. By specializing the results obtained on bisimulation, also characterizations of simulation and abstraction are derived. Connections between observability, bisimulation-based reduction and simulation-based abstraction are studied.

[1]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..

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

[3]  Thomas A. Henzinger,et al.  Hybrid Automata with Finite Bisimulatioins , 1995, ICALP.

[4]  Clyde F. Martin,et al.  A Converse Lyapunov Theorem for a Class of Dynamical Systems which Undergo Switching , 1999, IEEE Transactions on Automatic Control.

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

[6]  J. M. Schumacher,et al.  Compositionality issues in discrete, continuous, and hybrid systems , 2001 .

[7]  Thomas Brihaye,et al.  On O-Minimal Hybrid Systems , 2004, HSCC.

[8]  George J. Pappas,et al.  Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.

[9]  Paulo Tabuada,et al.  Composing Abstractions of Hybrid Systems , 2002, HSCC.

[10]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[11]  Maria Domenica Di Benedetto,et al.  DIGITAL IDLE SPEED CONTROL OF AUTOMOTIVE ENGINES USING HYBRID MODELS , 2005 .

[12]  S. Shankar Sastry,et al.  Hybrid Systems with Finite Bisimulations , 1997, Hybrid Systems.

[13]  Maria Domenica Di Benedetto,et al.  Computation of maximal safe sets for switching systems , 2004, IEEE Transactions on Automatic Control.

[14]  Maria Domenica Di Benedetto,et al.  Bisimulation theory for switching linear systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[15]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

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

[17]  M. Zefran,et al.  Design of switching controllers for systems with changing dynamics , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[18]  Paulo Tabuada,et al.  Finite bisimulations of controllable linear systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[19]  Holger Hermanns,et al.  Interactive Markov Chains , 2002, Lecture Notes in Computer Science.

[20]  John Lygeros,et al.  Synthesizing Controllers for Nonlinear Hybrid Systems , 1998, HSCC.

[21]  E. De Santis,et al.  On observability and detectability of continuous-time linear switching systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[22]  Arjan van der Schaft,et al.  Bisimulation of Dynamical Systems , 2004, HSCC.

[23]  M. Broucke,et al.  Regularity of solutions and homotopic equivalence for hybrid systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[24]  Paulo Tabuada,et al.  Bisimilar control affine systems , 2004, Syst. Control. Lett..

[25]  A. Morse.  Supervisory control of families of linear set-point controllers Part I. Exact matching , 1996, IEEE Trans. Autom. Control..

[26]  Arjan van der Schaft,et al.  Equivalence of hybrid dynamical systems , 2004 .

[27]  Raymond A. DeCarlo,et al.  Switched Controller Synthesis for the Quadratic Stabilisation of a Pair of Unstable Linear Systems , 1998, Eur. J. Control.

[28]  Kennan T. Smith,et al.  Linear Topological Spaces , 1966 .

[29]  A. J. van der Schaft,et al.  Equivalence of dynamical systems by bisimulation , 2004, IEEE Transactions on Automatic Control.

[30]  Roy M. Howard,et al.  Linear System Theory , 1992 .