Systems Theory
| Code | Completion | Credits | Range | Language |
|---|---|---|---|---|
| NI-TES | Z,ZK | 5 | 2P+1C | Czech |
- Garant předmětu:
- Stefan Ratschan
- Lecturer:
- Stefan Ratschan, Jiří Vyskočil
- Tutor:
- Tomáš Kolárik, Stefan Ratschan, Jiří Vyskočil
- 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:
-
None.
- Syllabus of lectures:
-
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.
- 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:
-
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.
- Note:
- Further information:
- https://moodle-vyuka.cvut.cz/course/view.php?id=2215
- Time-table for winter semester 2024/2025:
-
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 Wed Thu Fri - Time-table for summer semester 2024/2025:
- Time-table is not available yet
- The course is a part of the following study plans:
-
- Master specialization Computer Security, in Czech, 2020 (elective course)
- Master specialization Design and Programming of Embedded Systems, in Czech, 2020 (PS)
- Master specialization Computer Systems and Networks, in Czech, 202 (elective course)
- Master specialization Management Informatics, in Czech, 2020 (elective course)
- Master specialization Software Engineering, in Czech, 2020 (elective course)
- Master specialization System Programming, in Czech, version from 2020 (elective course)
- Master specialization Web Engineering, in Czech, 2020 (elective course)
- Master specialization Knowledge Engineering, in Czech, 2020 (elective course)
- Master specialization Computer Science, in Czech, 2020 (elective course)
- Mgr. programme, for the phase of study without specialisation, ver. for 2020 and higher (PS, VO)
- Master Specialization Digital Business Engineering, 2023 (VO)
- Master specialization System Programming, in Czech, version from 2023 (elective course)
- Master specialization Computer Science, in Czech, 2023 (elective course)