9. Stability II.
Software

B(E)3M35HYS – Hybrid systems

0. Introduction
1. Discrete-event systems: Automata
2. Discrete-event systems: Petri nets
3. Discrete-event systems: Max-plus systems
4. Hybrid systems: Hybrid automata
5. Hybrid systems: Hybrid equations
6. Some classes of hybrid systems
7. Solution
8. Stability I.
9. Stability II.
10. Complementarity systems
11. Mixed logical dynamical (MLD) systems
12. Model predictive control (MPC) for MLD systems
13. Formal verification I.
14. Formal verification II.

9. Stability II.
Software

Software

Pretty much the same software as for the previous lecture on stability.

Stability via multiple Lyapunov functions

Copyright 2025, Zdeněk Hurák

Report an issue