Accueil › Annuaire des chercheurs › Adnane Saoud
Adnane Saoud
Affiliation : Université Mohammed VI Polytechnique
- 47Publications (affiliation marocaine)
- 103Publications au total
- 493Citations
- 12Indice h
Profil de recherche
Adnane Saoud compte 47 publications référencées (2023–2026). Ses travaux paraissent principalement dans « arXiv (Cornell University) », « IEEE Conference on Decision and Control (CDC) » et « IFAC-PapersOnLine ». Son article le plus cité, « Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach » (2023), a été cité 8 fois. 41 de ces publications datent des trois dernières années d’activité. Ses travaux sont cosignés avec au moins 12 chercheurs, notamment dans des établissements de France.
C’est vous ? Faites connaître vos travaux
Créez gratuitement votre profil DzCademia et ajoutez vos articles : ils apparaîtront plus facilement sur Google et dans les assistants d’IA comme ChatGPT. Plus de personnes pourront vous lire et vous citer.
Créer mon profil gratuit Ajouter mes publicationsDomaines de recherche
- 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
Revues de publication
- 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 par année
- 202617
- 202510
- 202414
- 20236
Collaborations
Établissements partenaires : CentraleSupélec · Centre National de la Recherche Scientifique · Mohammed V University · Laboratoire des signaux et systèmes · Université Paris-Saclay
Pays des co-auteurs : France
Co-auteurs
- 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
Données bibliographiques issues d’OpenAlex (base ouverte).
Pourquoi choisir Dzcademia ?
Pour donner à vos travaux plus de chances d’être découverts et recommandés par les IA. Profils, articles et communications : donnez à votre recherche une présence publique structurée. Les métadonnées intégrées aident les moteurs de recherche et les assistants IA à identifier vos travaux et à comprendre leurs références.
Commenter avec Google
Connecte-toi avec Google pour commenter directement sur cette page.