Teorie systémů

Předmět není vypsán Nerozvrhuje se

Kód	Zakončení	Kredity	Rozsah	Jazyk výuky
MI-TES.2	Z,ZK	4	2P+1C	česky

Garant předmětu:

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra číslicového návrhu

Anotace:

Lidstvo dnes má schopnost konstruovat systémy neuvěřitelné složitosti (např. vlaky, mikroprocesory, letadla). Náklady pro zvládání této složitosti a pro zajištění správného fungování jsou ale stále kritičtější. Důležitá metoda pro zvládání této složitosti je používání modelů, které popisují výhradně ty aspekty daného sytému, které jsou potřeba pro daný úkol. Dalším důležitým prvkem pro snížení nákladů na vývoj je automatizace analýzy takovýchto modelů. Teorie a algoritmy pro modelování a analýzu složitých systémů je obsahem tohoto předmětu.

Požadavky:

Osnova přednášek:

1. Automatové modely

2. Temporální logika

3. Testování, omezené ověřování modelů

4. Omezené ověřování modelů a Booleovská splnitelnost

5. Neomezené ověřování modelů

6. Datové struktury pro ověřování modelů

7. Petriho sítě

8. Časované automaty

9. Modelování fyzikálního okolí

10. Simulace

11. Pravděpodobnostní modely

Osnova cvičení:

Praktické procvičování aktuálně přednášených témat.

Cíle studia:

Studenti budou mít schopnost používat několik důležitých formalizmů pro modelování složitých systémů. Budou umět techniky pro automatickou analýzu takových modelů.

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.

Edward A. Lee and Pravin Varaiya, Structure and Interpretation of Signals and Systems, Second Edition, LeeVaraiya.org, ISBN 978-0-578-07719-2, 2011.

Poznámka:

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

Další informace:

Pro tento předmět se rozvrh nepřipravuje

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