Adnane Saoud
Scholar

Adnane Saoud

Google Scholar ID: vezWFn4AAAAJ
University of California, Berkeley
Cyber-physical systemsControl theoryCompositional analysis and synthesis of interconnected systemsFormal methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
519
 
H-index
13
 
i10-index
15
 
Publications
20
 
Co-authors
25
list available
Contact
CVOpen ↗LinkedInOpen ↗
Publications
3 items
Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
2025
Cited
0
Bridging Robustness and Generalization Against Word Substitution Attacks in NLP via the Growth Bound Matrix Approach
2025
Cited
0
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
arXiv.org · 2023
Cited
0
Resume (English only)
Academic Achievements
  • - August 2022: Paper titled 'Using Euler’s Method to Prove the Convergence of Neural Networks' accepted at IEEE Control System Letters (LCSS).
  • - August 2022: Paper titled 'Learning-based Symbolic Abstractions for Nonlinear Control Systems' accepted at Automatica.
  • - July 2022: Three papers/presentations accepted at the 61th IEEE conference on Decision and Control.
  • - May 2022: Paper titled 'Asymptotic Error in Euler’s Method with a Constant Step Size' accepted at the European Journal of Control (EJC).
  • - June 2021: Selected as one of the three finalists for the EECI PhD award, recompensing the best PhD works in Europe in the field of Control for Complex and Heterogeneous Systems.
Research Experience
  • - 2020: Postdoctoral researcher in the Electrical and Computer Engineering Department at the University of California, Santa Cruz, under the supervision of Ricardo Sanfelice.
  • - 2021: Postdoctoral researcher in the EECS Department at the University of California, Berkeley, under the supervision of Murat Arcak.
  • - Currently, an Associate Professor (Maître de conférences) at CentraleSupélec, University Paris-Saclay, France.
Education
  • - 2014: Engineering degree in Electrical Engineering from Ecole Mohammadia d’ingénieurs, EMI, Rabat, Morocco.
  • - 2016: M.S. degree in Control Theory from Université Paris-Saclay, Paris, France.
  • - 2017-2019: PhD titled 'Compositional and efficient controller synthesis for cyber-physical systems' at CentraleSupélec under the supervision of Antoine Girard (Laboratoire des signaux et systèmes, L2S, CentraleSupelec) and Laurent Fribourg (Laboratoire de spécification et vérification, LSV, ENS Paris-Saclay).
Background
  • Research interests include: cyber-physical systems, learning-based control, automated verification and synthesis of control systems, formal methods, compositional analysis and synthesis of interconnected systems, adaptive control. Applications in smart buildings, autonomous vehicles, robotics, and power systems.
Miscellany
  • Contact information:
  • - Email: adnane.saoud@centralesupelec.fr
  • - Address: CentraleSupélec, 3 Rue Joliot Curie, 91190 Gif-sur-Yvette, France
Co-authors
25 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Pushpak Jagtap
Pushpak Jagtap
Assistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, India
Co-author 4
Co-author 4
Dimos Dimarogonas
Dimos Dimarogonas
KTH Royal Institute of Technology
Co-author 6
Co-author 6
Ricardo G. Sanfelice
Ricardo G. Sanfelice
Professor of Electrical and Computer Engineering, University of California, Santa Cruz
Majid Zamani
Majid Zamani
Associate Professor, University of Colorado Boulder