Towards programmable cyber-physical systems: a symbolic control approach

Projektinformationen

PROCSYS

ID Finanzhilfevereinbarung: 725144

DOI 10.3030/725144

Abgeschlossenes Projekt

EK-Unterschriftsdatum 19 Januar 2017

Startdatum 1 September 2017

Enddatum 31 August 2023

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten € 1 266 731,00

EU-Beitrag € 1 266 731,00

Koordiniert durch

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
France

Ziel

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 control techniques: the continuous physical dynamics is abstracted by a symbolic model, which is a purely discrete dynamical system; an interface consisting of low-level controllers is designed such that the physical system and the symbolic model behaves identically; a high-level symbolic controller is then synthesized automatically from the high-level program and the symbolic model. We will develop a high-level programming language, based on the intuitive formalism of hybrid automata, which will enable to specify a rich set of behaviours while enabling the development of efficient controller synthesis algorithms. The project will also tackle the two main bottlenecks in the area of symbolic control, which will enable its use in challenging real-life applications. Firstly, scalability of symbolic control will be achieved by the computation of more compact symbolic models and by controller synthesis algorithms that require only partial exploration of the symbolic models. Secondly, robustness will be ensured at all levels of control by developing novel algorithms for the synthesis of robust interfaces and of symbolic controllers. The algorithms developed in the project will be implemented in a symbolic control toolbox, which will enable the use of our approach by systems engineers.

Wissenschaftliches Gebiet

• engineering and technology › mechanical engineering › vehicle engineering › automotive engineering › autonomous vehicles
• natural sciences › computer and information sciences › software
• natural sciences › mathematics › applied mathematics › dynamical systems

Schlüsselbegriffe

• Hybrid dynamical systems
• symbolic control

Programm/Programme

• H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme

Thema/Themen

• ERC-2016-COG - ERC Consolidator Grant

Aufforderung zur Vorschlagseinreichung

ERC-2016-COG

Finanzierungsplan

ERC-COG - Consolidator Grant

Gastgebende Einrichtung

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS

• Netto-EU-Beitrag: € 1 266 731,00
• Adresse: RUE MICHEL ANGE 3 ; 75794 Paris ; Frankreich
• Region: Ile-de-France › Ile-de-France › Paris
• Aktivitätstyp: Research Organisations
• Gesamtkosten: € 1 266 731,00

Begünstigte (1)

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS

Frankreich

• Netto-EU-Beitrag: € 1 266 731,00
• Adresse: RUE MICHEL ANGE 3 ; 75794 Paris
• Region: Ile-de-France › Ile-de-France › Paris
• Aktivitätstyp: Research Organisations
• Gesamtkosten: € 1 266 731,00