Hybrid Systems

Professors:Luca Benvenuti
Credits:3
Range:B
Note:

Full description

Schedule

December 14, 2017 - 10:00-14:00
December 15, 2017 - 10:00-14:00
December 20, 2017 - 10:00-14:00
December 21, 2017 - 10:00-14:00
December 22, 2017 - 10:00-14:00

all lectures will be held in room B203 at DIAG, via Ariosto 25, Roma.

Program

December 14, 2017 - 10:00-14:00
An overview of Dynamical systems
Models for hybrid systems
Luca Benvenuti, Sapienza
December 15, 2017 - 10:00-14:00
Hybrid systems in automotive electronics design:
Engine and power-train hybrid model.
Engine idle speed control, cut-off control , Actual engaged gear identification 
Luca Benvenuti, Sapienza

December 20, 2017 - 10:00-12:00
Control design and verification of cyber-physical systems: the industrial perspective
Leonardo Mangeruca ALES (UTRC)
December 20, 2017 - 12:00-14:00
Verification techniques for hybrid systems and safety properties.
Formal verification with approximation techniques.
Luca Benvenuti, Sapienza

Dec. 21, 2017 - 10:00-14:00
Automatic Synthesis of Control Software for Discrete Time Hybrid Systems. 
Enrico Tronci, Sapienza

Dec. 22. 2017 - 10.00-12.00
Model Based Verification of Cyber-Physical Systems
Enrico Tronci, Sapienza 
Dec 22. 2017 - 12.00-14.00 
Model Based Design of Cyber-Physical System with QKS and Sylver 
Federico Mari, Sapienza.

 

Lecturer: Luca Benvenuti is Associate Professor at DIAG. For more info see http://www.dis.uniroma1.it/~benve/