Hours:
20 hours (5 credits)

Room:

Aula Riunioni del Dipartimento di Ingegneria dell’Informazione, Largo Lucio Lazzarino 1, Pisa

To register to the course, click here

Short Abstract:

Cyber-Physical Systems (CPSs) are complex engineered systems, where cyber and physical components are strongly interconnected. In particular, CPSs obey both a continuous-time physical plant dynamics, and a hybrid control dynamics having both a discrete-time (event-driven) and a continuous-time component. A digital-twin is a digital prototype created to gain insight into a given system. The digital-twin is useful for system analysis, monitoring in operation, prediction of future states of the assets and prediction of their impact on damage or malfunction. This course presents enabling technologies and research challanges. The added value of a digital-twin is shown using two realistic case studies from the automotive field.

Course Contents in brief:

1. Multi-model simulation as enabling technology for digital-twins of CPSs.
2. Formal models and formal verification techniques for digital-twins.
3. Human centred digital-twins: realistic interactive prototypes of user graphical interfaces
4. A tool-chain for the development and analysis of digital-twins for CPSs. The standard “Functional Mock-up Interface” for co-simulation, and the INTO-CPS tool-chain.
5. Application of the tool-chain to two case studies from autonomous driving: 1) model predictive control for trajectory following with obstacle avoidance; 2) terrestrial vehicle platooning.

Schedule:

1. 14/09/2022: 9.00-13.00, 14.30-17.30
2. 15/09/2022: 9.00-13.00, 14.30-17.30
3. 16/09/2022: 9.00-13.00, 14.30-16.30