Towards programmable cyber-physical systems: a symbolic control approach

Projektinformationen

PROCSYS

ID Finanzhilfevereinbarung: 725144

DOI

10.3030/725144

Projekt abgeschlossen

EK-Unterschriftsdatum 19 Januar 2017

Startdatum 1 September 2017

Enddatum 31 August 2023

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 266 731,00

EU-Beitrag

€ 1 266 731,00

Koordiniert durch

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
France

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (21)

Efficient Data-Driven Abstraction of Monotone Systems with Disturbances

Autoren: Anas Makdesi; Antoine Girard; Laurent Fribourg
Veröffentlicht in: IFAC Conference on Analysis and Design of Hybrid Systems, 2021
Herausgeber: IFAC
DOI: 10.1016/j.ifacol.2021.08.473

Abstraction of Monotone Systems Based on Feedback Controllers

Autoren: Vladimir Sinyakov, Antoine Girard
Veröffentlicht in: IFAC World Congress, 2020
Herausgeber: IFAC

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

Autoren: Zakeye Azaki; Antoine Girard; Sorin Olaru
Veröffentlicht in: CAO 2022 - 18th IFAC Workshop on Control Applications of Optimization, 2022
Herausgeber: IFAC
DOI: 10.1016/j.ifacol.2022.09.039

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

Autoren: Georges Aazan; Antoine Girard; Paolo Mason; Luca Greco
Veröffentlicht in: 25th ACM International Conference on Hybrid Systems: Computation and Control,, 2022
Herausgeber: ACM
DOI: 10.1145/3501710.3519543

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

Autoren: Elena Ivanova, Antoine Girard
Veröffentlicht in: IFAC World Congress, 2020
Herausgeber: IFAC

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

Autoren: Elena Ivanova; Antoine Girard
Veröffentlicht in: 7th IFAC Conference on Analysis and Design of Hybrid Systems, Ausgabe 2, 2021
Herausgeber: IFAC
DOI: 10.1016/j.ifacol.2021.08.483

Data-Driven Abstraction of Monotone Systems

Autoren: MAKDESI, Anas; GIRARD, Antoine; FRIBOURG, Laurent
Veröffentlicht in: Proceedings of Machine Learning Research, Ausgabe Learning for Dynamics and Control Conference, 2021
Herausgeber: Proceedings of Machine Learning Research

Compositional Synthesis of Symbolic Controllers for Attractivity Specifications

Autoren: Apaza-Perez, W,; Girard, Antoine
Veröffentlicht in: 60th IEEE conference on Decision and Control, 2021
Herausgeber: IEEE
DOI: 10.1109/cdc45484.2021.9682817

Formal Synthesis from Control Programs

Autoren: Vladimir Sinyakov, Antoine Girard
Veröffentlicht in: IEEE Conference on Decision and Control, 2020
Herausgeber: IEEE

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

Autoren: Zohra Kader, Adnane Saoud, Antoine Girard
Veröffentlicht in: 2019 18th European Control Conference (ECC), 2019, Seite(n) 1269-1274, ISBN 978-3-907144-00-8
Herausgeber: IEEE
DOI: 10.23919/ecc.2019.8796232

Symbolic models for incrementally stable switched systems with aperiodic time sampling

Autoren: Zohra Kader, Antoine Girard, Adnane Saoud
Veröffentlicht in: IFAC-PapersOnLine, Ausgabe 51/16, 2018, Seite(n) 253-258, ISSN 2405-8963
Herausgeber: IFAC
DOI: 10.1016/j.ifacol.2018.08.043

Symbolic models for incrementally stable singularly perturbed hybrid affine systems

Autoren: Zohra Kader, Antoine Girard
Veröffentlicht in: 2019 American Control Conference (ACC), 2019, Seite(n) 3002-3007, ISBN 978-1-5386-7926-5
Herausgeber: IEEE
DOI: 10.23919/acc.2019.8815249

Safety control, a quantitative approach

Autoren: Alina Eqtami, Antoine Girard
Veröffentlicht in: IFAC-PapersOnLine, Ausgabe 51/16, 2018, Seite(n) 187-192, ISSN 2405-8963
Herausgeber: IFAC
DOI: 10.1016/j.ifacol.2018.08.032

Formal Controller Synthesis from Hybrid Programs

Autoren: Vladimir Sinyakov, Antoine Girard
Veröffentlicht in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18, 2018, Seite(n) 271-272, ISBN 9781-450356428
Herausgeber: ACM Press
DOI: 10.1145/3178126.3186998

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

Autoren: Alina Eqtami, Antoine Girard
Veröffentlicht in: 2019 18th European Control Conference (ECC), Ausgabe Naples, Italy, 2019, Seite(n) 536-541, ISBN 978-3-907144-00-8
Herausgeber: IEEE
DOI: 10.23919/ecc.2019.8796276

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

Autoren: Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg
Veröffentlicht in: 2019 18th European Control Conference (ECC), 2019, Seite(n) 903-909, ISBN 978-3-907144-00-8
Herausgeber: IEEE
DOI: 10.23919/ecc.2019.8796095

Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity

Autoren: Vladimir Sinyakov, Antoine Girard
Veröffentlicht in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Seite(n) 4355-4360, ISBN 978-1-7281-1398-2
Herausgeber: IEEE
DOI: 10.1109/cdc40024.2019.9029740

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

