Přejít k hlavnímu obsahu
Přihlásit se
Čeština (cs)
English (en)
Dokumentace
Čeština (cs)
English (en)
Hybridní systémy
B3M35HYS + BE3M35HYS
Titulní stránka
Kurzy
B3M35HYS, BE3M35HYS - B251
MPC for hybrid dynamical systems
Osnova sekce
◄
Mixed logical dynamical (MLD) description of discrete-time dynamical systems
►
Formal verification of hybrid systems
Within the MLD framework
online MPC for MLD
explicit (offline) MPC for MLD via multiparametric programming
Vybrat aktivitu Learning goals
Learning goals
Stránka
Vybrat aktivitu Literature
Literature
Stránka
Vybrat aktivitu Lecture notes/handouts
Lecture notes/handouts
Soubor
◄
Mixed logical dynamical (MLD) description of discrete-time dynamical systems
Přejít na...
Hlavní stránka kurzu
General information about the course
Discrete-event systems: (finite) state automata as a model of discrete-event systems
Petri nets and their use for modelling, analysis and control of discrete-event systems
(max,+) algebra and its use for modelling, analysis and control of (some) discrete-event systems
Hybrid automata as the key modeling framework for hybrid systems
Hybrid equations as an alternative modeling framework for hybrid systems
Subclasses of hybrid systems: Reset (control) systems, Switched/switching dynamical systems, Piecewise Affine (PWA) Systems. Definitions and conditions of existence and uniqueness of a solution
Concept(s) of a solution of a hybrid system, conditions of existence
Analysis of stability of hybrid systems I.: common Lyapunov function (CLF)
Analysis of stability of hybrid systems II.: multiple Lyapunov function (MLF)
Complementarity dynamical systems
Mixed logical dynamical (MLD) description of discrete-time dynamical systems
MPC for hybrid dynamical systems
Formal verification of hybrid systems
►
Formal verification of hybrid systems
