Visible to the public Unifying Control and Verification of Cyber-Physical Systems (UnCoVerCPS)


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 deverticalisation 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.


  • Novel on-the-fly control and verification concepts.
  • Ground-breaking methods for unifying control and verification to quickly react to changing environments.
  • Seamless integration of modelling and conformance testing.
  • A unique tool chain that makes it possible to integrate modelling, control design, formal verification, and automatic code generation.
  • Prototypical realisations of the novel methods in automated vehicles and human- robot collaborative manufacturing.
  • Analysis of the benefits of formal methods on wind turbines and smart grids case studies.
  • A new development process that reduces development time and costs for critical cyber-physical systems to strengthen European companies which design or produce cyber-physical systems.

In the Spotlight

The UnCoVerCPS consortium met for two days at Tecnalia, Bilbao, Spain to discuss research progress and future collaborations.
The UnCoVerCPS consortium met for two days at Verimag, Grenoble, France to discuss research progress, future collaborations, and exploitation opportunities.
Road2CPS together with the partner-CSA TAMS4CPS will hold another ICT-1 Clustering Event / Concertation Meeting as a follow up of our very fruitful event in Vienna held in June this year, where your project had been presented (see brochure attached and report under following link:
UnCoVerCPS is represented at the ARTEMIS Spring event: A detailed description of the abstract can be found here:
Kick-Off meeting of the UnCoVerCPS project in Garching hosted by GE.
UnCoVerCPS presented new results on automated driving at the Artemis Technology Conference 2015 in Turin. The talk "Provably Safe Maneuvers of Automated Vehicles" was given by Matthias Althoff.

Recent Forum Topics

* no forum threads found