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 falsification, or test generation experiments. A report (at most 4-pages) is required a week 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)

• Hypro tool can be also an option, more information about it in the next weeks.

• I am open to other software solutions