Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2018/2019

Systems Theory

Přihlášení do KOSu pro zápis předmětu Zobrazit rozvrh
Kód Zakončení Kredity Rozsah Jazyk výuky
MIE-TES.16 Z,ZK 5 2P+1C česky
Přednášející:
Stefan Ratschan (gar.)
Cvičící:
Stefan Ratschan (gar.)
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:
Osnova přednášek:

1. Automata-based models

2. Temporal logic

3. Testing and bounded model checking

4. Bounded model checking and Boolean satisfiability

5. Unbounded model checking

6. Data structures for unbounded model checking

7. Petri nets

8. Timed automata

9. Modeling the physical environment

10. Simulation

11. Probabilistic models

Osnova cvičení:

Practical training of the lecture material.

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:

Edward A. Lee and Sanjit A. Seshia, Introduction to Embedded Systems, A Cyber-Physical Systems Approach, http://LeeSeshia.org, ISBN 978-0-557-70857-4, 2011.

Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking. MIT Press, 1999.

Poznámka:

Informace o předmětu a výukové materiály naleznete na https://moodle.fit.cvut.cz/courses/MIE-TES.16/

Rozsah: 2p+1c

Další informace:
https://moodle.fit.cvut.cz/courses/MIE-TES.16/
Rozvrh na zimní semestr 2018/2019:
Rozvrh není připraven
Rozvrh na letní semestr 2018/2019:
Rozvrh není připraven
Předmět je součástí následujících studijních plánů:
Platnost dat k 17. 6. 2019
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet4660306.html