Adnane Saoud

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 50

Top Topics

Dynamical Systems

Invariance Properties

Scalable Distributed

Top Venues

IEEE Control. Syst. Lett.

Publications

Sadek Belamfedel Alaoui, Adnane Saoud
How to discretize continuous state-action spaces in Q-learning: A symbolic control approach. CoRR (2024)
Emmanuel Junior Wafo Wembe, Adnane Saoud
On Robust Controlled Invariants for Continuous-time Monotone Systems. CoRR (2024)
Berk Altiner, Adnane Saoud, Alex Caldas, Maria Makarov
Scenario Convex Programs for Dexterous Manipulation under Modeling Uncertainties. CoRR (2024)
Adnane Saoud, Murat Arcak
Characterization, verification and computation of robust controlled invariants for monotone dynamical systems. Math. Control. Signals Syst. 36 (1) (2024)
Sadek Belamfedel Alaoui, Adnane Saoud
Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties. CoRR (2024)
Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
Temporal Logic Resilience for Dynamical Systems. CoRR (2024)
Siyuan Liu, Adnane Saoud, Dimos V. Dimarogonas
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts. CoRR (2023)
Adnane Saoud, Murat Arcak
Characterization, Verification and Computation of Robust Controlled Invariants for Monotone Dynamical Systems. CoRR (2023)
Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
Temporal Logic Resilience for Cyber-Physical Systems. CDC (2023)
David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap
Controller Synthesis for Local and Global Specifications in Multi-Agent Systems. CoRR (2023)
David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap
Scalable Distributed Controller Synthesis for Multi-Agent Systems Using Barrier Functions and Symbolic Control. CDC (2023)
Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap, Abdalla Swikir
Symbolic Models for Interconnected Impulsive Systems. CDC (2023)
Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap, Abdalla Swikir
Symbolic Models for Interconnected Impulsive Systems. CoRR (2023)
Louis Jouret, Adnane Saoud, Sorin Olaru
Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach. IEEE Control. Syst. Lett. 7 (2023)
Louis Jouret, Adnane Saoud, Sorin Olaru
Safety verification of Neural-Network-based controllers: a set invariance approach. CoRR (2023)
Mohamed Maghenem, Adnane Saoud, Antonio Loría
Adaptive Control/Identification for Hybrid Systems Part I: with Bounded Discrete Regressor. ACC (2022)
Jawher Jerray, Adnane Saoud, Laurent Fribourg
Asymptotic error in Euler's method with a constant step size. Eur. J. Control 68 (2022)
Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. CDC (2022)
Mohamed Maghenem, Adnane Saoud, Antonio Loría
Adaptive Control/Identification for Hybrid Systems, Part II: with Linear-growth-order Discrete Regressor. ACC (2022)
Adnane Saoud, Murat Arcak
Characterizations and Computation of Controlled Invariants for Monotone Dynamical Systems. CDC (2022)
Mohamed Maghenem, Adnane Saoud, Antonio Loría
Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation. HSCC (2022)
Sandeep Gorantla, Jeel Chatrola, Jay Bhagiya, Adnane Saoud, Pushpak Jagtap
Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes. CoRR (2022)
Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. CoRR (2022)
Elena Ivanova, Adnane Saoud, Antoine Girard
Lazy controller synthesis for monotone transition systems and directed safety specifications. Autom. 135 (2022)
Stanley W. Smith, Adnane Saoud, Murat Arcak
Monotonicity-Based Symbolic Control for Safety in Driving Scenarios. IEEE Control. Syst. Lett. 6 (2022)
Jawher Jerray, Adnane Saoud, Laurent Fribourg
Using Euler's Method to Prove the Convergence of Neural Networks. IEEE Control. Syst. Lett. 6 (2022)
Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
Learning-based symbolic abstractions for nonlinear control systems. Autom. 146 (2022)
Belamfedel Alaoui Sadek, Saharsh, Pushpak Jagtap, Adnane Saoud
Compositional Approximately Bisimilar Abstractions of Interconnected Systems. CoRR (2022)
Alex Devonport, Adnane Saoud, Murat Arcak
Symbolic Abstractions From Data: A PAC Learning Approach. CDC (2021)
Adnane Saoud, Antoine Girard, Laurent Fribourg
Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems. IEEE Trans. Autom. Control. 66 (3) (2021)
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach. IEEE Trans. Control. Netw. Syst. 8 (2) (2021)
Alex Devonport, Adnane Saoud, Murat Arcak
Symbolic Abstractions From Data: A PAC Learning Approach. CoRR (2021)
Adnane Saoud, Antoine Girard, Laurent Fribourg
Assume-guarantee contracts for continuous-time systems. Autom. 134 (2021)
Ryan S. Johnson, Adnane Saoud, Ricardo G. Sanfelice
Robust Finite-Time Parameter Estimation for Linear Dynamical Systems. CDC (2021)
Adnane Saoud, Ricardo G. Sanfelice
Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control. ADHS (2021)
Masoumeh Ghanbarpour, Mohamed Maghenem, Adnane Saoud
Barrier Functions for Robust Safety in Differential Inclusions, Part I: Sufficient Conditions. CDC (2021)
Adnane Saoud, Mohamed Maghenem, Ricardo G. Sanfelice
A Hybrid Gradient Algorithm for Linear Regression with Hybrid Signals. ACC (2021)
Adnane Saoud, Ricardo G. Sanfelice
A Robust Hybrid Finite Time Parameter Estimator With Relaxed Persistence of Excitation Condition. ACC (2021)
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach. CoRR (2020)
Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
Learning-based Safe Symbolic Abstractions for Nonlinear Control Systems. CoRR (2020)
Adnane Saoud, Elena Ivanova, Antoine Girard
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications. CDC (2019)
Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg
A symbolic approach to voltage stability and power sharing in time-varying DC microgrids. ECC (2019)
Zohra Kader, Adnane Saoud, Antoine Girard
Safety controller design for incrementally stable switched systems using event-based symbolic models. ECC (2019)
Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
A Symbolic Approach to the Self-Triggered Design for Networked Control Systems. IEEE Control. Syst. Lett. 3 (4) (2019)
Zohra Kader, Antoine Girard, Adnane Saoud
Symbolic models for incrementally stable switched systems with aperiodic time sampling. ADHS (2018)
Adnane Saoud, Antoine Girard, Laurent Fribourg
Contract based Design of Symbolic Controllers for Vehicle Platooning. HSCC (2018)
Adnane Saoud, Antoine Girard
Optimal multirate sampling in symbolic models for incrementally stable switched systems. Autom. 98 (2018)
Adnane Saoud, Antoine Girard, Laurent Fribourg
On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance. ECC (2018)
Adnane Saoud, Antoine Girard, Laurent Fribourg
Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems. CDC (2018)
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. ADHS (2018)