Antsaklis P.J., Lin H. Hybrid dynamical systems: an introduction to control and verification

Paris: Now Publishers, 2014. — 175 p.Hybrid dynamical systems are a class of complex systems that involve interacting discrete-event and continuous-variable dynamics. They are important in applications in embedded systems, cyber-physical systems, robotics, manufacturing systems, traffic management, biomolecular networks, and have recently been at the center of intense research activity in the control theory, computer-aided verification, and artificial intelligence communities. This paper provides a tutorial introduction to this multidisciplinary research area. A number of fundamental topics, such as modeling, abstraction, verification, supervisory control, stability analysis, stabilization, and optimal control of hybrid systems are introduced and discussed. Additionally, more advanced topics are briefly discussed at the end of each chapter with references given for further reading.Modeling of hybrid systems
Finite automata
Hybrid automata
Switched systems
Piecewise affine systems
Notes and further reading
Stability, stabilization and optimal control
Stability of hybrid systems
Switching stabilization
Optimal control
Notes and further reading
Verification of hybrid systems
Model checking
Bisimulation
Timed automata
Hybrid automata
Notes and further reading
Hybrid supervisory control
Discrete event supervisory control
Timed language supervisory control
Hybrid supervisory control
Notes and further reading
Concluding remarks
Acknowledgements