Keynote lectures have been given by:
- Prof. Paulo Tabuada, University of California, Los Angeles, USA
- Prof. Ricardo Sanfelice, University of California, Santa Cruz, USA
- Prof. Kim Larsen, Aalborg University, Denmark
- Prof. Girish Nair, University of Melbourne, Australia
- Prof. Maurice Heemels, Eindhoven University of Technology, NL
- Prof. Alberto Bemporad, IMT Lucca, Italy
- Prof. Bart De Schutter, Delft University of Technology, NL
- Prof. Ming Cao, University of Grongingen, NL
- Prof. Kanat Camlibel, University of Groningen, NL
- Prof. Sebastian Engell, University of Dortmund, Germany
Final program: (abstracts)
Monday June 1, 2015 - Introduction, Security and Hybrid Systems | ||
| 09.00-10.50 | Registration | |
| 10.50-11.00 | Opening Summer School | M. Heemels and A. Bemporad (Organizers) H. Nijmeijer (DISC Scientific Director) |
| 11.00-12.45 | CPS: History, Overview, Applications and Challenges (1, 2) | Paulo Tabuada & Ricardo Sanfelice |
| 12.45-14.00 | Dynamical models of cyber-physical systems | Ricardo Sanfelice |
| 15.45-16.15 | break | |
| 16.15-18.00 | Security in cyber-physical systems | Paulo Tabuada |
Tuesday June 2, 2015 - Hybrid and Networked Systems, Formal Methods |
||
| 08.45-10.30 | Control theoretical tools for analysis and design of CPSs | Ricardo Sanfelice |
| 10.30-11.00 | break | |
| 11.00-12.45 | Nonstochastic information theory for feedback control (1/2) | Girish Nair |
| 12.45-14.00 | lunch | |
| 14.00-15.45 | Formal methods in CPS - A control perspective | Paulo Tabuada |
| 15.45-16.15 | break | |
| 16.15-18.00 | Formal methods in CPS - A computer science perspective | Kim Larsen |
Wednesday June 3, 2015 - Networked Control and MPC |
||
| 08.45-10.30 | Nonstochastic information theory for feedback control (2/2) | Girish Nair |
| 10.30-11.00 | break | |
| 11.00-12.45 | Resource-aware control | Maurice Heemels |
| 12.45-14.00 | lunch | |
| 14.00-15.45 | Model predictive control for CPSs | Alberto Bemporad |
| 15.45-16.15 | break | |
| 16.15-18.00 | Multi-level control of large-scale systems with applications to water and road networks | Bart De Schutter |
Thursday June 4, 2015 - Multi-agent Systems and Industrial CPS of Systems |
||
| 08.45-10.30 | Coordination and control in multi-agent systems | Ming Cao |
| 10.30-11.00 | lunch | |
| 11.00-12.45 |
Model reduction of multi-agent systems / Controllability of systems defined on graphs |
Kanat Camlibel |
| 12.45-14.00 | lunch | |
| 14.00-15.45 | Research challenges in cyber-physical systems of systems | Sebastian Engell |
| 15.45-16.00 | closing | |
