Tuesday, February 21, 2017

Summer School on Cyber-Physical Systems

The Summer School on Cyber-Physical Systems brings together the theoretical foundations and the industrial practice of the area in Halmstad, a place known both for innovation in embedded systems and popular beaches. This year’s school will take place from July 17th-21st, 2017.

The summer school is intended for professionals from industry (engineers, researchers, and managers) and academics (including doctoral students). Participants will learn about key topics from prominent leaders in the field. The schedule is designed to allow significant opportunities for interaction between participants and the speakers.

Speakers and Topics
  • Henric Andersson, SAAB Group, 
    • Modeling & Simulation of large scale Integrated Modular CPS.
  • Stanley Bak, Air Force Rome Labs, 
    • Formal Verification of CPS using Flow-Pipe Construction of Hybrid Automata.
  • Manfred Broy, TU München, 
    • Modeling cyber physical systems: Interaction, modularity, distribution, probability.
  • Luc Jaulin, ENSTA Bretagne, 
    • Interval analysis for the conception of autonomous and reliable cyber-physical systems.
  • Ueda Kazunori, Waseda University, 
    • High-level programming languages and systems for cyber-physical systems.
  • Andre Platzer, CMU,
    • Logical Foundations of Cyber-Physical Systems.
  • Jeff Shamma, Georgia Tech and KAUST, 
    • Game theory for cyber-physical systems.
  • Martin Törngren, KTH,  
    • Cyber-Physical Systems - perspectives, innovation opportunities and key cross-domain challenges.

 All lectures will be conducted in English.


 The summer school will take place at Halmstad University in Hav, a meeting room with an overview of the city and the Kattegat sea area. Halmstad is easily reachable by train from Copenhagen and Gothenburg airports, and by air from Stockholm.

Application for Registration

Registration can be done online at http://bit.ly/cps-reg.  The deadline for early registration is May 1st, 2017.