|
Vyučující
|
-
Masopust Tomáš, prof. RNDr. Ph.D., DSc.
|
|
Obsah předmětu
|
1. Úvod do kyber-fyzikálních systémů 2. Reaktivní komponenty a jejich vlastnosti 3. Skládání synchronních systémů 4. Podmínky bezpečnosti, invarianty, verifikace 5. Asynchronní procesy a jejich vlastnosti 6. Bezpečnost, blokovanost, fairness v asynchronních systémech 7. Temporální logiky 8. Ověřování modelů, Büchiho automaty, živost systémů 9. Spojité modely, lineární systémy, návrh kontrolorů 10. Časované modely, časované automaty 11. Real-time scheduling, koncepty, architektura, EDF scheduling 12. Hybridní systémy, modely, stabilita, lineární hybridní systémy
|
|
Studijní aktivity a metody výuky
|
|
Přednášení, Demonstrace
|
|
Výstupy z učení
|
Studenti se seznámí se základními principy a technikami kyber-fyzikálních systémů
Schopnost navrhovat, verifikovat a analyzovat kyber-fyzikální systémy
|
|
Předpoklady
|
FJ - Formální jazyky a automaty SLOZ - Složitost
|
|
Hodnoticí metody a kritéria
|
Ústní zkouška, Písemná zkouška, Seminární práce
Aktivní účast v hodině. Plnění zadaných úkolů. Složení závěrečné zkoušky.
|
|
Doporučená literatura
|
-
A. Platzer. (2018). Logical Foundations of Cyber-Physical Systems.
-
C. G. Cassandras, S. Lafortune. (2021). Introduction to Discrete Event Systems.
-
G. Buttazzo. (2024). Hard Real-Time Computing Systems, 4th ed..
-
H. Lin, P. J. Antsaklis. (2022). Hybrid Dynamical Systems: Fundamentals and Methods.
-
J. Esparza, M. Blondin. (2023). Automata Theory: An Algorithmic Approach.
-
R. Alur. (2015). Principles of Cyber-Physical Systems.
|