Hybrid Systems: Computation and Control

This class presents recent advances in the theory for control, verification, and simulation of hybrid dynamical systems, and shows the application of the theory to the design of the control architecture for complex, large scale systems. Hybrid dynamical systems are continuous time, continuous variable systems with a phased operation. The phases of operation capture the system’s discrete event or linguistic behavior, while the continuous variable dynamics capture the system’s detailed or “lowerlevel” behavior. The two behaviors influence each other. Hierarchical organization is implicit in hybrid systems, since the discrete event dynamics represent planning which is based on an abstraction of the continuous dynamics. Control systems design based on hybrid models consist of three parts:

[1]  A. Stephen Morse,et al.  Control Using Logic-Based Switching , 1997 .

[2]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[3]  Randy A. Freeman,et al.  Robust Nonlinear Control Design , 1996 .

[4]  Robin J. Evans,et al.  Robust output feedback stabilizability via controller switching , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

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

[6]  Panos J. Antsaklis,et al.  Stabilization of second-order LTI switched systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[7]  R. Decarlo,et al.  Perspectives and results on the stability and stabilizability of hybrid systems , 2000, Proceedings of the IEEE.

[8]  A. Michel,et al.  Robust stabilizing control laws for a class of second-order switched systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

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

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

[11]  A. I. Subbotin,et al.  Game-Theoretical Control Problems , 1987 .

[12]  Marc Quincampoix,et al.  Pursuit Differential Games with State Constraints , 2000, SIAM J. Control. Optim..

[13]  A. Michel,et al.  Stability theory for hybrid dynamical systems , 1998, IEEE Trans. Autom. Control..

[14]  M. Corless,et al.  Continuous state feedback guaranteeing uniform ultimate boundedness for uncertain dynamic systems , 1981 .

[15]  Jean-Pierre Aubin,et al.  Impulse differential inclusions: a viability approach to hybrid systems , 2002, IEEE Trans. Autom. Control..

[16]  Jean-Pierre Aubin,et al.  Viability theory , 1991 .

[17]  Arjan van der Schaft,et al.  Complementarity modelling of hybrid systems , 1997 .

[18]  Karl Henrik Johansson,et al.  Dynamical properties of hybrid automata , 2003, IEEE Trans. Autom. Control..

[19]  Marc Quincampoix,et al.  Stabilization of Uncertain Control Systems through Piecewise Constant Feedback , 1998 .

[20]  Nancy A. Lynch,et al.  Hybrid I/O automata , 1995, Inf. Comput..

[21]  Yu. S. Ledyaev,et al.  Nonsmooth analysis and control theory , 1998 .

[22]  J. Aubin.  Set-valued analysis , 1990 .

[23]  Alberto Bemporad,et al.  HYSDEL-a tool for generating computational hybrid models for analysis and synthesis problems , 2004, IEEE Transactions on Control Systems Technology.

[24]  P. Cardaliaguet.  A differential game with two players and one target , 1994 .

[25]  Bo Hu,et al.  Towards a stability theory of general hybrid dynamical systems , 1999, Autom..

[26]  Daniel Liberzon,et al.  Benchmark Problems in Stability and Design of Switched Systems , 1999 .