575SM - CYBER-PHYSICAL SYSTEMS 2019
Schema della sezione
-
Welcome to the Moodle Page of Cyber-Physical Systems.
First exam session: June 26, 11:00 a.m.
Second exam session: July 23, 11:00 a.m.
There will be other two sessions in September.
-
If you are not enrolled in the Microsoft Team Group, you can access it by using code 1pkzaf6.
-
- Introduction to Embedded Systems: A CPS approach, free copy here
- André Platzer, Logical Foundations of Cyber-Physical Systems, Springer, Cham, 2018.
- Principles of Cyber-Physical Systems, Rajeev Alur, MIT Press, 2015
- Principle of Model Cheking, Baier, Katoen, MIT Press, 2008
PYTHON: you can find a very nice tutorial on the moodle page of the Stochastic Modelling and Simulation Course
-
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 falsification, or test generation experiments. A report (at most 4-pages) is required a week before the exam. Due to the difficult situation, the implementation part is not compulsory for the exam, but of course, it is more than welcome and if you need any help please contact me :). You will need for the honors.
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 (see for example the Automotive model in the course material)
The model can also be developed in Python (see Pancreas example in the course material) 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)
I am open to other software solutions
-
Most of the lecture is based on chapter 6 of the book: Principle of CPS, Rajeev Alur
Streamed: Continuous Modelling
-
Most of the lecture is based on chapter 2 and 4 of the book: Principle of CPS, Rajeev Alur
-
-
Most of the lecture is based on chapter 6 of the book: Introduction to Embedded Systems, E. A. Lee and S. A. Seshia
-
-
Good book about temporal logic and model checking: Principle of Model Checking, Baier, Katoen, MIT Press, 2008
More references about interesting papers in the slides.
Streamed Lecture 10 (STL applications) here
-
STL File PDF