Adnane Saoud

38
Documents
Identifiants chercheurs

Présentation

Publications

11
9
7
4
3
2
1
1
6
3
3
3
3
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
17
5
5
4
3
3
3
3
3
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
4
3
2
2
1
1
1
2
5
3
11
4
6
6
1
10
5
4
3
17
15
10
9
3
1
1

Publications

Deposit thumbnail

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

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
Deposit thumbnail

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

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

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

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
Deposit thumbnail

Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications

Elena A. Ivanova , Adnane Saoud , Antoine Girard Article dans une revue hal-02933023v2
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Assume-guarantee contracts for continuous-time systems

Adnane Saoud , Antoine Girard , Laurent Fribourg 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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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