AIMS AND CONTENT

LEARNING OUTCOMES

The goal of the course is to consolidate elements of Computer and Systems Engineering acquired by the students along their careers, and to provide a uniform approach to Cyber-Physical Systems (CPS), i.e., engineered systems that are built from and depend upon the synergy of computational and physical components. In particular, the course is meant to introduce the students to the theory of Hybrid and Probabilistic Automata, and to lead them through hands-on-experience with state-of-the-art simulation, synthesis and verification tools for CPS. At the end of the course students should be able to model, simulate and verify distributed computational units controlling physical processes

SYLLABUS/CONTENT

Introduction to system verification. Modeling and verification of discretestate systems. Modeling and verification of real-time and hybrid systems. Modeling an verification of probabilistic systems.

RECOMMENDED READING/BIBLIOGRAPHY

Cristel Baier, Joost-Pieter Katoen - Principles of Model Checking – MIT Press - 2008

TEACHERS AND EXAM BOARD

Exam Board

ARMANDO TACCHELLA (President)

ENRICO GIUNCHIGLIA

EXAMS

EXAM DESCRIPTION

Homeworks (10%), final project (50%) and presentation (40%)

ASSESSMENT METHODS

At the end of the course students should be able to model, simulate and verify distributed computational units controlling physical processes.

Exam schedule