Adnane Saoud

Identifiants chercheurs

IdHAL :

adnane-saoud

ORCID :

0000-0003-4423-3052

Présentation

Publications

Article dans une revue (14)

Symbolic Control: Unveiling Free Robustness Margins Youssef Aitsi,Antoine Girard,Adnane Saoud European Journal of Control, 2025, pp.101296. ⟨10.1016/j.ejcon.2025.101296⟩ Article dans une revue hal-05051416v2
Hybrid Persistency of Excitation in Adaptive Estimation for Hybrid Systems Adnane Saoud,Mohamed Maghenem,Antonio Loria,Ricardo Sanfelice IEEE Transactions on Automatic Control, 2024, 69 (12), pp.8828-8835. ⟨10.1109/TAC.2024.3422248⟩ Article dans une revue hal-04048988v1
Approches symboliques pour le contrôle des systèmes non linéaires Antoine Girard,Pierre-Jean Meyer,Adnane Saoud Techniques de l'Ingénieur, 2024, ⟨10.51257/a-v1-s7467⟩ Article dans une revue hal-04696141v1
Characterization, verification and computation of robust controlled invariants for monotone dynamical systems Adnane Saoud,Murat Arcak Mathematics of Control, Signals, and Systems, 2023, ⟨10.1007/s00498-023-00368-z⟩ Article dans une revue hal-04378176v1
Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach Louis Jouret,Adnane Saoud,Sorin Olaru IEEE Control Systems Letters, 2023, pp.1-1. ⟨10.1109/LCSYS.2023.3342088⟩ Article dans une revue hal-04355150v1
Asymptotic Error in Euler’s Method with a Constant Step Size Jawher Jerray,Adnane Saoud,Laurent Fribourg European Journal of Control, 2022, 68, pp.100694. ⟨10.1016/j.ejcon.2022.100694⟩ Article dans une revue hal-03816598v1
Learning-based symbolic abstractions for nonlinear control systems Kazumune Hashimoto,Adnane Saoud,Masako Kishida,Toshimitsu Ushio,Dimos Dimarogonas Automatica, 2022, 146, pp.110646. ⟨10.1016/j.automatica.2022.110646⟩ Article dans une revue hal-04378166v1
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
Using Euler's Method to Prove the Convergence of Neural Networks Jawher Jerray,Adnane Saoud,Laurent Fribourg IEEE Control Systems Letters, 2022, ⟨10.1109/lcsys.2022.3184040⟩ Article dans une revue hal-03816597v1
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
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
A Symbolic Approach to the Self-Triggered Design for Networked Control Systems Kazumune Hashimoto,Adnane Saoud,Masako Kishida,Toshimitsu Ushio,Dimos Dimarogonas IEEE Control Systems Letters, 2019, 3 (4), pp.1050-1055. ⟨10.1109/LCSYS.2019.2921616⟩ Article dans une revue hal-04435995v1
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

Communication dans un congrès (21)

Power management via STL specifications of a DC microgrid integrating renewables and storage devices: a smart railway station case study Yoshinari Takayama,Adnane Saoud,Alessio Iovine The 12th IFAC Symposium on Control of Power & Energy Systems (CPES 2024), Jul 2024, Rabat, Morocco. pp.502-508, ⟨10.1016/j.ifacol.2024.07.532⟩ Communication dans un congrès hal-04576820v2
Iterative Optimization-based Control of a Class of Mixed Logical Dynamical Systems with STL Specifications: A Case Study on Microgrids Yoshinari Takayama,Adnane Saoud,Alessio Iovine 8th IFAC Conference on Nonlinear Model Predictive Control (NMPC 2024), Aug 2024, Kyoto, Japan. pp.15-20, ⟨10.1016/j.ifacol.2024.09.003⟩ Communication dans un congrès hal-04548049v2
Compositional Approximately Bisimilar Abstractions of Interconnected Systems Belamfedel Alaoui Sadek,Pushpak Jagtap,Adnane Saoud 22nd World Congress of the International Federation of Automatic Control (IFAC 2023), Jul 2023, Yokohama, Japan. pp.10210-10215, ⟨10.1016/j.ifacol.2023.10.899⟩ Communication dans un congrès hal-04378167v1
Adaptive Control/Identification for Hybrid Systems Part I: with Bounded Discrete Regressor Mohamed Maghenem,Adnane Saoud,Antonio Loria ACC 2022 - American Control Conference, Jun 2022, Atlanta, GA, United States. ⟨10.23919/ACC53348.2022.9867398⟩ Communication dans un congrès hal-03789092v1
Adaptive Control/Identification for Hybrid Systems, Part II: with Linear-growth-order Discrete Regressor Mohamed Maghenem,Adnane Saoud,Antonio Loria ACC 2022 - American Control Conference, Jun 2022, Atlanta, GA, United States. ⟨10.23919/ACC53348.2022.9867414⟩ Communication dans un congrès hal-03789105v1
Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation Mohamed Maghenem,Antonio Loria,Adnane Saoud HSCC 2022 - 25th ACM International Conference on Hybrid Systems : Computation and Control, May 2022, Milan, Italy. ⟨10.1145/3501710.3519528⟩ Communication dans un congrès hal-03789071v1
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts Siyuan Liu,Adnane Saoud,Pushpak Jagtap,Dimos Dimarogonas,Majid Zamani 61st IEEE Conference on Decision and Control (CDC 2022), Dec 2022, Cancun, Mexico. pp.2184-2189, ⟨10.1109/CDC51059.2022.9992715⟩ Communication dans un congrès hal-04378169v1
Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes Sandeep Gorantla,Jeel Chatrola,Jay Bhagiya,Adnane Saoud,Pushpak Jagtap 2022 Eighth Indian Control Conference (ICC), Dec 2022, Chennai, India. pp.188-193, ⟨10.1109/ICC56513.2022.10093476⟩ Communication dans un congrès hal-04378174v1
Characterizations and Computation of Controlled Invariants for Monotone Dynamical Systems Adnane Saoud,Murat Arcak 61st IEEE Conference on Decision and Control (CDC 2022), Dec 2022, Cancun, Mexico. pp.4990-4995, ⟨10.1109/CDC51059.2022.9992752⟩ Communication dans un congrès hal-04378173v1
Constructing Symbolic Abstractions From Data Without Model Assumptions Alex Devonport,Adnane Saoud,Murat Arcak 2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS), May 2022, Milan, France. pp.9-10, ⟨10.1109/CAADCPS56132.2022.00015⟩ Communication dans un congrès hal-04435997v1
A Hybrid Gradient Algorithm for Linear Regression with Hybrid Signals Adnane Saoud,Mohamed Maghenem,Ricardo Sanfelice ACC 2021 - American Control Conference, May 2021, New Orleans, United States. pp.4997-5002, ⟨10.23919/ACC50511.2021.9483339⟩ Communication dans un congrès hal-03853763v1
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
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
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
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
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
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

Pré-publication, Document de travail (2)

User-friendly Implementation of Recurring Switching Rules via Temporal Logic: Industrial Power System Case Study Yoshinari Takayama,Adnane Saoud,Alessio Iovine,Guillaume Sandou 2025 Pré-publication, Document de travail hal-05402089v1
On Robust Controlled Invariants for Continuous-time Monotone Systems Emmanuel Junior Wafo Wembe,Adnane Saoud 2024 Pré-publication, Document de travail hal-04572695v1

Thèse (1)

Compositional and Efficient Controller Synthesis for Cyber-Physical Systems Adnane Saoud Automatic. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLC076⟩ Thèse tel-02317723v1