575SM - CYBER-PHYSICAL SYSTEMS 2023

Section outline

• Select section General Information

  General Information

  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 the code pfs5fgi
  

  
  

  • Select activity EVEN THERMOSTATS HAVE A HEART

    

    EVEN THERMOSTATS HAVE A HEART Forum
  • Select activity Annunci

    

    Annunci Forum
• 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 Code

    

    Code Folder
  • Select activity Dynamical Systems

    

    Dynamical Systems Folder
  • Select activity MATLAB documentation

    

    MATLAB documentation 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 Introduction

    

    Introduction File PDF
• Select section Modeling

  Modeling

  • Select activity Continuous Modeling

    

    Continuous Modeling File PDF
  • Select activity Concurrent Modeling

    

    Concurrent Modeling File PDF
  • Select activity Timed Model

    

    Timed Model File PDF
  • Select activity Hybrid Model

    

    Hybrid Model File PDF
  • Select activity StochH

    

    StochH File PDF
• Select section Control

  Control

  • Select activity Control

    

    Control File PDF
  • Select activity Control Code

    

    Control Code Folder
  • Select activity 10-11 Kalman Filter

    

    10-11 Kalman Filter File PDF
  • Select activity Cartpole Maltlab 2023

    

    Cartpole Maltlab 2023 File ZIP
  • Select activity Artificial Pancreas Python

    

    Artificial Pancreas Python File ZIP
  • Select activity ArtificialPancreas

    

    ArtificialPancreas File PDF
• Select section Logic Languages and Automata

  Logic Languages and Automata

  • Select activity Automata and Temporal Logics

    

    Automata and Temporal Logics File PDF
  • Select activity STL

    

    STL File PDF
  • Select activity STREL

    

    STREL File PDF
  • Select activity STL_applications

    

    STL_applications File PDF
  • Select activity STL Falsification

    

    STL Falsification File PDF
  • Select activity STL Parameter Synthesis

    

    STL Parameter Synthesis File PDF
  • Select activity STL Learning

    

    STL Learning File PDF
  • Select activity Last_Matlab

    

    Last_Matlab File ZIP
  • Select activity Model Checking and TCTL

    

    Model Checking and TCTL File PDF
  • Select activity Examples

    

    Examples File PDF
  • Select activity STLcontrol

    

    STLcontrol File PDF
  • Select activity RLTL

    

    RLTL File PDF
  • Select activity TLLearning_insights

    

    TLLearning_insights File PDF
• Select section Topic 7

  Topic 7
• Select section Topic 8

  Topic 8
• Select section Topic 9

  Topic 9