Universiteit van Amsterdam


Institute for Logic, Language and Computation

12 - 16 September 2017, 1st Summer School on Formal Methods for Cyber-Physical Systems, Verona, Italy

Date: 12 - 16 September 2017
Location: Verona, Italy

The 1st Summer School on Formal Methods for Cyber-Physical Systems (FM-CPS) focuses on the foundations, techniques, and tools for analysis, verification, control, synthesis, implementation, and applications of cyber-physical systems (CPS). Applications deal broadly with engineering and natural systems, including signal circuits, robotics, automotive and avionics, large-scale infrastructure networks, as well as biochemical and physiological processes.

This first edition of the school has the goal of presenting the state of the art of the current techniques in controller synthesis for hybrid systems, to enable doctoral students and young researchers to advance the field and apply the developed methodologies to concrete scenarios promoting their application in the industrial practice. The control synthesis problem will be addressed both in the discrete domain and in the timed/hybrid one with techniques ranging from supervisory control, to synthesizing strategies in a two-player game, and to control-theoretic techniques.

The school will include tutorial presentations as well as laboratory sessions that will allow the students to apply the concepts introduced during the lectures in a laboratory set-up.