Opendata, web and dolomites

UnCoVerCPS SIGNED

Unifying Control and Verification of Cyber-Physical Systems

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "UnCoVerCPS" data sheet

The following table provides information about the project.

Coordinator
TECHNISCHE UNIVERSITAET MUENCHEN 

Organization address
address: Arcisstrasse 21
city: MUENCHEN
postcode: 80333
website: www.tu-muenchen.de

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Germany [DE]
 Project website http://cps-vo.org/group/UnCoVerCPS
 Total cost 4˙932˙902 €
 EC max contribution 4˙932˙902 € (100%)
 Programme 1. H2020-EU.2.1.1.1. (A new generation of components and systems: Engineering of advanced embedded and energy and resource efficient components and systems)
 Code Call H2020-ICT-2014-1
 Funding Scheme RIA
 Starting year 2015
 Duration (year-month-day) from 2015-01-01   to  2019-02-28

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    TECHNISCHE UNIVERSITAET MUENCHEN DE (MUENCHEN) coordinator 572˙978.00
2    R.U.Robots Limited UK (MANCHESTER) participant 643˙031.00
3    ROBERT BOSCH GMBH DE (GERLINGEN-SCHILLERHOEHE) participant 642˙250.00
4    DEUTSCHES ZENTRUM FUER LUFT - UND RAUMFAHRT EV DE (KOELN) participant 550˙824.00
5    ESTEREL TECHNOLOGIES SA FR (ELANCOURT) participant 490˙760.00
6    POLITECNICO DI MILANO IT (MILANO) participant 465˙884.00
7    GENERAL ELECTRIC DEUTSCHLAND HOLDING GMBH DE (FRANKFURT AM MAIN) participant 414˙896.00
8    UNIVERSITE GRENOBLE ALPES FR (GRENOBLE) participant 396˙708.00
9    UNIVERSITAET KASSEL DE (KASSEL) participant 385˙755.00
10    FUNDACION TECNALIA RESEARCH & INNOVATION ES (DERIO BIZKAIA) participant 369˙812.00
11    UNIVERSITE GRENOBLE ALPES FR (SAINT MARTIN D'HERES) participant 0.00
12    UNIVERSITE JOSEPH FOURIER GRENOBLE 1 FR (GRENOBLE) participant 0.00

Map

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

 Deliverables

List of deliverables.
Final report on dissemination and exploitation Documents, reports 2020-02-26 14:33:38
Report on interleaving online control and reachability computation for certified behaviour of cyber-physical systems Documents, reports 2020-02-26 14:33:38
UnCoVerCPS tool chain Demonstrators, pilots, prototypes 2020-02-26 14:33:38
Report on application simulation data and experimental results Documents, reports 2020-02-26 14:33:38
Assessment of the certifiability for the relevant safety standards Documents, reports 2020-02-26 14:33:38
Report on behaviour prediction for cyber-physical systems Documents, reports 2020-02-26 14:33:38
Report on application models Documents, reports 2020-02-26 14:33:38
Report on pre-computation of reachable sets and advances in reachability analysis Documents, reports 2020-02-26 14:33:38
First report on dissemination and exploitation Documents, reports 2020-02-26 14:33:38
Website Websites, patent fillings, videos etc. 2020-02-26 14:33:38
Second report on dissemination and exploitation Documents, reports 2020-02-26 14:33:37
Assessment of languages and tools for the automatic formalisation of system requirements Documents, reports 2020-02-26 14:33:37
Report on modelling of networked cyber-physical system for verification and control Documents, reports 2020-02-26 14:33:37
Extension of the SCADE language for continuous modelling Documents, reports 2020-02-26 14:33:38
Theoretical foundation for combining zonotopes and support functions Documents, reports 2020-02-26 14:33:37
Report on reachability analysis of nonlinear systems and compositional verification Documents, reports 2020-02-26 14:33:38
Report on conformance testing of application models Documents, reports 2020-02-26 14:33:37
Report on distributed model predictive control for cyber-physical systems and efficient computation Documents, reports 2020-02-26 14:33:38
First version of the data management plan Open Research Data Pilot 2020-02-26 14:33:38
Report on compositional verification, and incremental verification in interaction with online controller adaptation Documents, reports 2020-02-26 14:33:38
Report on conformance testing in the development process Documents, reports 2020-02-26 14:33:38
Final version of the data management plan Open Research Data Pilot 2020-02-26 14:33:38

Take a look to the deliverables list in detail:  detailed list of UnCoVerCPS deliverables.

 Publications

year authors and title journal last update
List of publications.
2017 Lattarulo, R. and Perez, J. and Dendaluce, M.
A complete modular framework for developing and testing automated driving controllers
published pages: , ISSN: , DOI:
20th World Congress The International Federation of Automatic Control 2020-02-26
2017 Riccardo Maria Vignali, Francesco Borghesan, Luigi Piroddi, Martin Strelec, Maria Prandini
Energy Management of a Building Cooling System With Thermal Storage: An Approximate Dynamic Programming Solution
published pages: 619-633, ISSN: 1545-5955, DOI: 10.1109/TASE.2016.2635109
IEEE Transactions on Automation Science and Engineering 14/2 2020-02-26
2016 Alessandro Falsone and Kostas Margellos and Simone Garatti and Maria Prandini
Dual decomposition for multi-agent distributed optimization with coupling constraints
published pages: , ISSN: 0005-1098, DOI:
IEEE Transactions on Control of Network Systems 2020-02-26
2015 Hendrik Roehm, Rainer, Gmehlich, Thomas Heinz, Jens Oehlerking and Matthias Woehrle
Industrial Examples of Formal Specifications for Test Case Generation
published pages: 80-88, ISSN: , DOI:
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, EPiC Series in Computing vol.34 2020-02-26
2015 Matthias Althoff
An introduction to CORA 2015
published pages: 120-151, ISSN: , DOI:
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, EPiC Series in Computing vol. 34 2020-02-26
2015 Alessandro Falsone, Luigi Piroddi, Maria Prandini
A randomized algorithm for nonlinear model structure selection
published pages: 227-238, ISSN: 0005-1098, DOI: 10.1016/j.automatica.2015.07.023
Automatica 60 2020-02-26
2015 Salvado, Joao
Contingency Planning for Automated Vehicles in Urban Traffic
published pages: , ISSN: , DOI:
2020-02-26
2017 Schürmann, Bastian and Heß, Daniel and Eilbrecht, Jan and Stursberg, Olaf and Köster, Frank and Althoff, Matthias
Ensuring Drivability of Planned Motions Using Formal Methods
published pages: , ISSN: , DOI:
Proc. of the Intelligent Transportation Systems Conference 2020-02-26
2017 BASCETTA, LUCA; PRANDINI, MARIA
Flat-RRT*: A sampling-based optimal trajectory planner for differentially flat vehicles with constrained dynamics
published pages: , ISSN: , DOI:
20th World Congress of the International Federation of Automatic Control 2020-02-26
2015 Sun, Wuqiang
Untersuchung von Algorithmen zur Identifikation der Parameter nichtlinearer Fahrdynamikmodelle
published pages: , ISSN: , DOI:
2020-02-26
2017 Ioli Daniele and Deori Luca and Falsone Alessandro and Prandini Maria
A two-layer decentralized approach to the optimal energy management of a building district with a shared thermal storage
published pages: , ISSN: , DOI:
20th World Congress of the International Federation of Automatic Control 2020-02-26
2017 A. El-Guindy and K. Schaab and B. Schürmann and D. Han and O. Stursberg and M. Althoff
Formal LPV Control for Transient Stability of Power Systems
published pages: , ISSN: , DOI:
Proc. of the IEEE PES General Meeting 2020-02-26
2017 M. Althoff and S. Bak and D. Cattaruzza and X. Chen and G. Frehse and R. Ray and S. Schupp
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
published pages: , ISSN: , DOI:
Proc. of the 4th International Workshop on Applied Verification for Continuous and Hybrid Systems 2020-02-26
2017 Lattarulo, R. and Perez, J.
Study of the Lane Change Maneuver: Automated Driving use Case
published pages: , ISSN: , DOI:
16th International Conference on Computer Aided Systems Theory (EuroCAST) 2020-02-26
2016 Evgeny Agamirzov
Parallel Best-First Heuristic Search applied to Cooperative Planning for Automated Vehicles
published pages: , ISSN: , DOI:
2020-02-26
2015 Javier Sanchez Cubillo and Jesus Marcos Olaya
Technology transfer process for autonomous mobility as cyberphysical systems – the H2020 UnCoVerCPS project
published pages: , ISSN: , DOI:
Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA). ESA/Estec Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA), 13th, May 11-13, Noordwijk, Netherlands 2020-02-26
2015 Konstantin Schaab, Olaf Stursberg
Decentralized Robust Control of Power Grids Using LPV-Models of DAE-Systems
published pages: 218-223, ISSN: 2405-8963, DOI: 10.1016/j.ifacol.2015.11.140
IFAC-PapersOnLine 48/26 2020-02-26
2015 Konstantin Schaab, Olaf Stursberg
Robust Decentralized LPV Control for Transient Stability of Power Systems
published pages: 566-571, ISSN: 2405-8963, DOI: 10.1016/j.ifacol.2015.12.440
IFAC-PapersOnLine 48/30 2020-02-26
2017 Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger
Counterexample-guided refinement of template polyhedra
published pages: 589-606, ISSN: , DOI: 10.1007/978-3-662-54577-5_34
23rd Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2020-02-26
2015 Luca Parolini, Simone Schuler and Adolfo Anta
Benchmark problem: an air brake model for trains
published pages: 43-48, ISSN: , DOI:
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, EPiC Series in Computing vol. 34 2020-02-26
2015 Daniele Ioli, Alessandro Falsone, Maria Prandini
Optimal energy management of a building cooling system with thermal storage: A convex formulation
published pages: 1150-1155, ISSN: 2405-8963, DOI: 10.1016/j.ifacol.2015.09.123
IFAC-PapersOnLine 48/8 2020-02-26
2017 F. Hisch and A. Giusti and M. Althoff
Robust Control of Continuum Robots using Interval Arithmetic
published pages: , ISSN: , DOI:
Proc. of the 20th IFAC World Congress 2020-02-26
2017 Schürmann, Bastian and Althoff, Matthias
Optimal Control of Sets of Solutions to Formally Guarantee Constraints of Disturbed Linear Systems
published pages: , ISSN: , DOI:
Proc. of the American Control Conference 2020-02-26
2017 Yang, Yang; Prandini, Maria; Cao, Xianbin; Du, Wenbo
A Multi-Criteria Decision-Making Scheme for Multi-Aircraft Conflict Resolution
published pages: , ISSN: , DOI:
20th World Congress of the International Federation of Automatic Control 2020-02-26
2017 Lattarulo, R. and Marcano, M. and Perez, J.
Overtaking maneuver for automated driving using virtual environments
published pages: , ISSN: , DOI:
Lecture Notes in Computer Science 2020-02-26
2017 Daniele Ioli and Alessandro Falsone and Marianne Hartung and Axel Busboom and Maria Prandini
A Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees
published pages: , ISSN: , DOI:
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems 2020-02-26
2017 X. Chen and M. Althoff and F. Immler
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics
published pages: , ISSN: , DOI:
Proc. of the 4th International Workshop on Applied Verification for Continuous and Hybrid Systems 2020-02-26
2017 Stefan B. Liu and Matthias Althoff and Christian Heinzemann and Hendrik Roehm and Jens Oehlerking and Ingo Luetkebohle
Provably Safe Motion of Mobile Robots in Human Environments
published pages: , ISSN: , DOI:
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2017) 2020-02-26
2017 Luca Deori and Kostas Margellos and Maria Prandini
On the connection between Nash equilibria and social optima in electric vehicle charging control games
published pages: , ISSN: , DOI:
20th World Congress of the International Federation of Automatic Control 2020-02-26
2017 Alessandro Falsone, Maria Prandini
A Randomized Approach to Probabilistic Footprint Estimation of a Space Debris Uncontrolled Reentry
published pages: 1-10, ISSN: 1524-9050, DOI: 10.1109/TITS.2017.2654511
IEEE Transactions on Intelligent Transportation Systems 2020-02-26
2015 Giorgio Manganini, Matteo Pirotta, Marcello Restelli, Luigi Piroddi, Maria Prandini
Policy Search for the Optimal Control of Markov Decision Processes: A Novel Particle-Based Iterative Scheme
published pages: 1-13, ISSN: 2168-2267, DOI: 10.1109/TCYB.2015.2483780
IEEE Transactions on Cybernetics Issue: 99 2020-02-26
2017 Schürmann, Bastian and Althoff, Matthias
Guaranteeing Constraints of Disturbed Nonlinear Systems Using Set-Based Optimal Control in Generator Space
published pages: , ISSN: , DOI:
Proc. of the 20th IFAC World Congress 2020-02-26
2017 Alessandro Falsone, Kostas Margellos, Simone Garatti, Maria Prandini
Finite time distributed averaging over gossip-constrained ring networks
published pages: 1-1, ISSN: 2325-5870, DOI: 10.1109/TCNS.2017.2653418
IEEE Transactions on Control of Network Systems 2020-02-26
2017 Yang Yang, Jun Zhang, Kai-Quan Cai, Maria Prandini
Multi-aircraft Conflict Detection and Resolution Based on Probabilistic Reach Sets
published pages: 309-316, ISSN: 1063-6536, DOI: 10.1109/TCST.2016.2542046
IEEE Transactions on Control Systems Technology 25/1 2020-02-26
2016 F. Bianchi, A. Falsone, M. Prandini, L. Piroddi
A randomised approach for NARX model identification based on a multivariate Bernoulli distribution
published pages: 1203-1216, ISSN: 0020-7721, DOI: 10.1080/00207721.2016.1244309
International Journal of Systems Science 48/6 2020-02-26
2015 Luca Parolini, Simone Schuler, Adolfo Anta
Benchmark problem: an air brake model for trains
published pages: 43-36, ISSN: , DOI: 10.29007/1bln
EPiC Series in Computing volume 34 2020-02-26
2017 Yang Yang, Maria Prandini, Xianbin Cao, Wenbo Du
A Multi-Criteria Decision-Making Scheme for Multi-Aircraft Conflict Resolution * *This paper is supported by the National Natural Science Foundation of China (grant Nos. 61425014, 61521091, 61671031), National Key Research and Development Program of China (grant No. 2016YFB1200100), the European Commission (project UnCoV-erCPS, grant No. 643921)
published pages: 14674-14679, ISSN: 2405-8963, DOI: 10.1016/j.ifacol.2017.08.2496
IFAC-PapersOnLine 50/1 2020-02-26
2017 Luca Bascetta, Iñigo Mendizabal Arrieta, Maria Prandini
Flat-RRT*: A sampling-based optimal trajectory planner for differentially flat vehicles with constrained dynamics 1 1Research was supported by the European Commission, H2020, under the project UnCoVerCPS, grant number 643921.
published pages: 6965-6970, ISSN: 2405-8963, DOI: 10.1016/j.ifacol.2017.08.1337
IFAC-PapersOnLine 50/1 2020-02-26
2017 Daniele Ioli, Alessandro Falsone, Alessandro Vittorio Papadopoulos, Maria Prandini
A compositional modeling framework for the optimal energy management of a district network
published pages: , ISSN: 0959-1524, DOI: 10.1016/j.jprocont.2017.10.005
Journal of Process Control 2020-02-26
2017 Riccardo Vignali, Maria Prandini
Minimum Resource Commitment for Reachability Specifications in a Discrete Time Linear Setting
published pages: 3021-3028, ISSN: 0018-9286, DOI: 10.1109/TAC.2016.2606082
IEEE Transactions on Automatic Control 62/6 2020-02-26
2018 Luca Deori, Kostas Margellos, Maria Prandini
Regularized Jacobi Iteration for Decentralized Convex Quadratic Optimization With Separable Constraints
published pages: 1-9, ISSN: 1063-6536, DOI: 10.1109/tcst.2018.2827990
IEEE Transactions on Control Systems Technology 2020-02-26
2017 Daniele Ioli, Luca Deori, Alessandro Falsone, Maria Prandini
A two-layer decentralized approach to the optimal energy management of a building district with a shared thermal storage * *This research was supported by the European Commission under the project UnCoVerCPS, grant number 643921
published pages: 8844-8849, ISSN: 2405-8963, DOI: 10.1016/j.ifacol.2017.08.1540
IFAC-PapersOnLine 50/1 2020-02-26
2017 Federico Terraneo, Alessandro Vittorio Papadopoulos, Alberto Leva, Maria Prandini
FLOPSYNC-QACS: Quantization-aware clock synchronization for wireless sensor networks
published pages: 77-84, ISSN: 1383-7621, DOI: 10.1016/j.sysarc.2017.09.006
Journal of Systems Architecture 80 2020-02-26
2017 Luca Deori, Simone Garatti, Maria Prandini
Trading performance for state constraint feasibility in stochastic constrained control: A randomized approach
published pages: 501-529, ISSN: 0016-0032, DOI: 10.1016/j.jfranklin.2016.10.019
Journal of the Franklin Institute 354/1 2020-02-26
2017 Daniele Ioli, Alessandro Falsone, Marianne Hartung, Axel Busboom, Maria Prandini
A Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees
published pages: 2--17, ISSN: , DOI: 10.29007/5qvt
EPiC Series in Computing volume 48 2020-02-26
2017 Alessandro Falsone, Kostas Margellos, Simone Garatti, Maria Prandini
Dual decomposition for multi-agent distributed optimization with coupling constraints
published pages: 149-158, ISSN: 0005-1098, DOI: 10.1016/j.automatica.2017.07.003
Automatica 84 2020-02-26
2018 Federico Bianchi, Maria Prandini, Luigi Piroddi
A randomized approach to switched nonlinear systems identification
published pages: 281-286, ISSN: 2405-8963, DOI: 10.1016/j.ifacol.2018.09.148
IFAC-PapersOnLine 51/15 2020-02-26
2018 Luca Deori, Kostas Margellos, Maria Prandini
Price of anarchy in electric vehicle charging control games: When Nash equilibria achieve social welfare
published pages: 150-158, ISSN: 0005-1098, DOI: 10.1016/j.automatica.2018.06.043
Automatica 96 2020-02-26
2018 Kostas Margellos, Alessandro Falsone, Simone Garatti, Maria Prandini
Distributed Constrained Optimization and Consensus in Uncertain Networks via Proximal Minimization
published pages: 1372-1387, ISSN: 0018-9286, DOI: 10.1109/TAC.2017.2747505
IEEE Transactions on Automatic Control 63/5 2020-02-26
2016 Alessandro Vittorio Papadopoulos, Maria Prandini
Model reduction of switched affine systems
published pages: 57-65, ISSN: 0005-1098, DOI: 10.1016/j.automatica.2016.03.019
Automatica 70 2020-02-26
2017 Luca Deori, Kostas Margellos, Maria Prandini
On the connection between Nash equilibria and social optima in electric vehicle charging control games
published pages: 14320-14325, ISSN: 2405-8963, DOI: 10.1016/j.ifacol.2017.08.1871
IFAC-PapersOnLine 50/1 2020-02-26

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "UNCOVERCPS" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "UNCOVERCPS" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.2.1.1.1.)

Road2CPS (2015)

Strategic action for future CPS through roadmaps, impact multiplication and constituency building

Read More  

CPS Summit (2015)

Transatlantic CPS Summit

Read More  

TAMS4CPS (2015)

Trans-Atlantic Modelling and Simulation For Cyber-Physical Systems

Read More