3. Discrete-event systems: Max-plus systems
Software
B(E)3M35HYS – Hybrid systems
0. Introduction
What is a hybrid system?
Course annotation and outline
Rules of the course
Similar courses
Literature
1. Discrete-event systems: Automata
Learning goals
Discrete-event systems
State automata
Software
Literature
2. Discrete-event systems: Petri nets
Learning goals
Petri nets
Timed Petri nets
Software
Literature
3. Discrete-event systems: Max-plus systems
Learning goals
Max-plus algebra
Max-plus linear (MPL) systems
Software
Literature
4. Hybrid systems: Hybrid automata
Learning goals
Hybrid automata
Software
Literature
5. Hybrid systems: Hybrid equations
Learning goals
Hybrid equations
Software
Literature
6. Some classes of hybrid systems
Learning goals
Reset systems
Switched systems
Piecewise affine (PWA) systems
Software
Literature
7. Solution
Learning goals
Solution concepts
Types of solutions
Literature
8. Stability I.
Learning goals
Recap of stability analysis for continuous dynamical systems
Stability of hybrid systems
Stability via common Lyapunov function
Software
Literature
9. Stability II.
Learning goals
Stability via multiple Lyapunov functions
Software
Literature
10. Complementarity systems
Learning goals
Complementarity constraints
Complementarity systems
Simulations of complementarity systems using time-stepping
Software
Literature
11. Mixed logical dynamical (MLD) systems
Learning goals
Discrete hybrid automata
Logic vs inequalities
Components of DHA as inequalities
Mixed logical dynamical (MLD) systems
Software
Literature
12. Model predictive control (MPC) for MLD systems
Learning goals
Online MPC for hybrid systems
Explicit MPC for hybrid systems
Software
Literature
13. Formal verification I.
Learning goals
What is verification?
Reachability analysis
Barrier certificates
Software
Literature
14. Formal verification II.
Learning goals
Temporal logics
Software
Literature
3. Discrete-event systems: Max-plus systems
Software
Software
MaxPlus.jl
package for Julia by Quentin Quadrat.
Max-Plus Algebra Toolbox for Matlab
by Jarosław Stańczyk.
Back to top
Max-plus linear (MPL) systems
Literature