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
Mixed logical dynamical (MLD) description of discrete-time dynamical systems
Osnova sekce
◄
Complementarity dynamical systems
►
MPC for hybrid dynamical systems
Vybrat aktivitu Learning goals
Learning goals
Stránka
Vybrat aktivitu Literature
Literature
Stránka
Vybrat aktivitu Lecture notes/handouts
Lecture notes/handouts
Soubor
Vybrat aktivitu Software
Software
Stránka
Vybrat aktivitu Code, simulation models, ...
Code, simulation models, ...
Složka
◄
Complementarity 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
►
MPC for hybrid dynamical systems
