Main page | Study Branches/Specializations | Groups of Courses | All Courses | Roles                Instructions

A course is the basic teaching unit, it's design as a medium for a student to acquire comprehensive knowledge and skills indispensable in the given field. A course guarantor is responsible for the factual content of the course.
For each course, there is a department responsible for the course organisation. A person responsible for timetabling for a given department sets a time schedule of teaching and for each class, s/he assigns an instructor and/or an examiner.
Expected time consumption of the course is expressed by a course attribute extent of teaching. For example, extent = 2 +2 indicates two teaching hours of lectures and two teaching hours of seminar (lab) per week.
At the end of each semester, the course instructor has to evaluate the extent to which a student has acquired the expected knowledge and skills. The type of this evaluation is indicated by the attribute completion. So, a course can be completed by just an assessment ('pouze zápočet'), by a graded assessment ('klasifikovaný zápočet'), or by just an examination ('pouze zkouška') or by an assessment and examination ('zápočet a zkouška') .
The difficulty of a given course is evaluated by the amount of ECTS credits.
The course is in session (cf. teaching is going on) during a semester. Each course is offered either in the winter ('zimní') or summer ('letní') semester of an academic year. Exceptionally, a course might be offered in both semesters.
The subject matter of a course is described in various texts.

NIE-TES Systems Theory Extent of teaching: 2P+1C
Instructor: Ratschan S. Completion: Z,ZK
Department: 18103 Credits: 5 Semester: Z

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

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

Seminar syllabus:
Improving the understanding of the subject by solving example problems using pen and paper.

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

Requirements:
None.

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

The course is also part of the following Study plans:
Study Plan Study Branch/Specialization Role Recommended semester
NIE-PSS.21 Computer Systems and Networks 2021 V 1
NIE-PB.21 Computer Security 2021 V 1
NIE-TI.21 Computer Science 2021 VO 1
NIE-SI.21 Software Engineering 2021 V 1
NIE-NPVS.21 Design and Programming of Embedded Systems 2021 PS 1


Page updated 28. 3. 2024, semester: Z/2023-4, L/2019-20, L/2022-3, Z/2019-20, Z/2022-3, L/2020-1, L/2023-4, Z/2020-1, Z,L/2021-2, Send comments to the content presented here to Administrator of study plans Design and implementation: J. Novák, I. Halaška