321SM - ARTIFICIAL INTELLIGENCE FOR CYBER-PHYSICAL SYSTEMS 2024

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 ct9oj3j

  • Select activity Annunci

    

    Annunci Forum
  • 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 designing and presenting a (1 or 2 student group) 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 Concurrent Modeling

    

    Concurrent Modeling File PDF
  • Select activity Continuous Modeling

    

    Continuous Modeling File PDF
  • Select activity Timed and Hybrid Models

    

    Timed and Hybrid Models File PDF
  • Select activity Stochastic Hybrid Systems

    

    Stochastic Hybrid Systems File PDF
  • Select activity RL

    

    RL File PDF
• Select section Control

  Control

  • Select activity Control

    

    Control File PDF
  • Select activity Pancreas example

    

    Pancreas example File PDF
• Select section Logic Languages and Automata

  Logic Languages and Automata

  • Select activity Automata and Temporal Logic

    

    Automata and Temporal Logic File PDF
  • Select activity STL

    

    STL File PDF
  • Select activity STL applications: Testing, Falsification and parameter synthesis

    

    STL applications: Testing, Falsification and parameter synthesis File PDF
  • Select activity STREL

    

    STREL File PDF
• Select section New section

  New section
• Select section New section

  New section
• Select section New section

  New section
• Select section New section

  New section