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
BE3M35HYS + B3M35HYS
Titulní stránka
Kurzy
B3M35HYS, BE3M35HYS - B221
Petri nets and their use for modelling, analysis and control of discrete-event systems
Tento kurz je součástí již archivovaného semestru, a proto je dostupný pouze pro čtení.
Osnova sekce
◄
Discrete-event systems: (finite) state automata as a model of discrete-event systems
►
(max,+) algebra and its use for modelling, analysis and control of (some) discrete-event systems
Vybrat aktivitu Learning goals
Learning goals
Stránka
Vybrat aktivitu Literature
Literature
Stránka
Vybrat aktivitu Software
Software
Stránka
◄
Discrete-event systems: (finite) state automata as a model of discrete-event 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 Systems (PWA)
Concept(s) of a solution of a hybrid system, conditions of existence
Analysis of stability of hybrid systems
Linear matrix inequalities, semidefinite programming, sum-of-squares programming
Complementarity dynamical systems
Mixed logical dynamical (MLD) description of discrete-time dynamical systems
MPC for hybrid dynamical systems
►
(max,+) algebra and its use for modelling, analysis and control of (some) discrete-event systems
