Towards programmable cyber-physical systems: a symbolic control approach

Project Information

PROCSYS

Grant agreement ID: 725144

DOI

10.3030/725144

Project closed

EC signature date 19 January 2017

Start date 1 September 2017

End date 31 August 2023

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 266 731,00

EU contribution

€ 1 266 731,00

Coordinated by

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
France

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (21)

Efficient Data-Driven Abstraction of Monotone Systems with Disturbances

Author(s): Anas Makdesi; Antoine Girard; Laurent Fribourg
Published in: IFAC Conference on Analysis and Design of Hybrid Systems, 2021
Publisher: IFAC
DOI: 10.1016/j.ifacol.2021.08.473

Abstraction of Monotone Systems Based on Feedback Controllers

Author(s): Vladimir Sinyakov, Antoine Girard
Published in: IFAC World Congress, 2020
Publisher: IFAC

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

Author(s): Zakeye Azaki; Antoine Girard; Sorin Olaru
Published in: CAO 2022 - 18th IFAC Workshop on Control Applications of Optimization, 2022
Publisher: IFAC
DOI: 10.1016/j.ifacol.2022.09.039

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

Author(s): Georges Aazan; Antoine Girard; Paolo Mason; Luca Greco
Published in: 25th ACM International Conference on Hybrid Systems: Computation and Control,, 2022
Publisher: ACM
DOI: 10.1145/3501710.3519543

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

Author(s): Elena Ivanova, Antoine Girard
Published in: IFAC World Congress, 2020
Publisher: IFAC

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

Author(s): Elena Ivanova; Antoine Girard
Published in: 7th IFAC Conference on Analysis and Design of Hybrid Systems, Issue 2, 2021
Publisher: IFAC
DOI: 10.1016/j.ifacol.2021.08.483

Data-Driven Abstraction of Monotone Systems

Author(s): MAKDESI, Anas; GIRARD, Antoine; FRIBOURG, Laurent
Published in: Proceedings of Machine Learning Research, Issue Learning for Dynamics and Control Conference, 2021
Publisher: Proceedings of Machine Learning Research

Compositional Synthesis of Symbolic Controllers for Attractivity Specifications

Author(s): Apaza-Perez, W,; Girard, Antoine
Published in: 60th IEEE conference on Decision and Control, 2021
Publisher: IEEE
DOI: 10.1109/cdc45484.2021.9682817

Formal Synthesis from Control Programs

Author(s): Vladimir Sinyakov, Antoine Girard
Published in: IEEE Conference on Decision and Control, 2020
Publisher: IEEE

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

Author(s): Zohra Kader, Adnane Saoud, Antoine Girard
Published in: 2019 18th European Control Conference (ECC), 2019, Page(s) 1269-1274, ISBN 978-3-907144-00-8
Publisher: IEEE
DOI: 10.23919/ecc.2019.8796232

Symbolic models for incrementally stable switched systems with aperiodic time sampling

Author(s): Zohra Kader, Antoine Girard, Adnane Saoud
Published in: IFAC-PapersOnLine, Issue 51/16, 2018, Page(s) 253-258, ISSN 2405-8963
Publisher: IFAC
DOI: 10.1016/j.ifacol.2018.08.043

Symbolic models for incrementally stable singularly perturbed hybrid affine systems

Author(s): Zohra Kader, Antoine Girard
Published in: 2019 American Control Conference (ACC), 2019, Page(s) 3002-3007, ISBN 978-1-5386-7926-5
Publisher: IEEE
DOI: 10.23919/acc.2019.8815249

Safety control, a quantitative approach

Author(s): Alina Eqtami, Antoine Girard
Published in: IFAC-PapersOnLine, Issue 51/16, 2018, Page(s) 187-192, ISSN 2405-8963
Publisher: IFAC
DOI: 10.1016/j.ifacol.2018.08.032

Formal Controller Synthesis from Hybrid Programs

Author(s): Vladimir Sinyakov, Antoine Girard
Published in: 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
Publisher: ACM Press
DOI: 10.1145/3178126.3186998

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

Author(s): Alina Eqtami, Antoine Girard
Published in: 2019 18th European Control Conference (ECC), Issue Naples, Italy, 2019, Page(s) 536-541, ISBN 978-3-907144-00-8
Publisher: IEEE
DOI: 10.23919/ecc.2019.8796276

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

Author(s): Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg
Published in: 2019 18th European Control Conference (ECC), 2019, Page(s) 903-909, ISBN 978-3-907144-00-8
Publisher: IEEE
DOI: 10.23919/ecc.2019.8796095

Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity

Author(s): Vladimir Sinyakov, Antoine Girard
Published in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 4355-4360, ISBN 978-1-7281-1398-2
Publisher: IEEE
DOI: 10.1109/cdc40024.2019.9029740

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

