Observability and controllability of piecewise affine and hybrid systems

We prove, in a constructive way, the equivalence between piecewise affine systems and a broad class of hybrid systems described by interacting linear dynamics, automata, and propositional logic. By focusing our investigation on the former class, we show through counterexamples that observability and controllability properties cannot be easily deduced from those of the component linear subsystems. Instead, we propose practical numerical tests based on mixed-integer linear programming.

[1]  H. P. Williams.  Logical problems and integer programming , 1977 .

[2]  V. Utkin.  Variable structure systems with sliding modes , 1977 .

[3]  M. J. Maher,et al.  Model Building in Mathematical Programming , 1978 .

[4]  Richard C. Larson,et al.  Model Building in Mathematical Programming , 1979 .

[5]  Eduardo Sontag.  Nonlinear regulation: The piecewise linear approach , 1981 .

[6]  Eduardo D. Sontag,et al.  Real Addition and the Polynomial Hierarchy , 1985, Inf. Process. Lett..

[7]  A. Haddad,et al.  On the Controllability and Observability of Hybrid Systems , 1988, 1988 American Control Conference.

[8]  E. Gilbert,et al.  Optimal infinite-horizon feedback laws for a general class of constrained discrete-time systems: Stability and moving-horizon approximations , 1988 .

[9]  Eduardo Sontag.  Controllability is harder to decide than accessibility , 1988 .

[10]  Abderrahmane Haddad,et al.  Controllability and observability of hybrid systems , 1989 .

[11]  Panos M. Pardalos,et al.  Modeling and integer programming techniques applied to propositional calculus , 1990, Comput. Oper. Res..

[12]  Eduardo D. Sontag,et al.  Mathematical Control Theory: Deterministic Finite Dimensional Systems , 1990 .

[13]  R. Raman,et al.  RELATION BETWEEN MILP MODELLING AND LOGICAL INFERENCE FOR CHEMICAL PROCESS SYNTHESIS , 1991 .

[14]  Joseph Sifakis,et al.  Integration Graphs: A Class of Decidable Hybrid Systems , 1992, Hybrid Systems.

[15]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[16]  I. Bar-Itzhack,et al.  Observability analysis of piece-wise constant systems. I. Theory , 1992 .

[17]  R. Decarlo,et al.  Construction of piecewise Lyapunov functions for stabilizing switched systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[18]  M. Branicky.  Stability of switched and hybrid systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[19]  Eduardo D. Sontag,et al.  Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time , 1996, Hybrid Systems.

[20]  J. Rawlings,et al.  Nonlinear Moving Horizon State Estimation , 1995 .

[21]  John Lygeros,et al.  A Game-Theoretic Approach to Hybrid System Design , 1996, Hybrid Systems.

[22]  Amir Pnueli,et al.  Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives , 1995, Theor. Comput. Sci..

[23]  Christodoulos A. Floudas,et al.  Nonlinear and Mixed-Integer Optimization , 1995 .

[24]  Karen Rudie,et al.  A survey of modeling and control of hybrid systems , 1997 .

[25]  Manfred Morari,et al.  Propositional logic in control and monitoring problems , 1997, 1997 European Control Conference (ECC).

[26]  Anders Rantzer,et al.  Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1997, 1997 European Control Conference (ECC).

[27]  Stephen P. Boyd,et al.  Quadratic stabilization and control of piecewise-linear systems , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[28]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

[29]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[30]  M. Branicky.  Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[31]  Sven Leyffer,et al.  Numerical Experience with Lower Bounds for MIQP Branch-And-Bound , 1998, SIAM J. Optim..

[32]  A. Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[33]  John N. Tsitsiklis,et al.  Complexity of stability and controllability of elementary hybrid systems , 1999, Autom..

[34]  Alberto Bemporad,et al.  From ease in programming to easy maintenance: extending DSL usability with montages , 1999 .

[35]  Alberto Bemporad,et al.  A framework for control, fault detection, state estimation, and verification of hybrid systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[36]  M. Morari,et al.  Model predictive control — Ideas for the next generation , 1999, 1999 European Control Conference (ECC).

[37]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[38]  Alberto Bemporad,et al.  Verification of Hybrid Systems via Mathematical Programming , 1999, HSCC.

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

[40]  John N. Tsitsiklis,et al.  The Stability of Saturated Linear Dynamical Systems Is Undecidable , 2000, J. Comput. Syst. Sci..

[41]  Alberto Bemporad,et al.  Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems , 2000, HSCC.

[42]  Manfred Morari,et al.  Moving horizon estimation for hybrid systems , 2002, IEEE Trans. Autom. Control..