Dottorato di Ricerca in Automatica, Bioingegneria e Ricerca Operativa (ABRO)

 “Hybrid systems: Computation and Control”

Hybrid dynamical systems are those dynamical systems exhibiting both continuous evolution and discrete transitions. In general, the state of a hybrid system is defined by the values of some continuous variables and a discrete mode. Hybrid systems are used to model several cyber-physical systems, including, for example, physical systems with logic-dynamic controllers. In fact, they offer relatively clean modeling solutions for phenomena for which the corresponding classical models are inadequate or do not provide a good tradeoff between real-world relevance and model complexity. The pervasive diffusion of increasingly complex digital controllers and supervisors of physical systems (as for example “embedded” systems) led, in the last years, to a systematic study of hybrid systems. This study is generally more challenging than that of purely discrete or purely continuous systems, because of the interaction between dynamics of different nature.

The aim of this course is that of introducing the student to the area of hybrid systems, ranging from modeling, over analysis and simulation, to verification and control. 

 

SCHEDULE:

The course will take place in room A7 at DIAG, Via Ariosto 25, Roma.

September 12, 2018 (14-18)

An overview of dynamical systems
Models for hybrid systems (slides1) (slides2)
Luca Benvenuti, Sapienza University

 

September 13, 2018 (14-18)
Hybrid systems in automotive electronics design: Engine and power-train hybrid model.
Engine idle speed control , cut-off control , actual engaged gear identification (slides)
Luca Benvenuti, Sapienza University

 

September 14, 2018 (14-18)

Control design and verification of cyber-physical systems: the industrial perspective
Leonardo Mangeruca (United Technologies Research Center) (slides)

 

September 17, 2018 (14-18)
Automatic Synthesis of Control Software for Discrete Time Hybrid Systems. 
Enrico Tronci, Sapienza University (slides1) (slides2)

 

September 18, 2018 (14-18)
Model Based Verification of Cyber-Physical Systems
Enrico Tronci, Sapienza University (slides)

Model Based Design of Cyber-Physical System with QKS and Sylver 
Federico Mari, Sapienza University (slides1) (slides2)

 

September 21, 2018 (14-18)

Verification techniques for hybrid systems and safety properties
Formal verification with approximation techniques (slides)
Tiziano Villa, University of Verona

Davide Bresolin, Univerity of Padova

 

September 22, 2018 (9-13)

Formal verification of hybrid systems by reachability analysis with ARIADNE (slides)

Tiziano Villa, University of Verona
Davide Bresolin, Univerity of Padova