Skip to Main content

Researcher identifiers

Social networks

Production year

Export Publications

Export the displayed publications:
Number of documents

14

Adnane Saoud


Journal articles2 documents

  • Adnane Saoud, Antoine Girard, Laurent Fribourg. Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, In press. ⟨hal-02132070v2⟩
  • Adnane Saoud, Antoine Girard. Optimal Multirate Sampling in Symbolic Models for Incrementally Stable Switched Systems. Automatica, Elsevier, 2018, 98, pp.58-65. ⟨10.1016/j.automatica.2018.09.005⟩. ⟨hal-01860113⟩

Conference papers10 documents

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

Preprints, Working Papers, ...2 documents

  • Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard. Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach. 2020. ⟨hal-02473873⟩
  • Adnane Saoud, Antoine Girard, Laurent Fribourg. Assume-guarantee contracts for discrete and continuous-time systems. 2019. ⟨hal-02196511⟩