Adnane Saoud
Title
Cited by
Cited by
Year
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
142018
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
132018
A symbolic approach to voltage stability and power sharing in time-varying DC microgrids
D Zonetti, A Saoud, A Girard, L Fribourg
92019
Optimal multirate sampling in symbolic models for incrementally stable switched systems
A Saoud, A Girard
Automatica 98, 58-65, 2018
82018
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
82018
Symbolic models for incrementally stable switched systems with aperiodic time sampling
Z Kader, A Girard, A Saoud
IFAC-PapersOnLine 51 (16), 253-258, 2018
62018
Multirate symbolic models for incrementally stable switched systems
A Saoud, A Girard
IFAC-PapersOnLine 50 (1), 9278-9284, 2017
62017
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
42018
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications
A Saoud, E Ivanova, A Girard
32019
Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads
D Zonetti, A Saoud, A Girard, L Fribourg
32019
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
32019
Safety controller design for incrementally stable switched systems using event-based symbolic models
Z Kader, A Saoud, A Girard
32019
Compositional and Efficient Controller Synthesis for Cyber-Physical Systems
A Saoud
Paris Saclay, CentraleSupelec, 2019
22019
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, 2020
12020
Learning-based Safe Symbolic Abstractions for Nonlinear Control Systems
K Hashimoto, A Saoud, M Kishida, T Ushio, D Dimarogonas
arXiv preprint arXiv:2004.01879, 2020
12020
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach
A Saoud, P Jagtap, M Zamani, A Girard
arXiv preprint arXiv:2002.02014, 2020
12020
Assume-guarantee contracts for discrete and continuous-time systems
A Saoud, A Girard, L Fribourg
12019
Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications
E Ivanova, A Saoud, A Girard
2020
The system can't perform the operation now. Try again later.
Articles 1–18