Systems Theory

Garant předmětu:

Stefan Ratschan

Přednášející:

Stefan Ratschan, Jiří Vyskočil

Cvičící:

Stefan Ratschan, Jiří Vyskočil

Předmět zajišťuje:

katedra číslicového návrhu

Anotace:

Today, humankind has the ability to develop systems of incredible complexity (e.g., trains, microprocessors, airplanes, nuclear power plants). However, the costs of managing this complexity and of ensuring the correct behavior of a given system have become critical. A key technique for mastering this complexity is the usage of models that describe only those aspects of the systems that are important for the task at hand, and automated tools for analyzing those models. This subject will present theory and algorithms that form the basis for the modeling and analysis of complex systems.

Požadavky:

None.

Osnova přednášek:

1. System theory introduction.

2. Logical basics.

3. Systems and automata.

4. Interacting system components.

5. Temporal logics.

6. Testing and bounded model checking.

7. Boolean satisfiability (SAT).

8. Unbounded model checking.

9. Petri nets.

10. Timed automata.

11. Modeling the physical environment.

12. Probabilistic models.

13. Simulation and control of system models.

Osnova cvičení:

Improving the understanding of the subject by solving example problems using pen and paper.

Cíle studia:

The student will have the ability to use and apply some of the most important formalisms for modeling complex systems. He/she will also be familiar with techniques for the automatic analysis of such models.

Studijní materiály:

1. Lee, E. A. - Seshia, S. A. : Introduction to Embedded Systems, A Cyber-Physical Systems Approach (2nd

Edition). MIT Press, 2017. ISBN 978-0-262-53381-2.

2. Clarke, E. M. - Henzinger, Th.A. - Veith, H. - Bloem, R. (Eds.) : Handbook of Model Checking. Springer,

2018. ISBN 978-3-319-10574-1.

3. Alur, R. : Principles of Cyber-Physical Systems. MIT Press, 2015. ISBN 978-0-262-02911-7.

Poznámka:

Předmět je ekvivalentní s MI-TES // Informace o předmětu a výukové materiály naleznete na https://moodle-vyuka.cvut.cz/course/view.php?id=2215

Další informace:

https://courses.fit.cvut.cz/NI-TES/

Rozvrh na zimní semestr 2026/2027:

	06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Po	místnost T9:347 Ratschan S. Vyskočil J. 14:30–16:00 (přednášková par. 1) Dejvice NBFIT učebnamístnost T9:347 Ratschan S. Vyskočil J. 16:15–17:00 (přednášková par. 1 paralelka 101) Dejvice NBFIT učebna
Út
St
Čt
Pá

Rozvrh na letní semestr 2026/2027:

Rozvrh není připraven

Předmět je součástí následujících studijních plánů:

• Master specialization Software Engineering, in English, 2021 (volitelný předmět)
• Master specialization Computer Security, in English, 2021 (volitelný předmět)
• Master specialization Computer Systems and Networks, in English, 2021 (volitelný předmět)
• Master Programme Informatics, unspecified Specialization, in English, 2021 (VO)
• Master specialization Computer Science, in English, 2024 (VO)
• Učitelství informatiky pro střední školy (povinně volitelný předmět)
• Kvantová informatika (VO)