The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Cyber-physical systems (CPS) consist of computational elements monitoring and controlling physical entities. Their development requires a deep understanding of the dynamics of the physical process usually modeled by differential equations. We present an approach aiming at helping CPS design and based on: 1) a high-level programming language allowing us to specify functionalities of the CPS while abstracting the details of the physical dynamics; 2) an automated model-based synthesis tool generating from a high-level program, a low-level controller implementing the specified functionalities. The approach is based on the use of symbolic models (i.e. discrete abstractions) of the dynamics of the physical process and follows the correct by construction synthesis paradigm. In this talk, we will review our contributions to the field of symbolic control and identify the challenges that need to be addressed in future research.