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
575
 
H-index
15
 
i10-index
15
 
Publications
20
 
Co-authors
25
list available
Contact
No contact links provided.
Publications
4 items
Safety by Invariance, Liveness through Refinement: Heterogeneous Contract Framework for Co-Design of Layered Control
2026
Cited
0
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)
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