|
Vyučující
|
-
Masopust Tomáš, doc. 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. Springer.
-
D. B. Rawat, J. J. P. C. Rodrigues, I. Stojmenovic. (2015). Cyber-Physical Systems: From Theory to Practice. CRC Press.
-
E. A. Lee, S. A. Seshia. (2011). Introduction to embedded systems: A cyber-physical systems approach. Lee & Seshia.
-
R. Alur. (2015). Principles of Cyber-Physical Systems. MIT Press.
|