Towards programmable cyber-physical systems: a symbolic control approach

Informations projet

PROCSYS

N° de convention de subvention: 725144

DOI

10.3030/725144

Projet clôturé

Date de signature de la CE 19 Janvier 2017

Date de début 1 Septembre 2017

Date de fin 31 Août 2023

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 266 731,00

Contribution de l’UE

€ 1 266 731,00

Coordonné par

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
France

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (21)

Efficient Data-Driven Abstraction of Monotone Systems with Disturbances

Auteurs: Anas Makdesi; Antoine Girard; Laurent Fribourg
Publié dans: IFAC Conference on Analysis and Design of Hybrid Systems, 2021
Éditeur: IFAC
DOI: 10.1016/j.ifacol.2021.08.473

Abstraction of Monotone Systems Based on Feedback Controllers

Auteurs: Vladimir Sinyakov, Antoine Girard
Publié dans: IFAC World Congress, 2020
Éditeur: IFAC

Predictive and Symbolic Control: Performance and Safety for Non-linear Systems

Auteurs: Zakeye Azaki; Antoine Girard; Sorin Olaru
Publié dans: CAO 2022 - 18th IFAC Workshop on Control Applications of Optimization, 2022
Éditeur: IFAC
DOI: 10.1016/j.ifacol.2022.09.039

Stability of discrete-time switched linear systems with ω-regular switching sequences

Auteurs: Georges Aazan; Antoine Girard; Paolo Mason; Luca Greco
Publié dans: 25th ACM International Conference on Hybrid Systems: Computation and Control,, 2022
Éditeur: ACM
DOI: 10.1145/3501710.3519543

Lazy Safety Controller Synthesis with Multi-Scale Adaptive-Sampling Abstractions of Nonlinear Systems

Auteurs: Elena Ivanova, Antoine Girard
Publié dans: IFAC World Congress, 2020
Éditeur: IFAC

Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration

Auteurs: Elena Ivanova; Antoine Girard
Publié dans: 7th IFAC Conference on Analysis and Design of Hybrid Systems, Numéro 2, 2021
Éditeur: IFAC
DOI: 10.1016/j.ifacol.2021.08.483

Data-Driven Abstraction of Monotone Systems

Auteurs: MAKDESI, Anas; GIRARD, Antoine; FRIBOURG, Laurent
Publié dans: Proceedings of Machine Learning Research, Numéro Learning for Dynamics and Control Conference, 2021
Éditeur: Proceedings of Machine Learning Research

Compositional Synthesis of Symbolic Controllers for Attractivity Specifications

Auteurs: Apaza-Perez, W,; Girard, Antoine
Publié dans: 60th IEEE conference on Decision and Control, 2021
Éditeur: IEEE
DOI: 10.1109/cdc45484.2021.9682817

Formal Synthesis from Control Programs

Auteurs: Vladimir Sinyakov, Antoine Girard
Publié dans: IEEE Conference on Decision and Control, 2020
Éditeur: IEEE

Safety controller design for incrementally stable switched systems using event-based symbolic models

Auteurs: Zohra Kader, Adnane Saoud, Antoine Girard
Publié dans: 2019 18th European Control Conference (ECC), 2019, Page(s) 1269-1274, ISBN 978-3-907144-00-8
Éditeur: IEEE
DOI: 10.23919/ecc.2019.8796232

Symbolic models for incrementally stable switched systems with aperiodic time sampling

Auteurs: Zohra Kader, Antoine Girard, Adnane Saoud
Publié dans: IFAC-PapersOnLine, Numéro 51/16, 2018, Page(s) 253-258, ISSN 2405-8963
Éditeur: IFAC
DOI: 10.1016/j.ifacol.2018.08.043

Symbolic models for incrementally stable singularly perturbed hybrid affine systems

Auteurs: Zohra Kader, Antoine Girard
Publié dans: 2019 American Control Conference (ACC), 2019, Page(s) 3002-3007, ISBN 978-1-5386-7926-5
Éditeur: IEEE
DOI: 10.23919/acc.2019.8815249

Safety control, a quantitative approach

Auteurs: Alina Eqtami, Antoine Girard
Publié dans: IFAC-PapersOnLine, Numéro 51/16, 2018, Page(s) 187-192, ISSN 2405-8963
Éditeur: IFAC
DOI: 10.1016/j.ifacol.2018.08.032

Formal Controller Synthesis from Hybrid Programs

Auteurs: Vladimir Sinyakov, Antoine Girard
Publié dans: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18, 2018, Page(s) 271-272, ISBN 9781-450356428
Éditeur: ACM Press
DOI: 10.1145/3178126.3186998

A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems

Auteurs: Alina Eqtami, Antoine Girard
Publié dans: 2019 18th European Control Conference (ECC), Numéro Naples, Italy, 2019, Page(s) 536-541, ISBN 978-3-907144-00-8
Éditeur: IEEE
DOI: 10.23919/ecc.2019.8796276

A symbolic approach to voltage stability and power sharing in time-varying DC microgrids

Auteurs: Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg
Publié dans: 2019 18th European Control Conference (ECC), 2019, Page(s) 903-909, ISBN 978-3-907144-00-8
Éditeur: IEEE
DOI: 10.23919/ecc.2019.8796095

Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity

Auteurs: Vladimir Sinyakov, Antoine Girard
Publié dans: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 4355-4360, ISBN 978-1-7281-1398-2
Éditeur: IEEE
DOI: 10.1109/cdc40024.2019.9029740

