Modeling and Control of Hybrid Systems
Table of Contents
- General introduction, examples of hybrid systems and motivation
- Modeling frameworks (automata, hybrid automata, piecewise-affine
systems, complementarity systems, mixed logic dynamical systems, Petri nets)
- Properties and analysis of hybrid systems (well-posedness, Zeno
behavior, stability, liveness, safety, ...)
- Control of hybrid systems (switching controllers, model predictive
control)
- Verification and tools