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
General information about the course
Osnova sekce
►
Discrete-event systems: (finite) state automata as a model of discrete-event systems
Vybrat sekci General information about the course
Vybrat aktivitu Oznámení
Oznámení
Fórum
Vybrat aktivitu Annotation
Annotation
Stránka
Vybrat aktivitu Literature
Literature
Stránka
Vybrat aktivitu Similar and related courses
Similar and related courses
Stránka
Vybrat aktivitu Conditions for passing the course
Conditions for passing the course
Stránka
Vybrat aktivitu Discussion forum
Discussion forum
Fórum
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
►
Discrete-event systems: (finite) state automata as a model of discrete-event systems
