Opendata, web and dolomites

PROCSYS SIGNED

Towards programmable cyber-physical systems: a symbolic control approach

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "PROCSYS" data sheet

The following table provides information about the project.

Coordinator
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS 

Organization address
address: RUE MICHEL ANGE 3
city: PARIS
postcode: 75794
website: www.cnrs.fr

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 France [FR]
 Total cost 1˙266˙731 €
 EC max contribution 1˙266˙731 € (100%)
 Programme 1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
 Code Call ERC-2016-COG
 Funding Scheme ERC-COG
 Starting year 2017
 Duration (year-month-day) from 2017-09-01   to  2022-08-31

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS FR (PARIS) coordinator 1˙266˙731.00

Map

 Project objective

Cyber-physical systems (CPS) consist of computational elements monitoring and controlling physical entities. The main objective of the PROCSYS project is to propose a general framework for the design of programmable CPS that will allow engineers to develop advanced functionalities using a high-level programming language for specifying the behaviours of a CPS while abstracting the details of the physical dynamics. Controllers enforcing the specified behaviours will be generated from a high-level program using an automated model-based synthesis tool. Correctness of the controllers will be guaranteed by following the correct by construction synthesis paradigm through the use of symbolic control techniques: the continuous physical dynamics is abstracted by a symbolic model, which is a purely discrete dynamical system; an interface consisting of low-level controllers is designed such that the physical system and the symbolic model behaves identically; a high-level symbolic controller is then synthesized automatically from the high-level program and the symbolic model. We will develop a high-level programming language, based on the intuitive formalism of hybrid automata, which will enable to specify a rich set of behaviours while enabling the development of efficient controller synthesis algorithms. The project will also tackle the two main bottlenecks in the area of symbolic control, which will enable its use in challenging real-life applications. Firstly, scalability of symbolic control will be achieved by the computation of more compact symbolic models and by controller synthesis algorithms that require only partial exploration of the symbolic models. Secondly, robustness will be ensured at all levels of control by developing novel algorithms for the synthesis of robust interfaces and of symbolic controllers. The algorithms developed in the project will be implemented in a symbolic control toolbox, which will enable the use of our approach by systems engineers.

 Publications

year authors and title journal last update
List of publications.
2019 Adnane Saoud, Antoine Girard, Laurent Fribourg
Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
published pages: , ISSN: , DOI:
2020-04-15
2020 Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach
published pages: , ISSN: , DOI:
2020-04-15
2019 Adnane Saoud, Elena Ivanova, Antoine Girard
Efficient synthesis for monotone transition systems and directed safety specifications
published pages: , ISSN: , DOI:
2019 IEEE Conference on Decision and Control 2020-04-15
2019 Vladimir Sinyakov, Antoine Girard
Formal Controller Synthesis from Specifications Given by Discrete-Time Hybrid Automata
published pages: , ISSN: , DOI:
2020-04-15
2020 Antoine Girard, Alina Eqtami
Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
published pages: , ISSN: , DOI:
2020-04-15
2020 Antoine Girard, Gregor Gössler
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
published pages: 245-269, ISSN: 0001-5903, DOI: 10.1007/s00236-019-00341-x
Acta Informatica 57/1-2 2020-04-15
2019 Zohra Kader, Antoine Girard
Reference tracking for linear time invariant systems with a relay control
published pages: , ISSN: , DOI:
2019 IEEE Conference on Decision and Control 2020-04-15
2019 Vladimir Sinyakov, Antoine Girard
Controller synthesis for nonlinear systems with reachability specifications using monotonicity
published pages: , ISSN: , DOI:
2019 IEEE Conference on Decision and Control 2020-04-15
2019 Adnane Saoud, Antoine Girard, Laurent Fribourg
Assume-guarantee contracts for discrete and continuous-time systems
published pages: , ISSN: , DOI:
2020-04-15
2018 Alina Eqtami, Antoine Girard
Safety control, a quantitative approach
published pages: 187-192, ISSN: 2405-8963, DOI: 10.1016/j.ifacol.2018.08.032
IFAC-PapersOnLine 51/16 2019-04-18
2018 Adnane Saoud, Antoine Girard
Optimal multirate sampling in symbolic models for incrementally stable switched systems
published pages: 58-65, ISSN: 0005-1098, DOI: 10.1016/j.automatica.2018.09.005
Automatica 98 2019-04-18
2018 Zohra Kader, Antoine Girard, Adnane Saoud
Symbolic models for incrementally stable switched systems with aperiodic time sampling
published pages: 253-258, ISSN: 2405-8963, DOI: 10.1016/j.ifacol.2018.08.043
IFAC-PapersOnLine 51/16 2019-04-18
2019 Zohra Kader, Adnane Saoud, Antoine Girard
Safety controller design for incrementally stable switched systems using event-based symbolic models
published pages: , ISSN: , DOI:
European Control Conference 2019-04-18
2019 Zohra Kader, Antoine Girard
Symbolic models for incrementally stable singularly perturbed hybrid affine systems
published pages: , ISSN: , DOI:
American Control Conference 2019-04-18

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "PROCSYS" 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 "PROCSYS" are provided by the European Opendata Portal: CORDIS opendata.

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

DNACom (2019)

Compartmentalized DNA Computers for In-Vitro Diagnostic Applications

Read More  

DINEMOS (2019)

Discovery of New Molecular Semiconductors

Read More  

REsPecTMe (2019)

Resolving Precariousness: Advancing the Theory and Measurement of Precariousness across the paid/unpaid work continuum

Read More