List of speakers:
- Prof. Alf Isaksson, ABB Corporate Research
- Prof. Christos Cassandras, Boston University, USA
- Prof. Samarjit Chakraborty , TU Munich, Germany
- Prof. Maurice Heemels, Eindhoven University of Technology, NL
- Prof. Joost-Pieter Katoen, RWTH Aachen University, Germany
- Prof. Marios Polycarpou , University of Cyprus, Cyprus
- Prof. Gerhard Neumann, University of Lincoln, UK
- Prof. Alberto Bemporad, IMT Lucca, Italy
- Prof. Dimitri Bertsekas, Massachusetts Institute of Technology, USA
- Prof. Henrik Sandberg, KTH Stockholm, Sweden
- Prof. Magnus Egerstedt , Georgia Tech, USA
Final program: (abstracts will be available soon)
Monday June 12, 2017 - Introduction, Security and Hybrid Systems | ||
| 13.30-14.15 | Registration | |
| 14.15-14.30 | Opening Summer School | A. Bemporad, S. Chakraborty, M. Heemels (Organizers) |
| 14.30-15.15 | Future challenges for CPS - An industrial perspective [abstract] |
Alf Isaksson ABB Corporate Research |
| 15.15-16.00 | Cyber-Physical Systems: Motivation and Challenges [abstract] |
Christos Cassandras Boston University |
| 16.00-16.30 | break | |
| 16.30-18.00 | Discrete-Event and Hybrid System Models and Methods for Cyber-Physical Systems [abstract] |
Christos Cassandras Boston University |
Tuesday June 13, 2017 - Hybrid and Networked Systems, Formal Methods |
||
| 08.45-10.30 | Embedded Control Systems [abstract] |
Samarjit Chakraborty Technical University Munich |
| 10.30-11.00 | break | |
| 11.00-12.45 | Resource-Aware Control [abstract] |
Maurice Heemels Technical University Eindhoven |
| 12.45-14.30 | lunch | |
| 14.30-16.15 | Performance and Reliability Analysis by Model Checking [abstract] |
Joost-Pieter Katoen RWTH Aachen University |
| 16.15-16.45 | break | |
| 16.45-17.30 | Performance and Reliability Analysis by Model Checking |
Joost-Pieter Katoen RWTH Aachen University |
| 17.30-19.00 | Poster Session | |
Wednesday June 14, 2017 - Networked Control and MPC |
||
| 08.45-10.30 | Fault Diagnosis of Interconnected Cyber-Physical Systems [abstract] |
Marios Polycarpou University of Cyprus |
| 10.30-11.00 | break | |
| 11.00-12.45 | Machine Learning for Multi-Agent Systems [abstract] |
Gerhard Neumann University of Lincoln, UK |
| 12.45-14.30 | lunch | |
| 14.30-16.15 | Model Predictive Control for Cyber-Physical Systems [abstract] |
Alberto Bemporad IMT Lucca |
| 16.15-16.45 | break | |
| 16.45-17.30 |
Approximate Dynamic Programming (slides 1, video 1), ( slides 2 , video 2) [abstract] |
Dimitri Bertsekas Massachusetts Institute of Technology |
| 19.30 | Social Dinner | |
Thursday June 15, 2017 - Multi-agent Systems and Industrial CPS of Systems |
||
| 08.45-10.30 | Security of Cyber-Physical Systems [abstract] |
Henrik Sandberg KTH Sweden |
| 10.30-11.00 | break | |
| 11.00-12.45 | Control and Coordination of Multi-Agent Systems [abstract] |
Magnus Egerstedt Georgia Institute of Technology |
| 12.45-14.30 | lunch | |
| 14.30-16.15 |
Approximate Dynamic Programming ( slides 3 , video 3) [abstract] |
Dimitri Bertsekas Massachusetts Institute of Technology |
| 16.30-16.45 | closing | |