Reference Tracking for Linear Time Invariant Systems with a Relay Control *

Auteurs: Zohra Kader, Antoine Girard
Publié dans: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 2485-2490, ISBN 978-1-7281-1398-2
Éditeur: IEEE
DOI: 10.1109/cdc40024.2019.9030267

Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications*

Auteurs: Adnane Saoud, Elena Ivanova, Antoine Girard
Publié dans: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 6255-6260, ISBN 978-1-7281-1398-2
Éditeur: IEEE
DOI: 10.1109/cdc40024.2019.9029784

Compositional Synthesis for Symbolic Control

Auteurs: Antoine Girard
Publié dans: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18, 2018, Page(s) 136-136, ISBN 9781-450356428
Éditeur: ACM Press
DOI: 10.1145/3178126.3196957

Invariant Sets for Assume-Guarantee Contracts

Auteurs: Antoine Girard; Alessio Iovine; Sofiane Benberkane
Publié dans: 61st IEEE Conference on Decision and Control 2022, 2022
Éditeur: IEEE
DOI: 10.1109/cdc51059.2022.9993344

Other (2)

Data-Driven Models of Monotone Systems

Auteurs: Anas Makdesi; Antoine Girard; Laurent Fribourg
Publié dans: HAL, 2022
Éditeur: HAL

Synthesis of Input-to-State Safety and Attractivity Controllers using Nested Sequences of Abstractions

Auteurs: W. Alejandro Apaza-Perez; Antoine Girard
Publié dans: HAL, 2022
Éditeur: HAL

Thesis and dissertations (1)

Efficient Synthesis of Safety Controllers using Symbolic Models and Lazy Algorithms

Auteurs: Elena Ivanova
Publié dans: 2021
Éditeur: Université Paris-Saclay

Peer reviewed articles (14)

Abstraction of Continuous-time Systems Based on Feedback Controllers and Mixed Monotonicity

Auteurs: Sinyakov, Vladimir; Girard, Antoine
Publié dans: IEEE Transactions on Automatic Control, Numéro 68 (8), 2023, ISSN 0018-9286
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2022.3205423

Safe Learning-Based Model Predictive Control Using The Compatible Models Approach

Auteurs: Anas Makdesi; Antoine Girard; Laurent Fribourg
Publié dans: European Journal of Control, 2023, ISSN 0947-3580
Éditeur: Lavoisier
DOI: 10.1016/j.ejcon.2023.100849

Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems

Auteurs: Adnane Saoud; Antoine Girard; Laurent Fribourg
Publié dans: "IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2021, 66 (3), pp.1055-1070. ⟨10.1109/tac.2020.2992446⟩", Numéro 8, 2021, ISSN 0018-9286
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2020.2992446

Symbolic Observer-Based Controller for Uncertain Nonlinear Systems

Auteurs: W. A. Apaza-Perez; Antoine Girard; Christophe Combastel; Ali Zolghadri
Publié dans: IEEE Control Systems Letters, Numéro 6, 2021, ISSN 2475-1456
Éditeur: IEEE
DOI: 10.1109/lcsys.2020.3034274

Stability of Shuffled Switched Linear Systems: A Joint Spectral Radius Approach

Auteurs: Georges Aazan; Antoine Girard; Luca Greco; Paolo Mason
Publié dans: Automatica, 2022, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110434

Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications

Auteurs: Elena Ivanova, Adnane Saoud, Antoine Girard
Publié dans: Automatica, Numéro 135, 2022, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2021.109993

Symbolic Models for a Class of Impulsive Systems

Auteurs: Abdalla Swikir, Antoine Girard, Majid Zamani
Publié dans: IEEE Control Systems Letters, Numéro 5/1, 2021, Page(s) 247-252, ISSN 2475-1456
Éditeur: IEEE
DOI: 10.1109/lcsys.2020.3001501

Optimal multirate sampling in symbolic models for incrementally stable switched systems

Auteurs: Adnane Saoud, Antoine Girard
Publié dans: Automatica, Numéro 98, 2018, Page(s) 58-65, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2018.09.005

Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions

Auteurs: Antoine Girard, Gregor Gössler
Publié dans: Acta Informatica, Numéro 57/1-2, 2020, Page(s) 245-269, ISSN 0001-5903
Éditeur: Springer Verlag
DOI: 10.1007/s00236-019-00341-x

Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach

Auteurs: Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
Publié dans: IEEE Transactions on Control of Network Systems, Numéro 2/8, 2021, Page(s) 702-712, ISSN 2325-5870
Éditeur: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2021.3050123

Formal Controller Synthesis from Specifications Given by Discrete-Time Hybrid Automata

Auteurs: Vladimir Sinyakov, Antoine Girard
Publié dans: Automatica, Numéro 131, 2021, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2021.109768

Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications

Auteurs: Antoine Girard, Alina Eqtami
Publié dans: Automatica, Numéro 127, 2021, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2021.109543

Abstraction refinement for attractivity controllers using quantitative synthesis

Auteurs: W. A. Apaza-Perez; Antoine Girard
Publié dans: IEEE Transactions on Automatic Control, Numéro 68(9), 2023, Page(s) 5745-5751, ISSN 0018-9286
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2022.3227371

Assume-guarantee contracts for continuous-time systems

Auteurs: Adnane Saoud; Antoine Girard; Laurent Fribourg
Publié dans: Automatica, Numéro 134, 2021, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2021.109910