#	Pagina
attuale pagina	/open-h2020/projects/194114/index.html

Opendata, web and dolomites

UnCoVerCPS SIGNED

Unifying Control and Verification of Cyber-Physical Systems

Total Cost €

EC-Contrib. €

Partnership

Views

Outcomes and
results

UnCoVerCPS project word cloud

Explore the words cloud of the UnCoVerCPS project. It provides you a very rough idea of what is the project "UnCoVerCPS" about.

formal ground demonstrated holistic developers generation provides collaborative safety adequately unify separately verified code discrete synthesise completely passengers participation effort lane vehicles breaking reaching previously met action car uncovercps de dynamics cyber instance prepares environments operation smart efficient realised hard manufacturing certification verticalisation certified time guaranteeing controllers unanticipated guarantees automated guarantee originating environment verification verify academic industrial grids physical balanced computing situations robot tools continuous human unknown mix critical leverage faster leverages specifications fly

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 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.	DE (MUENCHEN)	coordinator	572˙978.00
2	R.U.Robots Limited R.U.Robots Limited Organization address address: EDEN VALE 4 city: MANCHESTER postcode: M28 1WF website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	UK (MANCHESTER)	participant	643˙031.00
3	ROBERT BOSCH GMBH ROBERT BOSCH GMBH Organization address address: ROBERT-BOSCH-PLATZ 1 city: GERLINGEN-SCHILLERHOEHE postcode: 70839 website: www.bosch.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (GERLINGEN-SCHILLERHOEHE)	participant	642˙250.00
4	DEUTSCHES ZENTRUM FUER LUFT - UND RAUMFAHRT EV DEUTSCHES ZENTRUM FUER LUFT - UND RAUMFAHRT EV Organization address address: Linder Hoehe city: KOELN postcode: 51147 website: www.dlr.de contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (KOELN)	participant	550˙824.00
5	ESTEREL TECHNOLOGIES SA ESTEREL TECHNOLOGIES SA Organization address address: 8 RUE BLAISE PASCAL, PARC EUCLIDE city: ELANCOURT postcode: 78990 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (ELANCOURT)	participant	490˙760.00
6	POLITECNICO DI MILANO POLITECNICO DI MILANO Organization address address: PIAZZA LEONARDO DA VINCI 32 city: MILANO postcode: 20133 website: www.polimi.it contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (MILANO)	participant	465˙884.00
7	GENERAL ELECTRIC DEUTSCHLAND HOLDING GMBH GENERAL ELECTRIC DEUTSCHLAND HOLDING GMBH Organization address address: BLEICHSTRASSE 64-66 city: FRANKFURT AM MAIN postcode: 60313 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (FRANKFURT AM MAIN)	participant	414˙896.00
8	UNIVERSITE GRENOBLE ALPES UNIVERSITE GRENOBLE ALPES Organization address address: 621 AVENUE CENTRALE city: GRENOBLE postcode: 38058 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (GRENOBLE)	participant	396˙708.00
9	UNIVERSITAET KASSEL UNIVERSITAET KASSEL Organization address address: MONCHEBERGSTRASSE 19 city: KASSEL postcode: 34125 website: www.uni-kassel.de contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (KASSEL)	participant	385˙755.00
10	FUNDACION TECNALIA RESEARCH & INNOVATION FUNDACION TECNALIA RESEARCH & INNOVATION Organization address address: PARQUE CIENTIFICO Y TECNOLOGICO DE BIZKAIA, ASTONDO BIDEA, EDIFICIO 700 city: DERIO BIZKAIA postcode: 48160 website: www.tecnalia.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (DERIO BIZKAIA)	participant	369˙812.00
11	UNIVERSITE GRENOBLE ALPES UNIVERSITE GRENOBLE ALPES Organization address address: 621, AVENUE CENTRALE city: SAINT MARTIN D'HERES postcode: 38401 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (SAINT MARTIN D'HERES)	participant	0.00
12	UNIVERSITE JOSEPH FOURIER GRENOBLE 1 UNIVERSITE JOSEPH FOURIER GRENOBLE 1 Organization address address: Avenue Centrale, Domaine Universitaire 621 city: GRENOBLE postcode: 38041 website: www.ujf-grenoble.fr contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	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

List of publications.
year	authors and title	journal	last update
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.