Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2018/2019

Systems Theory

Login to KOS for course enrollment Display time-table
Code Completion Credits Range Language
MI-TES.16 Z,ZK 5 2P+1C Czech
Lecturer:
Stefan Ratschan (guarantor)
Tutor:
Stefan Ratschan (guarantor), Martin Daňhel, Tomáš Kolárik
Supervisor:
Department of Digital Design
Synopsis:

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.

Requirements:
Syllabus of lectures:

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

Syllabus of tutorials:

Practical training of the lecture material.

Study Objective:

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.

Study materials:

Edward A. Lee and Sanjit A. Seshia: Introduction to Embedded Systems, A Cyber-Physical Systems Approach, Second Edition, MIT Press, ISBN 978-0-262-53381-2, 2017. http://leeseshia.org/

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.

Note:
Further information:
https://moodle.fit.cvut.cz/courses/MI-TES.16/
Time-table for winter semester 2018/2019:
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
Mon
Tue
Fri
roomTH:A-s135
Ratschan S.
11:00–12:30
(lecture parallel1)
Thákurova 7 (FSv-budova A)
As135
roomT9:343
Kolárik T.
12:45–14:15
EVEN WEEK

(lecture parallel1
parallel nr.101)

Dejvice
NBFIT učebna
roomT9:343
Kolárik T.
12:45–14:15
ODD WEEK

(lecture parallel1
parallel nr.102)

Dejvice
NBFIT učebna
Thu
Fri
Time-table for summer semester 2018/2019:
Time-table is not available yet
The course is a part of the following study plans:
Data valid to 2019-07-22
For updated information see http://bilakniha.cvut.cz/en/predmet4657206.html