ERC Consolidator Grant · 2016
Towards programmable cyber-physical systems: a symbolic control approach
Cyber-physical systems (CPS) consist of computational elements monitoring and controlling physical entities. The main objective of the PROCSYS project is to propose a general framework for the design of programmable CPS that will allow engineers to develop advanced functionalities using a high-level programming language for specifying the behaviours of a CPS while abstracting the details of the physical dynamics. Controllers enforcing the specified behaviours will be generated from a high-level program using an automated model-based synthesis tool. Correctness of the controllers will be guaranteed by following the correct by construction synthesis paradigm through the use of symbolic…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.
← All labs at National Centre for Scientific Research (CNRS)