| 8:30 |
9:00 |
Registration of the participants |
| 9:00 |
9:15 |
Opening  Matthias Althoff, TUM |
| 9:15 |
10:00 |
Automated driving and conformance testing  Daniel Hess, DLR Alexander Rausch, Bosch |
| 10:00 |
10:15 |
Coffee break |
| 10:15 |
11:00 |
Distributed model predictive control of smart grids  Carlo Sandroni, RSE Olaf Stursberg, Kassel University |
| 11:00 |
11:45 |
Human-Robot interaction and on-line verification  Geoff Pegman, R U Robots Limited Matthias Althoff, TUM |
| 11:45 |
12:30 |
Tools integration  Goran Frehse, Université Grenoble Alps Xavier Fornari, Ansys |
| 12:30 |
13:30 |
Lunch break |
| 13:30 |
15:00 |
Panel session: Open challenges in verification and control of cyber-physical systems Enrico Ragaini, ABB  Jens Oehlerking, Bosch  Antonello Diglio, Leonardo S.p.A.  Paolo Rocco, Politecnico di Milano  Sergio M. Savaresi, Politecnico di Milano  Riccardo Scattolini, Politecnico di Milano
Moderator: Maria Prandini, Politecnico di Milano |
| 15:00 |
15:10 |
Concluding remarks |