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 |