|
Lecturer(s)
|
-
Masopust Tomáš, doc. RNDr. Ph.D., DSc.
|
|
Course content
|
1. Introduction to cyber-physical systems 2. Reactive components and their properties 3. Composition of synchronous systems 4. Safety conditions, invariants, verification 5. Asynchronous processes and their properties 6. Safety, blockingness, fairness in asynchronous systems 7. Temporal logics 8. Model checking, Büchi automata, liveness 9. Continuous-time models, linear systems, controller design 10. Timed models and timed automata 11. Real-time scheduling, concepts, architecture, EDF scheduling 12. Hybrid systems, models, stability, linear hybrid systems
|
|
Learning activities and teaching methods
|
|
Lecture, Demonstration
|
|
Learning outcomes
|
Students will acquire the basic principles and techniques of cyber-physical systems
Ability to design, verify and analyze a cyber-physical system
|
|
Prerequisites
|
FJ - Formal Languages and Automata SLOZ - Complexity
|
|
Assessment methods and criteria
|
Oral exam, Written exam, Seminar Work
Active participation in the class. Completion of assigned homeworks. Passing the final exam.
|
|
Recommended literature
|
-
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.
|