575SM - CYBER-PHYSICAL SYSTEMS 2021

Section outline

• Select section Cyber Physical Systems

  Cyber Physical Systems

  Collapse all Expand all

  
  

  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
  

  
  

  
  

  • Select activity Annunci

    

    Annunci Forum
  • Select activity EVEN THERMOSTATS HAVE A HEART

    

    EVEN THERMOSTATS HAVE A HEART URL
• Select section 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

  
  
  

  • Select activity MATLAB

    

    MATLAB Folder
  • Select activity Dynamical Systems

    

    Dynamical Systems Folder
  • Select activity Moonlight

    

    Moonlight URL
  • Select activity Old reports

    

    Old reports Folder
• Select section 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

  
  
  
• Select section Introduction

  Introduction

  • Select activity 1_Introduction

    

    1_Introduction File PDF
• Select section Modeling

  Modeling

  • Select activity 2_Cont_Modeling

    

    2_Cont_Modeling File PDF
  • Select activity 3_Disc_Modeling

    

    3_Disc_Modeling File PDF
  • Select activity 4-5_Hybrid Modeling

    

    4-5_Hybrid Modeling File PDF
• Select section Logic Languages and Automata

  Logic Languages and Automata

  • Select activity 6_Temporal Logic

    

    6_Temporal Logic File PDF
  • Select activity 8_Signal Temporal Logic

    

    8_Signal Temporal Logic File PDF
  • Select activity 7_Learning

    

    7_Learning File PDF
  • Select activity 11_Falsification

    

    11_Falsification File PDF
  • Select activity Parameter Synthesis

    

    Parameter Synthesis File PDF
  • Select activity ParameterSynthesis_python

    

    ParameterSynthesis_python File IPYNB
  • Select activity Matlab_Moonlight_Falsification

    

    Matlab_Moonlight_Falsification File ZIP
  • Select activity Lecture 18_Model Checking

    

    Lecture 18_Model Checking File PDF
  • Select activity STREL_1

    

    STREL_1 File PDF
  • Select activity STREL_2

    

    STREL_2 File PDF
  • Select activity 20-Learning 2

    

    20-Learning 2 File PDF
  • Select activity Smooth MC

    

    Smooth MC URL
• Select section Control

  Control

  • Select activity 9-10_Control_1

    

    9-10_Control_1 File PDF
  • Select activity 12-13_Control_2

    

    12-13_Control_2 File PDF
  • Select activity Control python and Rootlocus Matlab

    

    Control python and Rootlocus Matlab Folder
  • Select activity Control and Falsif

    

    Control and Falsif File ZIP
• Select section Rechability Analysis - HyPro (Stefan Schup Lectures)

  Rechability Analysis - HyPro (Stefan Schup Lectures)

  • Select activity Lecture 17: Hypro

    

    Lecture 17: Hypro File PDF
  • Select activity CodeHypro

    

    CodeHypro File ZIP
• Select section Examples

  Examples

  • Select activity Pancreas_example

    

    Pancreas_example File PDF
  • Select activity Examples

    

    Examples File PDF
• Select section Topic 9

  Topic 9

  • Select activity RL+TL

    

    RL+TL File PDF
• Select section Topic 10

  Topic 10