Documentation
Français (FR)

Anglais (EN)

Adnane Saoud

15

Documents

Identifiants chercheurs

adnane-saoud
0000-0003-4423-3052

Présentation

Publications

antoine-girard

	Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications Elena A. Ivanova , Adnane Saoud , Antoine Girard Automatica, 2022, 135, ⟨10.1016/j.automatica.2021.109993⟩ Article dans une revue hal-02933023v2
	Assume-guarantee contracts for continuous-time systems Adnane Saoud , Antoine Girard , Laurent Fribourg Automatica, 2021, 134, ⟨10.1016/j.automatica.2021.109910⟩ Article dans une revue hal-02196511v3
	Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach Adnane Saoud , Pushpak Jagtap , Majid Zamani , Antoine Girard IEEE Transactions on Control of Network Systems, 2021, 8 (2), pp.702-712. ⟨10.1109/TCNS.2021.3050123⟩ Article dans une revue hal-02473873v1
	Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems Adnane Saoud , Antoine Girard , Laurent Fribourg IEEE Transactions on Automatic Control, 2021, 66 (3), pp.1055-1070. ⟨10.1109/tac.2020.2992446⟩ Article dans une revue hal-02132070v2
	Optimal Multirate Sampling in Symbolic Models for Incrementally Stable Switched Systems Adnane Saoud , Antoine Girard Automatica, 2018, 98, pp.58-65. ⟨10.1016/j.automatica.2018.09.005⟩ Article dans une revue hal-01860113v1

	Safety controller design for incrementally stable switched systems using event-based symbolic models Zohra Kader , Adnane Saoud , Antoine Girard ECC 2019 - European Control Conference, Jun 2019, Naples, Italy. ⟨10.23919/ECC.2019.8796232⟩ Communication dans un congrès hal-02054930v1
	Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads Daniele Zonetti , Adnane Saoud , Antoine Girard , Laurent Fribourg NecSys 2019 - 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, Sep 2019, Chicago, United States. ⟨10.1016/j.ifacol.2019.12.148⟩ Communication dans un congrès hal-02208665v1
	Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications Adnane Saoud , Elena A. Ivanova , Antoine Girard 58th IEEE Conference on Decision and Control (CDC 2019), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029784⟩ Communication dans un congrès hal-02281945v2
	A symbolic approach to voltage stability and power sharing in time-varying DC microgrids Daniele Zonetti , Adnane Saoud , Antoine Girard , Laurent Fribourg ECC 2019 - European control conference, Jun 2019, Naples, Italy. ⟨10.23919/ecc.2019.8796095⟩ Communication dans un congrès hal-02070070v1
	Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems Adnane Saoud , Antoine Girard , Laurent Fribourg 57th IEEE Conference on Decision and Control (CDC 2018), Dec 2018, Miami Beach, FL, United States. ⟨10.1109/CDC.2018.8619099⟩ Communication dans un congrès hal-01857389v1
	On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance Adnane Saoud , Antoine Girard , Laurent Fribourg European Control Conference (ECC 2018), 2018, Limassol, Cyprus. ⟨10.23919/ECC.2018.8550622⟩ Communication dans un congrès hal-01712710v1
	Contract based Design of Symbolic Controllers for Vehicle Platooning Adnane Saoud , Antoine Girard , Laurent Fribourg 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), Apr 2018, Porto, Portugal. pp.277-278, ⟨10.1145/3178126.3187001⟩ Communication dans un congrès hal-02287002v1
	Symbolic models for incrementally stable switched systems with aperiodic time sampling Zohra Kader , Antoine Girard , Adnane Saoud 6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, Jul 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.043⟩ Communication dans un congrès hal-01760789v1
	Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems Adnane Saoud , Pushpak Jagtap , Majid Zamani , Antoine Girard 6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.003⟩ Communication dans un congrès hal-01761180v1
	Multirate Symbolic Models for Incrementally Stable Switched Systems Adnane Saoud , Antoine Girard IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.912⟩ Communication dans un congrès hal-01540854v1