Systems Theory

Garant předmětu:

Lecturer:

Tutor:

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. 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:

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-vyuka.cvut.cz/course/view.php?id=2215

No time-table has been prepared for this course

The course is a part of the following study plans:

• Master branch Knowledge Engineering, in Czech, 2016-2017 (elective course)
• Master branch Computer Security, in Czech, 2016-2019 (elective course)
• Master branch Computer Systems and Networks, in Czech, 2016-2019 (elective course)
• Master branch Design and Programming of Embedded Systems, in Czech, 2016-2019 (compulsory course of the specialization)
• Master branch Web and Software Engineering, spec. Info. Systems and Management, in Czech, 2016-2019 (compulsory course of the branch)
• Master branch Web and Software Engineering, spec. Software Engineering, in Czech, 2016-2019 (elective course)
• Master branch Web and Software Engineering, spec. Web Engineering, in Czech, 2016-2019 (elective course)
• Master program Informatics, unspecified branch, in Czech, version 2016-2019 (VO)
• Master branch System Programming, spec. System Programming, in Czech, 2016-2019 (elective course)
• Master branch System Programming, spec. Computer Science, in Czech, 2016-2017 (elective course)
• Master specialization Computer Science, in Czech, 2018-2019 (elective course)
• Master branch Knowledge Engineering, in Czech, 2018-2019 (elective course)