First Summer School on Formal Methods for Cyber-Physical Systems

CALL FOR PARTICIPATION

1st Summer School on Formal Methods for Cyber-Physical Systems

Edition 2017: Automatic Synthesis of Controllers for Hybrid Systems

Sponsored by:

  • PhD School in Natural Sciences and Engineering, University of Verona
  • Department of Computer Science, University of Verona

12-16 September 2017
Department of Computer Science
University of Verona, Italy

https://cps-2017.di.univr.it/school-editions/2017

General enquiries: This email address is being protected from spambots. You need JavaScript enabled to view it. , This email address is being protected from spambots. You need JavaScript enabled to view it. , This email address is being protected from spambots. You need JavaScript enabled to view it.

About

The 1st Summer School on Formal Methods for Cyber-Physical Systems (FM-CPS) is a new summer school to be held at University of Verona from September 12th to 16th. The 2017 edition of FM-CPS 2017 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.

Themes

The main themes faced during the school include:

  • Design, synthesis, planning and control (including real-time and resource-aware control)
  • Analysis, automated verification (Boolean or quantitative), certification, validation, and testing
  • Model building from data (via learning) and model simulation)
  • Network science and control over networks
  • Mathematical foundations, computability and complexity
  • Programming languages, specification formalisms
  • Software tool engineering and experimentation

Focus of the First Edition

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.

Contributions of interest discussed in this edition of the school include:

  • Introduction to the the Synthesis Problem;
  • Practical Reactive Synthesis;
  • Automated synthesis for nonlinear control systems;
  • Controller Synthesis for Linear Hybrid Systems;
  • Automatic Synthesis of Control Software for Discrete-Time Hybrid Systems;
  • Control Synthesis of Piecewise-affine Hybrid Systems on Polytopes.

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.

The list of international speakers includes:

  • Davide Bresolin, Dipartimento di Matematica, Università di Padova, Italy
  • Rudiger Ehlers, Department of Computer Science, University of Bremen, Germany
  • Marco Faella, Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione, Università di Napoli, Italy
  • Salvatore La Torre, Dipartimento d'Informatica, Università di Salerno, Italy
  • Leonardo Mangeruca, ALES (UTRC), Roma, Italy
  • Federico Mari, Dipartimento di Informatica, Università La Sapienza, Roma, Italy
  • Angelo Montanari, Dipartimento di Scienze Matematiche, Informatiche e Fisiche, Università di Udine, Italy
  • Andrea Orlandini, Istituto di Scienze e Tecnologie della Cognizione, CNR, Roma, Italy
  • Matthias Rungger, Department of Electrical and Computer Engineering, TU Munchen, Germany
  • Pietro Sala, Dipartimento di Informatica, Università di Verona, Italy
  • Enrico Tronci, Dipartimento di Informatica, Università La Sapienza, Roma, Italy
  • Jan Van Schuppen, Mathematics Department, TU Delft, The Netherlands
  • Tiziano Villa, Dipartimento di Informatica, Università di Verona, Italy
  • Nina Yevtushenko Department of Radiophysics, Tomsk State University, Russia

Please check the website for updates on the detailed technical program and list of speakers.

Important Dates

Early registration fee: 4 August 2017
Regular registration fee: 4 September 2017
School dates: 12-16 September 2017

Registration

Registration details can be found on the school website:
https://cps-2017.di.univr.it/register?school_edition=2017

Scientific Committee

  • Paolo Fiorini, Dipartimento d'Informatica, Università di Verona, Italy
  • Angelo Montanari, Dipartimento di Scienze Matematiche, Informatiche e Fisiche, Università di Udine, Italy
  • Riccardo Muradore, Dipartimento d'Informatica, Università di Verona, Italy
  • Tiziano Villa, Dipartimento d'Informatica, Università di Verona, Italy

Organizers

  • Marta Capiluppi (Università degli Studi di Verona)
  • Luca Geretti (Università degli Studi di Verona)
  • Pietro Sala (Università degli Studi di Verona)
  • Tiziano Villa (Università degli Studi di Verona)