Adnane Saoud

Cited by

	All	Since 2019
Citations	473	465
h-index	14	14
i10-index	15	15

120

20182019202020212022202320247 47 36 71 89 103 110

Public access

View all

36 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Antoine GirardSenior Researcher, L2S, CNRSVerified email at l2s.centralesupelec.fr
Laurent FRIBOURGLMF - ENS Paris-Saclay & CNRSVerified email at lsv.fr
Pushpak JagtapAssistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, IndiaVerified email at iisc.ac.in
Mohamed MaghenemCNRS, FranceVerified email at gipsa-lab.fr
Dimos DimarogonasKTH Royal Institute of TechnologyVerified email at kth.se
Murat ArcakProfessor of Electrical Engineering and Computer ScienceVerified email at eecs.berkeley.edu
Ricardo G. SanfeliceProfessor of Electrical and Computer Engineering, University of California, Santa CruzVerified email at ucsc.edu
Majid ZamaniAssociate Professor, University of Colorado BoulderVerified email at colorado.edu
Hashimoto KazumuneAssociate Professor (Lecturer), Osaka UniversityVerified email at z5.keio.jp
Daniele ZonettiCITCEA - Universitat Politècnica de CatalunyaVerified email at upc.edu
Antonio LoriaCNRS, FranceVerified email at centralesupelec.fr
Siyuan Liu (刘思源)Postdoctoral researcher, KTH Royal Institute of TechnologyVerified email at kth.se
BELAMFEDEL ALAOUI SadekMohammed VI Polytechnic UniversityVerified email at um6p.ma
Zohra KaderAssociate Professor at ENSEEIHT, Toulouse INPVerified email at laplace.univ-tlse.fr
Jeel ChatrolaMS in Robotics at Worcester Polytechnic InstituteVerified email at wpi.edu
Jay BhagiyaResearch Assistant, Indian Institute of ScienceVerified email at iisc.ac.in
Sadegh SoudjaniMax Planck Institute for Software SystemsVerified email at mpi-sws.org
Abdalla SwikirSenior Scientist/Teaching Coordinator, RSI, MIRMI, TUMVerified email at tum.de
Sorin OlaruProfessor - Control Engineering, RTE Chair at CentraleSupélec, L2S, FranceVerified email at supelec.fr
Louis JouretEPFLVerified email at alumni.epfl.ch

Adnane Saoud

University of California, Berkeley

Verified email at berkeley.edu - Homepage

Cyber-physical systems Control theory Compositional analysis and synthesis of interconnected systems Formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Learning-based symbolic abstractions for nonlinear control systems K Hashimoto, A Saoud, M Kishida, T Ushio, D Dimarogonas Automatica 146, 110646, 2022	45	2022
Assume-guarantee contracts for continuous-time systems A Saoud, A Girard, L Fribourg Automatica 134, 109910, 2021	43	2021
On the composition of discrete and continuous-time assume-guarantee contracts for invariance A Saoud, A Girard, L Fribourg 2018 European Control Conference (ECC), 435-440, 2018	38	2018
Symbolic abstractions from data: a PAC learning approach A Devonport, A Saoud, M Arcak 2021 60th IEEE Conference on Decision and Control (CDC), 599-604, 2021	33	2021
Contract-based design of symbolic controllers for safety in distributed multiperiodic sampled-data systems A Saoud, A Girard, L Fribourg IEEE Transactions on Automatic Control 66 (3), 1055-1070, 2020	30	2020
A symbolic approach to voltage stability and power sharing in time-varying DC microgrids D Zonetti, A Saoud, A Girard, L Fribourg	28	2019
Contract based design of symbolic controllers for interconnected multiperiodic sampled-data systems A Saoud, A Girard, L Fribourg 2018 IEEE Conference on Decision and Control (CDC), 773-779, 2018	25	2018
Compositional synthesis of signal temporal logic tasks via assume-guarantee contracts S Liu, A Saoud, P Jagtap, DV Dimarogonas, M Zamani 2022 IEEE 61st Conference on Decision and Control (CDC), 2184-2189, 2022	23	2022
Optimal multirate sampling in symbolic models for incrementally stable switched systems A Saoud, A Girard Automatica 98, 58-65, 2018	18	2018
Compositional and Efficient Controller Synthesis for Cyber-Physical Systems A Saoud Paris Saclay, CentraleSupelec, 2019	17	2019
Compositional abstraction-based synthesis for cascade discrete-time control systems A Saoud, P Jagtap, M Zamani, A Girard IFAC-PapersOnLine 51 (16), 13-18, 2018	16	2018
A Hybrid Gradient Algorithm for Linear Regression with Hybrid Signals A Saoud, M Maghenem, RG Sanfelice 2021 American Control Conference (ACC), 4997-5002, 2021	15	2021
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications A Saoud, E Ivanova, A Girard	15	2019
A Symbolic Approach to the Self-Triggered Design for Networked Control Systems K Hashimoto, A Saoud, M Kishida, T Ushio, DV Dimarogonas IEEE Control Systems Letters 3 (4), 1050-1055, 2019	14	2019
Compositional abstraction-based synthesis for interconnected systems: An approximate composition approach A Saoud, P Jagtap, M Zamani, A Girard IEEE Transactions on Control of Network Systems 8 (2), 702-712, 2021	13	2021
Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads D Zonetti, A Saoud, A Girard, L Fribourg	9	2019
Symbolic models for incrementally stable switched systems with aperiodic time sampling Z Kader, A Girard, A Saoud IFAC-PapersOnLine 51 (16), 253-258, 2018	9	2018
Contract based design of symbolic controllers for vehicle platooning A Saoud, A Girard, L Fribourg Proceedings of the 21st International Conference on Hybrid Systems …, 2018	7	2018
Multirate symbolic models for incrementally stable switched systems A Saoud, A Girard IFAC-PapersOnLine 50 (1), 9278-9284, 2017	7	2017
Barrier Functions for Robust Safety in Differential Inclusions, Part I: Sufficient Conditions M Ghanbarpour, M Maghenem, A Saoud 2021 60th IEEE Conference on Decision and Control (CDC), 5338-5343, 2021	6	2021

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors