This is a one-time post about a related event to CyPhy: The second Halmstad CPS summer school will take place June 11-15 and will feature the following speakers and topics:
- Erika Abraham, RWTH Aachen University: Reachability Analysis Techniques for Hybrid Systems
- De-Jiu Chen, KTH Royal Institute of Technology: Dependable Autonomous Systems
- Sinem Coleri Ergen, Koc University: Wireless Network design for Cyber-Physical Systems
- Taylor T. Johnson, Vanderbilt University: Design-Time and Runtime Verification for Safe Autonomous Cyber-Physical Systems
- Karl Meinke, KTH Royal Institute ofTechnology: Analysis of Cyber-Physical Systems using Machine Learning
- Dorsa Sadigh, Stanford University: Safe and Interactive Robotics
- Elisabeth Uhlemann, Mälardalen University: Timely and Reliable Wireless Vehicular Communications
More details and registration information can be found at http://ceres.hh.se/
