Cyber Physical Systems
Welcome to the Moodle Page of Cyber-Physical Systems.
If you are not enrolled in the Microsoft Team Group, you can access it by using code tuzy3zq
Topic outline
- Cyber Physical Systems
- Books and further teaching materials
Books and further teaching materials
- Principles of Cyber-Physical Systems, Rajeev Alur, MIT Press, 2015
- Introduction to Embedded Systems: A CPS approach, free copy here
- André Platzer, Logical Foundations of Cyber-Physical Systems, Springer, Cham, 2018.
- Principle of Model Cheking, Baier, Katoen, MIT Press, 2008
- Grading
Grading
The exam will consist of the design and presentation of an individual project plus possible general questions related to the course. The project should focus on the development of a CPS application, verification of formal requirements, and test generation or falsification experiments. A report (AT MOST 4-pages + references) is required 5 days before the exam.
As tools:
- MATLAB/Simulink are the main tools used for CPS in the Engineering community, using already implemented Simulink models for the exam is possible
- The model can also be developed in Python or Java if that is the preferred language (it will maybe require additional work for handling requirements but is suggested in case of using reinforcement learning or neural network, we can help you in setting the monitoring tool)
- Hypro tool can be also an option, more information about it in the next weeks (we can help you even in this case).
- I am open to other software solutions
- Introduction
Introduction
1_Introduction File PDF document
- Modeling
Modeling
- Logic Languages and Automata
Logic Languages and Automata
ParameterSynthesis_python File Text file
Matlab_Moonlight_Falsification File Archive (ZIP)
- Control
Control
- Rechability Analysis - HyPro (Stefan Schup Lectures)
Rechability Analysis - HyPro (Stefan Schup Lectures)
- Examples
Examples
- Topic 9
Topic 9
- Topic 10
Topic 10