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

See other projects for this call

Sub call

H2020-ICT-2014-1

Coordinator

TECHNISCHE UNIVERSITAET MUENCHEN
Net EU contribution
€ 572 978,68
Address
Arcisstrasse 21
80333 Muenchen
Germany

See on map

Region
Bayern Oberbayern München, Kreisfreie Stadt
Activity type
Higher or Secondary Education Establishments
Other funding
€ 0,50

Participants (10)

UNIVERSITE GRENOBLE ALPES
France
Net EU contribution
€ 353 989,93
Address
621 Avenue Centrale
38058 Grenoble

See on map

Region
Auvergne-Rhône-Alpes Rhône-Alpes Isère
Activity type
Higher or Secondary Education Establishments
Other funding
€ 0,00
Third-party

Legal entity other than a subcontractor which is affiliated or legally linked to a participant. The entity carries out work under the conditions laid down in the Grant Agreement, supplies goods or provides services for the action, but did not sign the Grant Agreement. A third party abides by the rules applicable to its related participant under the Grant Agreement with regard to eligibility of costs and control of expenditure.

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
France
Net EU contribution
€ 42 718,75
Address
Rue Michel Ange 3
75794 Paris

See on map

Region
Ile-de-France Ile-de-France Paris
Activity type
Research Organisations
Other funding
€ 0,00
UNIVERSITAET KASSEL
Germany
Net EU contribution
€ 385 755,00
Address
Monchebergstrasse 19
34125 Kassel

See on map

Region
Kassel Kassel, Kreisfreie Stadt
Activity type
Higher or Secondary Education Establishments
Other funding
€ 0,00
POLITECNICO DI MILANO
Italy
Net EU contribution
€ 465 884,93
Address
Piazza Leonardo Da Vinci 32
20133 Milano

See on map

Region
Nord-Ovest Lombardia Milano
Activity type
Higher or Secondary Education Establishments
Other funding
€ 0,00
GENERAL ELECTRIC DEUTSCHLAND HOLDING GMBH

Participation ended

Germany
Net EU contribution
€ 414 896,25
Address
Bleichstrasse 64-66
60313 Frankfurt Am Main
Region
Darmstadt Frankfurt am Main, Kreisfreie Stadt
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Other funding
€ 0,00
ROBERT BOSCH GMBH
Germany
Net EU contribution
€ 642 250,00
Address
Robert-bosch-platz 1
70839 Gerlingen-schillerhoehe

See on map

Region
Baden-Württemberg Stuttgart Ludwigsburg
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Other funding
€ 0,00
ESTEREL TECHNOLOGIES SA
France
Net EU contribution
€ 490 760,00
Address
8 Rue Blaise Pascal, Parc Euclide
78990 Elancourt

See on map

Region
Ile-de-France Ile-de-France Yvelines
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Other funding
€ 0,00
DEUTSCHES ZENTRUM FUR LUFT - UND RAUMFAHRT EV
Germany
Net EU contribution
€ 550 824,96
Address
Linder Hohe
51147 Koln

See on map

Region
Nordrhein-Westfalen Köln Köln, Kreisfreie Stadt
Activity type
Research Organisations
Other funding
€ 0,00
FUNDACION TECNALIA RESEARCH & INNOVATION
Spain
Net EU contribution
€ 369 812,50
Address
Parque Cientifico Y Tecnologico De Bizkaia Astondo Bidea Edificio 700
48160 Derio (Bizkaia)

See on map

Region
Noreste País Vasco Bizkaia
Activity type
Research Organisations
Other funding
€ 0,00
R.U.Robots Limited
United Kingdom
Net EU contribution
€ 643 031,25
Address
Eden Vale 4
M28 1WF Manchester

See on map

SME

The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.

Yes
Region
North West (England) Greater Manchester Greater Manchester South West
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Other funding
€ 0,00