Autoren: Zohra Kader, Antoine Girard
Veröffentlicht in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Seite(n) 2485-2490, ISBN 978-1-7281-1398-2
Herausgeber: IEEE
DOI: 10.1109/cdc40024.2019.9030267

Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications*

Autoren: Adnane Saoud, Elena Ivanova, Antoine Girard
Veröffentlicht in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Seite(n) 6255-6260, ISBN 978-1-7281-1398-2
Herausgeber: IEEE
DOI: 10.1109/cdc40024.2019.9029784

Compositional Synthesis for Symbolic Control

Autoren: Antoine Girard
Veröffentlicht in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18, 2018, Seite(n) 136-136, ISBN 9781-450356428
Herausgeber: ACM Press
DOI: 10.1145/3178126.3196957

Invariant Sets for Assume-Guarantee Contracts

Autoren: Antoine Girard; Alessio Iovine; Sofiane Benberkane
Veröffentlicht in: 61st IEEE Conference on Decision and Control 2022, 2022
Herausgeber: IEEE
DOI: 10.1109/cdc51059.2022.9993344

Other (2)

Data-Driven Models of Monotone Systems

Autoren: Anas Makdesi; Antoine Girard; Laurent Fribourg
Veröffentlicht in: HAL, 2022
Herausgeber: HAL

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

Autoren: W. Alejandro Apaza-Perez; Antoine Girard
Veröffentlicht in: HAL, 2022
Herausgeber: HAL

Thesis and dissertations (1)

Efficient Synthesis of Safety Controllers using Symbolic Models and Lazy Algorithms

Autoren: Elena Ivanova
Veröffentlicht in: 2021
Herausgeber: Université Paris-Saclay

Peer reviewed articles (14)

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

Autoren: Sinyakov, Vladimir; Girard, Antoine
Veröffentlicht in: IEEE Transactions on Automatic Control, Ausgabe 68 (8), 2023, ISSN 0018-9286
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2022.3205423

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

Autoren: Anas Makdesi; Antoine Girard; Laurent Fribourg
Veröffentlicht in: European Journal of Control, 2023, ISSN 0947-3580
Herausgeber: Lavoisier
DOI: 10.1016/j.ejcon.2023.100849

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

Autoren: Adnane Saoud; Antoine Girard; Laurent Fribourg
Veröffentlicht in: "IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2021, 66 (3), pp.1055-1070. ⟨10.1109/tac.2020.2992446⟩", Ausgabe 8, 2021, ISSN 0018-9286
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2020.2992446

Symbolic Observer-Based Controller for Uncertain Nonlinear Systems

Autoren: W. A. Apaza-Perez; Antoine Girard; Christophe Combastel; Ali Zolghadri
Veröffentlicht in: IEEE Control Systems Letters, Ausgabe 6, 2021, ISSN 2475-1456
Herausgeber: IEEE
DOI: 10.1109/lcsys.2020.3034274

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

Autoren: Georges Aazan; Antoine Girard; Luca Greco; Paolo Mason
Veröffentlicht in: Automatica, 2022, ISSN 0005-1098
Herausgeber: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110434

Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications

Autoren: Elena Ivanova, Adnane Saoud, Antoine Girard
Veröffentlicht in: Automatica, Ausgabe 135, 2022, ISSN 0005-1098
Herausgeber: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2021.109993

Symbolic Models for a Class of Impulsive Systems

Autoren: Abdalla Swikir, Antoine Girard, Majid Zamani
Veröffentlicht in: IEEE Control Systems Letters, Ausgabe 5/1, 2021, Seite(n) 247-252, ISSN 2475-1456
Herausgeber: IEEE
DOI: 10.1109/lcsys.2020.3001501

Optimal multirate sampling in symbolic models for incrementally stable switched systems

Autoren: Adnane Saoud, Antoine Girard
Veröffentlicht in: Automatica, Ausgabe 98, 2018, Seite(n) 58-65, ISSN 0005-1098
Herausgeber: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2018.09.005

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

Autoren: Antoine Girard, Gregor Gössler
Veröffentlicht in: Acta Informatica, Ausgabe 57/1-2, 2020, Seite(n) 245-269, ISSN 0001-5903
Herausgeber: Springer Verlag
DOI: 10.1007/s00236-019-00341-x

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

Autoren: Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
Veröffentlicht in: IEEE Transactions on Control of Network Systems, Ausgabe 2/8, 2021, Seite(n) 702-712, ISSN 2325-5870
Herausgeber: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2021.3050123

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

Autoren: Vladimir Sinyakov, Antoine Girard
Veröffentlicht in: Automatica, Ausgabe 131, 2021, ISSN 0005-1098
Herausgeber: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2021.109768

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

Autoren: Antoine Girard, Alina Eqtami
Veröffentlicht in: Automatica, Ausgabe 127, 2021, ISSN 0005-1098
Herausgeber: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2021.109543

Abstraction refinement for attractivity controllers using quantitative synthesis

Autoren: W. A. Apaza-Perez; Antoine Girard
Veröffentlicht in: IEEE Transactions on Automatic Control, Ausgabe 68(9), 2023, Seite(n) 5745-5751, ISSN 0018-9286
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2022.3227371

Assume-guarantee contracts for continuous-time systems

Autoren: Adnane Saoud; Antoine Girard; Laurent Fribourg
Veröffentlicht in: Automatica, Ausgabe 134, 2021, ISSN 0005-1098
Herausgeber: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2021.109910