Symbolic models for incrementally stable switched systems with aperiodic time sampling. - Zohra Kader; Antoine Girard; Adnane Saoud (ADHS, 2018)

Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. - Adnane Saoud; Pushpak Jagtap; Majid Zamani 001; Antoine Girard (ADHS, 2018)

Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems. - Adnane Saoud; Antoine Girard; Laurent Fribourg (CDC, 2018)

On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance. - Adnane Saoud; Antoine Girard; Laurent Fribourg (ECC, 2018)

Contract based Design of Symbolic Controllers for Vehicle Platooning. - Adnane Saoud; Antoine Girard; Laurent Fribourg (HSCC, 2018)

Optimal multirate sampling in symbolic models for incrementally stable switched systems. - Adnane Saoud; Antoine Girard (Autom., 2018)

Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications. - Adnane Saoud; Elena Ivanova; Antoine Girard (CDC, 2019)

Safety controller design for incrementally stable switched systems using event-based symbolic models. - Zohra Kader; Adnane Saoud; Antoine Girard (ECC, 2019)

A symbolic approach to voltage stability and power sharing in time-varying DC microgrids. - Daniele Zonetti; Adnane Saoud; Antoine Girard; Laurent Fribourg (ECC, 2019)

A Symbolic Approach to the Self-Triggered Design for Networked Control Systems. - Kazumune Hashimoto; Adnane Saoud; Masako Kishida; Toshimitsu Ushio; Dimos V. Dimarogonas (IEEE Control. Syst. Lett., 2019)

Learning-based Safe Symbolic Abstractions for Nonlinear Control Systems. - Kazumune Hashimoto; Adnane Saoud; Masako Kishida; Toshimitsu Ushio; Dimos V. Dimarogonas (CoRR, 2020)

Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control. - Adnane Saoud; Ricardo G. Sanfelice (ADHS, 2021)

A Hybrid Gradient Algorithm for Linear Regression with Hybrid Signals. - Adnane Saoud; Mohamed Maghenem; Ricardo G. Sanfelice (ACC, 2021)

A Robust Hybrid Finite Time Parameter Estimator With Relaxed Persistence of Excitation Condition. - Adnane Saoud; Ricardo G. Sanfelice (ACC, 2021)

Symbolic Abstractions From Data: A PAC Learning Approach. - Alex Devonport; Adnane Saoud; Murat Arcak (CDC, 2021)

Barrier Functions for Robust Safety in Differential Inclusions, Part I: Sufficient Conditions. - Masoumeh Ghanbarpour; Mohamed Maghenem; Adnane Saoud (CDC, 2021)

Robust Finite-Time Parameter Estimation for Linear Dynamical Systems. - Ryan S. Johnson; Adnane Saoud; Ricardo G. Sanfelice (CDC, 2021)

Assume-guarantee contracts for continuous-time systems. - Adnane Saoud; Antoine Girard; Laurent Fribourg (Autom., 2021)

Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems. - Adnane Saoud; Antoine Girard; Laurent Fribourg (IEEE Trans. Autom. Control., 2021)

Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach. - Adnane Saoud; Pushpak Jagtap; Majid Zamani 001; Antoine Girard (IEEE Trans. Control. Netw. Syst., 2021)

Adaptive Control/Identification for Hybrid Systems Part I: with Bounded Discrete Regressor. - Mohamed Maghenem; Adnane Saoud; Antonio Loría (ACC, 2022)

Adaptive Control/Identification for Hybrid Systems, Part II: with Linear-growth-order Discrete Regressor. - Mohamed Maghenem; Adnane Saoud; Antonio Loría (ACC, 2022)

Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. - Siyuan Liu 002; Adnane Saoud; Pushpak Jagtap; Dimos V. Dimarogonas; Majid Zamani 001 (CDC, 2022)

Characterizations and Computation of Controlled Invariants for Monotone Dynamical Systems. - Adnane Saoud; Murat Arcak (CDC, 2022)

Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation. - Mohamed Maghenem; Adnane Saoud; Antonio Loría (HSCC, 2022)

Learning-based symbolic abstractions for nonlinear control systems. - Kazumune Hashimoto; Adnane Saoud; Masako Kishida; Toshimitsu Ushio; Dimos V. Dimarogonas (Autom., 2022)

Lazy controller synthesis for monotone transition systems and directed safety specifications. - Elena Ivanova; Adnane Saoud; Antoine Girard (Autom., 2022)

Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes. - Sandeep Gorantla; Jeel Chatrola; Jay Bhagiya; Adnane Saoud; Pushpak Jagtap (CoRR, 2022)

Compositional Approximately Bisimilar Abstractions of Interconnected Systems. - Sadek Belamfedel Alaoui; Saharsh; Pushpak Jagtap; Adnane Saoud (CoRR, 2022)

