Skip to main content

Towards programmable cyber-physical systems: a symbolic control approach

Searching for OpenAIRE data...

Publications

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
DOI: 10.1016/j.automatica.2018.09.005

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
DOI: 10.1016/j.ifacol.2018.08.043

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
DOI: 10.1016/j.ifacol.2018.08.032

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
DOI: 10.1007/s00236-019-00341-x

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
DOI: 10.23919/ecc.2019.8796232

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
DOI: 10.23919/acc.2019.8815249

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
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
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
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
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
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
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
DOI: 10.1145/3178126.3196957

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

Author(s): Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
Published in: 2020

Assume-guarantee contracts for discrete and continuous-time systems

Author(s): Adnane Saoud, Antoine Girard, Laurent Fribourg
Published in: 2019

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

Author(s): Vladimir Sinyakov, Antoine Girard
Published in: 2019

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

Author(s): Adnane Saoud, Antoine Girard, Laurent Fribourg
Published in: 2019

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

Author(s): Antoine Girard, Alina Eqtami
Published in: 2020