Skip to main content

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.

Call for proposal

H2020-ICT-2014-1
See other projects for this call

Funding Scheme

RIA - Research and Innovation action

Coordinator

TECHNISCHE UNIVERSITAET MUENCHEN
Address
Arcisstrasse 21
80333 Muenchen
Germany
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 572 978,68

Participants (9)

UNIVERSITE GRENOBLE ALPES
France
EU contribution
€ 396 708,68
Address
621 Avenue Centrale
38058 Grenoble
Activity type
Higher or Secondary Education Establishments
UNIVERSITAET KASSEL
Germany
EU contribution
€ 385 755
Address
Monchebergstrasse 19
34125 Kassel
Activity type
Higher or Secondary Education Establishments
POLITECNICO DI MILANO
Italy
EU contribution
€ 465 884,93
Address
Piazza Leonardo Da Vinci 32
20133 Milano
Activity type
Higher or Secondary Education Establishments
GENERAL ELECTRIC DEUTSCHLAND HOLDING GMBH

Participation ended

Germany
EU contribution
€ 414 896,25
Address
Bleichstrasse 64-66
60313 Frankfurt Am Main
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
ROBERT BOSCH GMBH
Germany
EU contribution
€ 642 250
Address
Robert-bosch-platz 1
70839 Gerlingen-schillerhoehe
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
ESTEREL TECHNOLOGIES SA
France
EU contribution
€ 490 760
Address
8 Rue Blaise Pascal, Parc Euclide
78990 Elancourt
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
DEUTSCHES ZENTRUM FUR LUFT - UND RAUMFAHRT EV
Germany
EU contribution
€ 550 824,96
Address
Linder Hohe
51147 Koln
Activity type
Research Organisations
FUNDACION TECNALIA RESEARCH & INNOVATION
Spain
EU contribution
€ 369 812,50
Address
Parque Cientifico Y Tecnologico De Gipuzkoa Paseo Mikeletegi 2
20009 Donostia/san Sebastian (Gipuzkoa)
Activity type
Research Organisations
R.U.Robots Limited
United Kingdom
EU contribution
€ 643 031,25
Address
Eden Vale 4
M28 1WF Manchester
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)