Using Euler's Method to Prove the Convergence of Neural Networks. - Jawher Jerray; Adnane Saoud; Laurent Fribourg (IEEE Control. Syst. Lett., 2022)

Monotonicity-Based Symbolic Control for Safety in Driving Scenarios. - Stanley W. Smith; Adnane Saoud; Murat Arcak (IEEE Control. Syst. Lett., 2022)

Asymptotic error in Euler's method with a constant step size. - Jawher Jerray; Adnane Saoud; Laurent Fribourg (Eur. J. Control, 2022)

Symbolic Models for Interconnected Impulsive Systems. - Sadek Belamfedel Alaoui; Adnane Saoud; Pushpak Jagtap; Abdalla Swikir (CDC, 2023)

Temporal Logic Resilience for Cyber-Physical Systems. - Adnane Saoud; Pushpak Jagtap; Sadegh Soudjani (CDC, 2023)

Scalable Distributed Controller Synthesis for Multi-Agent Systems Using Barrier Functions and Symbolic Control. - David Smith Sundarsingh; Jay Bhagiya; Saharsh; Jeel Chatrola; Adnane Saoud; Pushpak Jagtap (CDC, 2023)

Controller Synthesis for Local and Global Specifications in Multi-Agent Systems. - David Smith Sundarsingh; Jay Bhagiya; Saharsh; Jeel Chatrola; Adnane Saoud; Pushpak Jagtap (CoRR, 2023)

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts. - Siyuan Liu 002; Adnane Saoud; Dimos V. Dimarogonas (CoRR, 2023)

Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach. - Louis Jouret; Adnane Saoud; Sorin Olaru (IEEE Control. Syst. Lett., 2023)

Necessary and sufficient Conditions of Forward Invariance in Hybrid Dnamical Systems: An LMI Approach. - Sadek Belamfedel Alaoui; Adnane Saoud (ADHS, 2024)

Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties. - Sadek Belamfedel Alaoui; Adnane Saoud (ADHS, 2024)

On Robust Controlled Invariants for Continuous-time Monotone Systems. - Emmanuel Wafo Wembe Jr.; Adnane Saoud (ADHS, 2024)

Data-Driven Control of Adaptive Cruise Control Systems Using Differential Flatness and Gaussian Processes. - Bhavini Jeloka; Florentina Nicolau; Adnane Saoud; Ravi N. Banavar (ACC, 2024)

Scenario Convex Programs for Dexterous Manipulation under Modeling Uncertainties. - Berk Altiner; Adnane Saoud; Alex Caldas; Maria Makarov (CASE, 2024)

How To Discretize Continuous State-Action Spaces in Q-Learning: A Symbolic Control Approach. - Sadek Belamfedel Alaoui; Adnane Saoud (CDC, 2024)

A Q-Learning Approach to Model-Free Infinite Horizon Control For Linear Time Delay Systems. - Zineb Benhmidouch; Sadek Belamfedel Alaoui; Ahmed Abbou; Adnane Saoud (CDC, 2024)

Trajectory Tracking for an Adaptive Cruise Control System Using Differential Flatness and Gaussian Processes. - Bhavini Jeloka; Florentina Nicolau; Adnane Saoud; Ravi N. Banavar (MMAR, 2024)

Energy Efficient Aerial RIS: Phase Shift Optimization and Trajectory Design. - Hajar El Hammouti; Adnane Saoud; Asma Ennahkami; El Houcine Bergou (VTC Spring, 2024)

Temporal Logic Resilience for Dynamical Systems. - Adnane Saoud; Pushpak Jagtap; Sadegh Soudjani (CoRR, 2024)

On Robust Controlled Invariants for Continuous-time Monotone Systems. - Emmanuel Junior Wafo Wembe; Adnane Saoud (CoRR, 2024)

Characterization, verification and computation of robust controlled invariants for monotone dynamical systems. - Adnane Saoud; Murat Arcak (Math. Control. Signals Syst., 2024)

Hybrid Persistency of Excitation in Adaptive Estimation for Hybrid Systems. - Adnane Saoud; Mohamed Maghenem; Antonio Loría; Ricardo G. Sanfelice (IEEE Trans. Autom. Control., 2024)

Bridging Robustness and Generalization Against Word Substitution Attacks in NLP via the Growth Bound Matrix Approach. - Mohammed Bouri; Adnane Saoud (ACL (Findings), 2025)

Sufficient conditions for robust safety in differential inclusions using barrier functions. - Mohamed Adlene Maghenem; Masoumeh Ghanbarpour Mamaghani; Adnane Saoud (Autom., 2025)

Learning-Based Robust Fixed-Time Terminal Sliding Mode Control. - Chaimae El Mortajine; Moussa Labbadi; Adnane Saoud; Mostafa Bouzi (CoRR, 2025)

Symbolic Control: Unveiling Free Robustness Margins. - Youssef Ait Si; Antoine Girard; Adnane Saoud (CoRR, 2025)