The main goal of the workshop is to highlight recent advances and developments in the field of cyber-physical systems (CPS) with a specific focus on the need of accounting for computation constraints in algorithm design, also dictated by the communication structure of the system. To this purpose, we will bring together outstanding researchers from leading institutions and industries worldwide. The target audience comprises graduate level control theorists, computer scientists and engineers, as well as researchers with a strong interest in CPS verification and control, either from a theoretical or an application perspective. In particular, the main topics being covered are:
- CPS models that are computation aware;
- Performance metrics under computation limitations;
- Algorithm design for CPSs operating in an uncertain dynamic environment;
- Communication constrained networked control systems.
The workshop will take place from 9:00 AM till 5:00 PM in the Splash 11 room, Fontainbleau Hotel, Miami Beach, on December 16, 2018.
- Murat Arcak, University of California at Berkeley, USA
- Massimo Franceschetti, University of California at San Diego, USA
- Karl H. Johansson, KTH Royal Institute of Technology, Sweden
- George J. Pappas, University of Pennsylvania, USA
- Alessandro Pinto, United Technologies Research Center, USA
- Jonathan Sprinkle, University of Arizona, USA
- Panagiotis Tsiotras, Georgia Institute of Technology, USA
- Raphaël Jungers – UC Louvain, Belgium
- Maria Prandini – Politecnico di Milano, Italy
- Ricardo Sanfelice – University of California Santa Cruz, USA
- Majid Zamani – Technical University of Munich, Germany
Early registration is highly encouraged -- see instructions at the link above. Please also encourage your students to attend (registration cost as student is quite affordable).
0. Introduction. Slides here.
1. Models, Architectures, and Analysis for Computationally-aware CPS by Prof. Sprinkle
2. Cyber-Physical Control of Automated Transport Systems by Prof. Johansson. Slides here.
3. Stochastic Analysis of Cyber-Physical Systems by Dr. Pinto
4. Exploiting System Structure for Scalable Symbolic Control by Prof. Arcak. Slides here.
5. A Journey Through Data-rate Theorems in Networked Control by Prof. Franceschetti. Slides here.
6. Decision-making for Intelligent CPS Systems Subject to Computational and Communication Constraints by Prof. Tsiotras. Slides here.
7. Wireless Control Systems: Power, Spectrum, and Security by Prof. Pappas
9. Conclusion. Slides here.