Researcher identifiers

Social networks

Journal names

Production year

Export Publications

Export the displayed publications:
Number of documents

9

Adnane Saoud


Journal articles1 document

Conference papers5 documents

  • 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. ⟨hal-01761180⟩
  • 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. ⟨hal-01760789⟩
  • 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. ⟨hal-01857389⟩
  • Adnane Saoud, Antoine Girard, Laurent Fribourg. On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance. 16th European Control Conference (ECC 2018), 2018, Limassol, Cyprus. ⟨hal-01712710⟩
  • 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. ⟨hal-01540854⟩

Preprints, Working Papers, ...3 documents

  • Zohra Kader, Adnane Saoud, Antoine Girard. Safety controller design for incrementally stable switched systems using event-based symbolic models. 2019. ⟨hal-02054930⟩
  • Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg. A symbolic approach to voltage stability and power sharing in time-varying DC microgrids. 2019. ⟨hal-02070070⟩
  • Adnane Saoud, Antoine Girard, Laurent Fribourg. Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems. 2019. ⟨hal-02132070⟩