| 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 | 15 | 2018 |
| 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 | 15 | 2018 |
| A symbolic approach to voltage stability and power sharing in time-varying DC microgrids D Zonetti, A Saoud, A Girard, L Fribourg | 10 | 2019 |
| Optimal multirate sampling in symbolic models for incrementally stable switched systems A Saoud, A Girard Automatica 98, 58-65, 2018 | 10 | 2018 |
| 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 | 9 | 2018 |
| Symbolic models for incrementally stable switched systems with aperiodic time sampling Z Kader, A Girard, A Saoud IFAC-PapersOnLine 51 (16), 253-258, 2018 | 7 | 2018 |
| Multirate symbolic models for incrementally stable switched systems A Saoud, A Girard IFAC-PapersOnLine 50 (1), 9278-9284, 2017 | 7 | 2017 |
| Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications A Saoud, E Ivanova, A Girard | 6 | 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 | 5 | 2019 |
| Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads D Zonetti, A Saoud, A Girard, L Fribourg | 4 | 2019 |
| Assume-guarantee contracts for discrete and continuous-time systems A Saoud, A Girard, L Fribourg | 4 | 2019 |
| 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 | 4 | 2018 |
| 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 | 3 | 2020 |
| Compositional and Efficient Controller Synthesis for Cyber-Physical Systems A Saoud Paris Saclay, CentraleSupelec, 2019 | 3 | 2019 |
| Safety controller design for incrementally stable switched systems using event-based symbolic models Z Kader, A Saoud, A Girard | 3 | 2019 |
| 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 | 2 | 2020 |
| 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 | 1 | 2020 |
| Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications E Ivanova, A Saoud, A Girard | | 2020 |
Antoine GirardSenior Researcher, L2S, CNRSVerified email at l2s.centralesupelec.fr