Author(s): Zohra Kader, Antoine Girard
Published in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 2485-2490, ISBN 978-1-7281-1398-2
Publisher: IEEE
DOI: 10.1109/cdc40024.2019.9030267

Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications*

Author(s): Adnane Saoud, Elena Ivanova, Antoine Girard
Published in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 6255-6260, ISBN 978-1-7281-1398-2
Publisher: IEEE
DOI: 10.1109/cdc40024.2019.9029784

Compositional Synthesis for Symbolic Control

Author(s): Antoine Girard
Published in: 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
Publisher: ACM Press
DOI: 10.1145/3178126.3196957

Invariant Sets for Assume-Guarantee Contracts

Author(s): Antoine Girard; Alessio Iovine; Sofiane Benberkane
Published in: 61st IEEE Conference on Decision and Control 2022, 2022
Publisher: IEEE
DOI: 10.1109/cdc51059.2022.9993344

Other (2)

Data-Driven Models of Monotone Systems

Author(s): Anas Makdesi; Antoine Girard; Laurent Fribourg
Published in: HAL, 2022
Publisher: HAL

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

Author(s): W. Alejandro Apaza-Perez; Antoine Girard
Published in: HAL, 2022
Publisher: HAL

Thesis and dissertations (1)

Efficient Synthesis of Safety Controllers using Symbolic Models and Lazy Algorithms

Author(s): Elena Ivanova
Published in: 2021
Publisher: Université Paris-Saclay

Peer reviewed articles (14)

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

Author(s): Sinyakov, Vladimir; Girard, Antoine
Published in: IEEE Transactions on Automatic Control, Issue 68 (8), 2023, ISSN 0018-9286
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2022.3205423

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

Author(s): Anas Makdesi; Antoine Girard; Laurent Fribourg
Published in: European Journal of Control, 2023, ISSN 0947-3580
Publisher: Lavoisier
DOI: 10.1016/j.ejcon.2023.100849

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

Author(s): Adnane Saoud; Antoine Girard; Laurent Fribourg
Published in: "IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2021, 66 (3), pp.1055-1070. ⟨10.1109/tac.2020.2992446⟩", Issue 8, 2021, ISSN 0018-9286
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2020.2992446

Symbolic Observer-Based Controller for Uncertain Nonlinear Systems

Author(s): W. A. Apaza-Perez; Antoine Girard; Christophe Combastel; Ali Zolghadri
Published in: IEEE Control Systems Letters, Issue 6, 2021, ISSN 2475-1456
Publisher: IEEE
DOI: 10.1109/lcsys.2020.3034274

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

Author(s): Georges Aazan; Antoine Girard; Luca Greco; Paolo Mason
Published in: Automatica, 2022, ISSN 0005-1098
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110434

Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications

Author(s): Elena Ivanova, Adnane Saoud, Antoine Girard
Published in: Automatica, Issue 135, 2022, ISSN 0005-1098
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2021.109993

Symbolic Models for a Class of Impulsive Systems

Author(s): Abdalla Swikir, Antoine Girard, Majid Zamani
Published in: IEEE Control Systems Letters, Issue 5/1, 2021, Page(s) 247-252, ISSN 2475-1456
Publisher: IEEE
DOI: 10.1109/lcsys.2020.3001501

Optimal multirate sampling in symbolic models for incrementally stable switched systems

Author(s): Adnane Saoud, Antoine Girard
Published in: Automatica, Issue 98, 2018, Page(s) 58-65, ISSN 0005-1098
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2018.09.005

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

Author(s): Antoine Girard, Gregor Gössler
Published in: Acta Informatica, Issue 57/1-2, 2020, Page(s) 245-269, ISSN 0001-5903
Publisher: Springer Verlag
DOI: 10.1007/s00236-019-00341-x

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

Author(s): Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
Published in: IEEE Transactions on Control of Network Systems, Issue 2/8, 2021, Page(s) 702-712, ISSN 2325-5870
Publisher: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2021.3050123

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

Author(s): Vladimir Sinyakov, Antoine Girard
Published in: Automatica, Issue 131, 2021, ISSN 0005-1098
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2021.109768

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

Author(s): Antoine Girard, Alina Eqtami
Published in: Automatica, Issue 127, 2021, ISSN 0005-1098
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2021.109543

Abstraction refinement for attractivity controllers using quantitative synthesis

Author(s): W. A. Apaza-Perez; Antoine Girard
Published in: IEEE Transactions on Automatic Control, Issue 68(9), 2023, Page(s) 5745-5751, ISSN 0018-9286
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2022.3227371

Assume-guarantee contracts for continuous-time systems

Author(s): Adnane Saoud; Antoine Girard; Laurent Fribourg
Published in: Automatica, Issue 134, 2021, ISSN 0005-1098
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2021.109910