Adnane Saoud

80 papers A* 1C 6Misc 1Journal 41Unranked 31
YearRankTypeTitle / Venue / Authors
2026 — conf
ART: Attention-Regularized Transformers for Multi-Modal Robustness.
EACL (Findings)
Mohammed Bouri, Mohammed Erradi, Adnane Saoud
2026 A* conf
Just Few States Are Enough: Randomized Sparse Feedback for Stability of Dynamical Systems.
AAAI
Zaid Hadach, Hajar El Hammouti, El Houcine Bergou, Adnane Saoud
2026 J jnl
Robust Hybrid Finite-Time Parameter Estimation Without Persistence of Excitation.
CoRR
Adnane Saoud, Ryan S. Johnson, Ricardo G. Sanfelice
2026 J jnl
Small-gain theorem-based stability analysis of two-dimensional systems with time delays.
J. Frankl. Inst.
Sadek Belamfedel Alaoui, Adnane Saoud, Abdelaziz Hmamed, Alejandro J. Rojas, El Houssaine Tissir
2026 J jnl
Temporal Logic Resilience for Dynamical Systems.
IEEE Trans. Autom. Control.
Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
2026 C ed.
Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings
ICTAC
Zhiming Liu, Adnane Saoud, Heike Wehrheim
2025 — conf
An optimal-control framework for reaction diffusion systems with application to synthetic developmental biology.
CDC
Mohamed Amine Ouchdiri, Hamza Faquir, Saad Benjelloun, Mohamed Maghenem, Irene Otero-Muras, Adnane Saoud
2025 — conf
Bridging Robustness and Generalization Against Word Substitution Attacks in NLP via the Growth Bound Matrix Approach.
ACL (Findings)
Mohammed Bouri, Adnane Saoud
2025 J jnl
Bridging Robustness and Generalization Against Word Substitution Attacks in NLP via the Growth Bound Matrix Approach.
CoRR
Mohammed Bouri, Adnane Saoud
2025 — conf
Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach.
CDC
Negar Monir, Youssef Ait Si, Ratnangshu Das, Pushpak Jagtap, Adnane Saoud, Sadegh Soudjani
2025 J jnl
Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach.
CoRR
Negar Monir, Youssef Ait Si, Ratnangshu Das, Pushpak Jagtap, Adnane Saoud, Sadegh Soudjani
2025 J jnl
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multiagent Systems via Assume-Guarantee Contracts.
IEEE Trans. Autom. Control.
Siyuan Liu, Adnane Saoud, Dimos V. Dimarogonas
2025 J jnl
Just Few States are Enough: Randomized Sparse Feedback for Stability of Dynamical Systems.
CoRR
Zaid Hadach, Hajar El Hammouti, El Houcine Bergou, Adnane Saoud
2025 J jnl
Learning-Based Robust Fixed-Time Terminal Sliding Mode Control.
CoRR
Chaimae El Mortajine, Moussa Labbadi, Adnane Saoud, Mostafa Bouzi
2025 — conf
Maximally Resilient Controllers under Temporal Logic Specifications.
CDC
Youssef Ait Si, Ratnangshu Das, Negar Monir, Sadegh Soudjani, Pushpak Jagtap, Adnane Saoud
2025 J jnl
Maximally Resilient Controllers under Temporal Logic Specifications.
CoRR
Youssef Ait Si, Ratnangshu Das, Negar Monir, Sadegh Soudjani, Pushpak Jagtap, Adnane Saoud
2025 — conf
Nagumo-Type Characterization of Forward Invariance for Constrained Systems.
CDC
Olayo Reynaud, Mohamed Maghenem, Adnane Saoud, Sadek Belamfedel Alaoui, Ahmad Hably
2025 J jnl
Sufficient conditions for robust safety in differential inclusions using barrier functions.
Autom.
Mohamed Adlene Maghenem, Masoumeh Ghanbarpour Mamaghani, Adnane Saoud
2025 J jnl
Symbolic Control: Unveiling Free Robustness Margins.
CoRR
Youssef Ait Si, Antoine Girard, Adnane Saoud
2025 J jnl
Symbolic control: Unveiling free robustness margins.
Eur. J. Control
Youssef Ait Si, Antoine Girard, Adnane Saoud
2024 — conf
A Q-Learning Approach to Model-Free Infinite Horizon Control For Linear Time Delay Systems.
CDC
Zineb Benhmidouch, Sadek Belamfedel Alaoui, Ahmed Abbou, Adnane Saoud
2024 J jnl
Characterization, verification and computation of robust controlled invariants for monotone dynamical systems.
Math. Control. Signals Syst.
Adnane Saoud, Murat Arcak
2024 — conf
Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties.
ADHS
Sadek Belamfedel Alaoui, Adnane Saoud
2024 J jnl
Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties.
CoRR
Sadek Belamfedel Alaoui, Adnane Saoud
2024 C conf
Data-Driven Control of Adaptive Cruise Control Systems Using Differential Flatness and Gaussian Processes.
ACC
Bhavini Jeloka, Florentina Nicolau, Adnane Saoud, Ravi N. Banavar
2024 — conf
Energy Efficient Aerial RIS: Phase Shift Optimization and Trajectory Design.
VTC Spring
Hajar El Hammouti, Adnane Saoud, Asma Ennahkami, El Houcine Bergou
2024 — conf
How To Discretize Continuous State-Action Spaces in Q-Learning: A Symbolic Control Approach.
CDC
Sadek Belamfedel Alaoui, Adnane Saoud
2024 J jnl
How to discretize continuous state-action spaces in Q-learning: A symbolic control approach.
CoRR
Sadek Belamfedel Alaoui, Adnane Saoud
2024 J jnl
Hybrid Persistency of Excitation in Adaptive Estimation for Hybrid Systems.
IEEE Trans. Autom. Control.
Adnane Saoud, Mohamed Maghenem, Antonio Loría, Ricardo G. Sanfelice
2024 — conf
Necessary and sufficient Conditions of Forward Invariance in Hybrid Dnamical Systems: An LMI Approach.
ADHS
Sadek Belamfedel Alaoui, Adnane Saoud
2024 — conf
On Robust Controlled Invariants for Continuous-time Monotone Systems.
ADHS
Emmanuel Wafo Wembe Jr., Adnane Saoud
2024 J jnl
On Robust Controlled Invariants for Continuous-time Monotone Systems.
CoRR
Emmanuel Junior Wafo Wembe, Adnane Saoud
2024 — conf
Scenario Convex Programs for Dexterous Manipulation under Modeling Uncertainties.
CASE
Berk Altiner, Adnane Saoud, Alex Caldas, Maria Makarov
2024 J jnl
Scenario Convex Programs for Dexterous Manipulation under Modeling Uncertainties.
CoRR
Berk Altiner, Adnane Saoud, Alex Caldas, Maria Makarov
2024 J jnl
Temporal Logic Resilience for Dynamical Systems.
CoRR
Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
2024 Misc conf
Trajectory Tracking for an Adaptive Cruise Control System Using Differential Flatness and Gaussian Processes.
MMAR
Bhavini Jeloka, Florentina Nicolau, Adnane Saoud, Ravi N. Banavar
2023 J jnl
Characterization, Verification and Computation of Robust Controlled Invariants for Monotone Dynamical Systems.
CoRR
Adnane Saoud, Murat Arcak
2023 J jnl
Controller Synthesis for Local and Global Specifications in Multi-Agent Systems.
CoRR
David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap
2023 J jnl
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts.
CoRR
Siyuan Liu, Adnane Saoud, Dimos V. Dimarogonas
2023 J jnl
Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach.
IEEE Control. Syst. Lett.
Louis Jouret, Adnane Saoud, Sorin Olaru
2023 J jnl
Safety verification of Neural-Network-based controllers: a set invariance approach.
CoRR
Louis Jouret, Adnane Saoud, Sorin Olaru
2023 — conf
Scalable Distributed Controller Synthesis for Multi-Agent Systems Using Barrier Functions and Symbolic Control.
CDC
David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap
2023 — conf
Symbolic Models for Interconnected Impulsive Systems.
CDC
Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap, Abdalla Swikir
2023 J jnl
Symbolic Models for Interconnected Impulsive Systems.
CoRR
Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap, Abdalla Swikir
2023 — conf
Temporal Logic Resilience for Cyber-Physical Systems.
CDC
Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
2022 C conf
Adaptive Control/Identification for Hybrid Systems Part I: with Bounded Discrete Regressor.
ACC
Mohamed Maghenem, Adnane Saoud, Antonio Loría
2022 C conf
Adaptive Control/Identification for Hybrid Systems, Part II: with Linear-growth-order Discrete Regressor.
ACC
Mohamed Maghenem, Adnane Saoud, Antonio Loría
2022 J jnl
Asymptotic error in Euler's method with a constant step size.
Eur. J. Control
Jawher Jerray, Adnane Saoud, Laurent Fribourg
2022 — conf
Characterizations and Computation of Controlled Invariants for Monotone Dynamical Systems.
CDC
Adnane Saoud, Murat Arcak
2022 J jnl
Compositional Approximately Bisimilar Abstractions of Interconnected Systems.
CoRR
Sadek Belamfedel Alaoui, Saharsh, Pushpak Jagtap, Adnane Saoud
2022 — conf
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts.
CDC
Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
2022 J jnl
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts.
CoRR
Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
2022 — conf
Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation.
HSCC
Mohamed Maghenem, Adnane Saoud, Antonio Loría
2022 J jnl
Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes.
CoRR
Sandeep Gorantla, Jeel Chatrola, Jay Bhagiya, Adnane Saoud, Pushpak Jagtap
2022 J jnl
Lazy controller synthesis for monotone transition systems and directed safety specifications.
Autom.
Elena Ivanova, Adnane Saoud, Antoine Girard
2022 J jnl
Learning-based symbolic abstractions for nonlinear control systems.
Autom.
Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
2022 J jnl
Monotonicity-Based Symbolic Control for Safety in Driving Scenarios.
IEEE Control. Syst. Lett.
Stanley W. Smith, Adnane Saoud, Murat Arcak
2022 J jnl
Using Euler's Method to Prove the Convergence of Neural Networks.
IEEE Control. Syst. Lett.
Jawher Jerray, Adnane Saoud, Laurent Fribourg
2021 C conf
A Hybrid Gradient Algorithm for Linear Regression with Hybrid Signals.
ACC
Adnane Saoud, Mohamed Maghenem, Ricardo G. Sanfelice
2021 C conf
A Robust Hybrid Finite Time Parameter Estimator With Relaxed Persistence of Excitation Condition.
ACC
Adnane Saoud, Ricardo G. Sanfelice
2021 J jnl
Assume-guarantee contracts for continuous-time systems.
Autom.
Adnane Saoud, Antoine Girard, Laurent Fribourg
2021 — conf
Barrier Functions for Robust Safety in Differential Inclusions, Part I: Sufficient Conditions.
CDC
Masoumeh Ghanbarpour, Mohamed Maghenem, Adnane Saoud
2021 J jnl
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach.
IEEE Trans. Control. Netw. Syst.
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
2021 — conf
Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control.
ADHS
Adnane Saoud, Ricardo G. Sanfelice
2021 J jnl
Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems.
IEEE Trans. Autom. Control.
Adnane Saoud, Antoine Girard, Laurent Fribourg
2021 — conf
Robust Finite-Time Parameter Estimation for Linear Dynamical Systems.
CDC
Ryan S. Johnson, Adnane Saoud, Ricardo G. Sanfelice
2021 — conf
Symbolic Abstractions From Data: A PAC Learning Approach.
CDC
Alex Devonport, Adnane Saoud, Murat Arcak
2021 J jnl
Symbolic Abstractions From Data: A PAC Learning Approach.
CoRR
Alex Devonport, Adnane Saoud, Murat Arcak
2020 J jnl
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach.
CoRR
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
2020 J jnl
Learning-based Safe Symbolic Abstractions for Nonlinear Control Systems.
CoRR
Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
2019 J jnl
A Symbolic Approach to the Self-Triggered Design for Networked Control Systems.
IEEE Control. Syst. Lett.
Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
2019 — conf
A symbolic approach to voltage stability and power sharing in time-varying DC microgrids.
ECC
Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg
2019 — conf
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications.
CDC
Adnane Saoud, Elena Ivanova, Antoine Girard
2019 — conf
Safety controller design for incrementally stable switched systems using event-based symbolic models.
ECC
Zohra Kader, Adnane Saoud, Antoine Girard
2018 — conf
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems.
ADHS
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
2018 — conf
Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems.
CDC
Adnane Saoud, Antoine Girard, Laurent Fribourg
2018 — conf
Contract based Design of Symbolic Controllers for Vehicle Platooning.
HSCC
Adnane Saoud, Antoine Girard, Laurent Fribourg
2018 — conf
On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance.
ECC
Adnane Saoud, Antoine Girard, Laurent Fribourg
2018 J jnl
Optimal multirate sampling in symbolic models for incrementally stable switched systems.
Autom.
Adnane Saoud, Antoine Girard
2018 — conf
Symbolic models for incrementally stable switched systems with aperiodic time sampling.
ADHS
Zohra Kader, Antoine Girard, Adnane Saoud