CORDIS
EU research results

CORDIS

English EN
Unifying Control and Verification of Cyber-Physical Systems

Unifying Control and Verification of Cyber-Physical Systems

Objective

The proposed research effort provides methods for a faster and more efficient development process of safety- or operation-critical cyber-physical systems in (partially) unknown environments. Cyber-physical systems are very hard to control and verify because of the mix of discrete dynamics (originating from computing elements) and continuous dynamics (originating from physical elements). We present completely new methods for de-verticalisation of the development processes by a generic and holistic approach towards reliable cyber-physical systems development with formal guarantees. In order to guarantee that specifications are met in unknown environments and in unanticipated situations, we synthesise and verify controllers on-the-fly during system execution. This requires to unify control and verification approaches, which were previously considered separately by developers. For instance, each action of an automated car (e.g. lane change) is verified before execution, guaranteeing safety of the passengers. We will develop completely new methods, which are integrated in tools for modelling, control design, verification, and code generation that will leverage the development towards reliable and at the same time open cyber-physical systems. Our approach leverages future certification needs of open and critical cyber-physical systems. The impact of this project is far-reaching and long-term: UnCoVerCPS prepares the EU to be able to develop critical cyber-physical systems that can only be realised and certified when uncertainties in the environment are adequately considered. This is demonstrated by applying our ground-breaking methods to automated vehicles, human-robot collaborative manufacturing, and smart grids within a consortium that has a balanced participation of academic and industrial partners.

Coordinator

TECHNISCHE UNIVERSITAET MUENCHEN

Address

Arcisstrasse 21
80333 Muenchen

Germany

Activity type

Higher or Secondary Education Establishments

EU Contribution

€ 572 978,68

Participants (10)

Sort alphabetically

Sort by EU Contribution

Expand all

UNIVERSITE JOSEPH FOURIER GRENOBLE 1

France

UNIVERSITE GRENOBLE ALPES

France

EU Contribution

€ 396 708,68

UNIVERSITAET KASSEL

Germany

EU Contribution

€ 385 755

POLITECNICO DI MILANO

Italy

EU Contribution

€ 465 884,93

GENERAL ELECTRIC DEUTSCHLAND HOLDING GMBH

Germany

EU Contribution

€ 414 896,25

ROBERT BOSCH GMBH

Germany

EU Contribution

€ 642 250

ESTEREL TECHNOLOGIES SA

France

EU Contribution

€ 490 760

DLR

Germany

EU Contribution

€ 550 824,96

FUNDACION TECNALIA RESEARCH & INNOVATION

Spain

EU Contribution

€ 369 812,50

R.U.Robots Limited

United Kingdom

EU Contribution

€ 643 031,25

Project information

Grant agreement ID: 643921

Status

Closed project

  • Start date

    1 January 2015

  • End date

    28 February 2019

Funded under:

H2020-EU.2.1.1.1.

  • Overall budget:

    € 4 932 902,75

  • EU contribution

    € 4 932 902,25

Coordinated by:

TECHNISCHE UNIVERSITAET MUENCHEN

Germany