Home › Researcher directory › Adnane Saoud
Adnane Saoud
Affiliation : Université Mohammed VI Polytechnique
- 47Publications (affiliation in Morocco)
- 103Total publications
- 493Citations
- 12h-index
Research profile
Adnane Saoud has 47 indexed publications (2023–2026). Their work appears mainly in “arXiv (Cornell University)”, “IEEE Conference on Decision and Control (CDC)” and “IFAC-PapersOnLine”. Their most cited article, “Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach” (2023), has been cited 8 times. 41 of these publications date from the last three years of activity. Their work is co-authored with at least 12 researchers, including institutions in France.
Is this you? Get your research seen
Create your free DzCademia profile and add your articles: they will show up more easily on Google and in AI assistants like ChatGPT, so more people can read and cite your work.
Create my free profile Add my publicationsResearch areas
- Formal Methods in Verification
- Advanced Control Systems Optimization
- Stability and Control of Uncertain Systems
- Petri Nets in System Modeling
- Control Systems and Identification
Publications (47)
- Just Few States Are Enough: Randomized Sparse Feedback for Stability of Dynamical Systems
- Robust Hybrid Finite-Time Parameter Estimation Without Persistence of Excitation
- Just Few States Are Enough: Randomized Sparse Feedback for Stability of Dynamical Systems
- ART: Attention-Regularized Transformers for Multi-Modal Robustness
- Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
- Temporal Logic Resilience for Continuous-time Systems
- ART: Attention-Regularized Transformers for Multi-Modal Robustness
- $H^2$ Stabilization of the $2$-D and $3$-D Heat Equation via Modal Decomposition
- Safety by Invariance, Liveness through Refinement: Heterogeneous Contract Framework for Co-Design of Layered Control
- Temporal logic resilience for continuous-time systems
- Runtime verifiable implementation of recurring switching rules via Signal Temporal Logic: Industrial power system case study
- S-GBT: Smooth Growth Bound Tensor for Certified Robustness Against Word Substitution Attacks in NLP
- Specification-aware Robustness Margins for Symbolic Controllers
- Certified Reachable Sets for Nonlinear Reaction–Diffusion Systems
- How Much Spatial Control Is Enough? Subdomain Optimal Control of Reaction-Diffusion Systems in Synthetic Developmental Biology
- Safe Deep Reinforcement Learning for Energy-Efficient HVAC Control in Multi-Zone Residential Buildings
- Compositional Approximately Bisimilar Abstractions of Stochastic Interconnected Systems
- Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multiagent Systems via Assume-Guarantee Contracts
- Turing patterns in a morphogenetic model with single regulatory function
- An optimal-control framework for reaction diffusion systems with application to synthetic developmental biology
- Learning-Based Robust Fixed-Time Terminal Sliding Mode Control
- Symbolic control: Unveiling free robustness margins
- Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
- Maximally Resilient Controllers under Temporal Logic Specifications
- Bridging Robustness and Generalization Against Word Substitution Attacks in NLP via the Growth Bound Matrix Approach
- User-friendly Implementation of Recurring Switching Rules via Temporal Logic: Industrial Power System Case Study
- Nagumo-Type Characterization of Forward Invariance for Constrained Systems
- Sufficient conditions for robust safety in differential inclusions using barrier functions
- Hybrid Persistency of Excitation in Adaptive Estimation for Hybrid Systems
- Energy Efficient Aerial RIS: Phase Shift Optimization and Trajectory Design
- How To Discretize Continuous State-Action Spaces in Q-Learning: A Symbolic Control Approach
- Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties
- Iterative Optimization-based Control of a Class of Mixed Logical Dynamical Systems with STL Specifications: A Case Study on Microgrids
- Power management via STL specifications of a DC microgrid integrating renewables and storage devices: a smart railway station case study
- Data-Driven Control of Adaptive Cruise Control Systems Using Differential Flatness and Gaussian Processes
- On Robust Controlled Invariants for Continuous-time Monotone Systems
- On Robust Controlled Invariants for Continuous-time Monotone Systems
- Necessary and sufficient Conditions of Forward Invariance in Hybrid Dnamical Systems: An LMI Approach*
- Trajectory Tracking for an Adaptive Cruise Control System Using Differential Flatness and Gaussian Processes
- Scenario Convex Programs for Dexterous Manipulation under Modeling Uncertainties
- A Q-Learning Approach to Model-Free Infinite Horizon Control For Linear Time Delay Systems
- Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach
- Temporal Logic Resilience for Cyber-Physical Systems
- Characterization, verification and computation of robust controlled invariants for monotone dynamical systems
- Compositional Approximately Bisimilar Abstractions of Interconnected Systems
- Scalable Distributed Controller Synthesis for Multi-Agent Systems Using Barrier Functions and Symbolic Control
- Symbolic Models for Interconnected Impulsive Systems
Publication venues
- arXiv (Cornell University) × 10
- IEEE Conference on Decision and Control (CDC) × 9
- IFAC-PapersOnLine × 6
- Underline Science Inc. × 2
- Nonlinear Analysis Hybrid Systems × 2
- IEEE Control Systems Letters × 2
Publications per year
- 202617
- 202510
- 202414
- 20236
Collaborations
Partner institutions : CentraleSupélec · Centre National de la Recherche Scientifique · Mohammed V University · Laboratoire des signaux et systèmes · Université Paris-Saclay
Co-authors’ countries : France
Co-authors
- Sadek Belamfedel Alaoui
- Mohammed Bouri
- Youssef Ait Si
- Mohamed Amine Ouchdiri
- El Houcine Bergou
- M. Erradi
- S Benjelloun
- Hajar El Hammouti
- Oussama Ziadi
- Hadach Zaid
- S. B. Alaoui
- Negar Monir
Bibliographic data from OpenAlex (open database).
Why choose Dzcademia?
Profiles, articles and conference contributions: give your research a structured public presence. Integrated metadata help search engines and AI assistants identify your work and understand its references.
Comment with Google
Sign in with Google to comment directly on this page.