4. Hybrid systems: Hybrid automata
Literature
B(E)3M35HYS – Hybrid systems
0. Introduction
What is a hybrid system?
Course outline
Literature
1. Discrete-event systems: Automata
Discrete-event systems
State automata
Software
Literature
2. Discrete-event systems: Petri nets
Petri nets
Timed Petri nets
Software
Literature
3. Discrete-event systems: Max-plus systems
Max-plus algebra
Max-plus linear (MPL) systems
Software
Literature
4. Hybrid systems: Hybrid automata
Hybrid automata
Software
Literature
5. Hybrid systems: Hybrid equations
Hybrid equations
Software
Literature
6. Some classes of hybrid systems
Reset systems
Switched systems
Piecewise affine (PWA) systems
Software
Literature
7. Solution
Solution concepts
Types of solutions
Literature
8. Stability
Recap of stability analysis for continuous dynamical systems
Stability of hybrid systems
Stability via common Lyapunov function
Stability via multiple Lyapunov functions
Software
Literature
9. Complementarity systems
Complementarity constraints
Complementarity systems
Simulations of complementarity systems using time-stepping
Software
Literature
10. Mixed logical dynamical (MLD) systems
Discrete hybrid automata
Logic vs mixed integer-linear inequalities
Mixed logical dynamical (MLD) systems
Software
Literature
11. Model predictive control (MPC) for MLD systems
Online MPC for hybrid systems
Explicit MPC for hybrid systems
Software
Literature
12. Formal verification
What is verification?
Reachability analysis
Barrier certificates
Temporal logics
Software
Literature
4. Hybrid systems: Hybrid automata
Literature
Literature
Back to top
Software
Hybrid equations