الرئيسية › دليل الباحثين › Adnane Saoud
Adnane Saoud
الانتماء : Université Mohammed VI Polytechnique
- 47منشورات (انتماء مغربي)
- 103مجموع المنشورات
- 493الاستشهادات
- 12مؤشر h
الملف البحثي
لدى Adnane Saoud 47 منشور(ات) مفهرسة (2023–2026). تُنشر أعماله أساسًا في «arXiv (Cornell University)»، «IEEE Conference on Decision and Control (CDC)» و«IFAC-PapersOnLine». أكثر مقالاته استشهادًا هو «Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach» (2023)، وقد استُشهد به 8 مرة. 41 من هذه المنشورات تعود إلى آخر ثلاث سنوات من النشاط. شارك في تأليف أعماله 12 باحثًا على الأقل، منهم باحثون من مؤسسات في فرنسا.
هل هذا أنت؟ عرّف بأبحاثك
أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.
إنشاء ملفي المجاني إضافة منشوراتيمجالات البحث
- Formal Methods in Verification
- Advanced Control Systems Optimization
- Stability and Control of Uncertain Systems
- Petri Nets in System Modeling
- Control Systems and Identification
المنشورات (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
مجلات النشر
- 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
المنشورات حسب السنة
- 202617
- 202510
- 202414
- 20236
التعاون العلمي
المؤسسات الشريكة : CentraleSupélec · Centre National de la Recherche Scientifique · Mohammed V University · Laboratoire des signaux et systèmes · Université Paris-Saclay
بلدان المؤلفين المشاركين : فرنسا
المؤلفون المشاركون
- 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
البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).
لماذا تختارون Dzcademia؟
ملفات أكاديمية ومقالات ومداخلات علمية: امنحوا أبحاثكم حضوراً عاماً منظماً. تساعد البيانات الوصفية المدمجة محركات البحث ومساعدات الذكاء الاصطناعي على التعرف على أعمالكم وفهم مراجعها.
علّق عبر Google
سجّل الدخول عبر Google للتعليق مباشرة على هذه الصفحة.