Publications

Journal papers:

  1. A. Saoud, and M. Arcak, “Characterization, Verification and Computation of Robust Controlled Invariants for Monotone Dynamical Systems", Submitted to Mathematics of Control, Signals, and Systems, 2022.

  2. M. Maghenem, M. Ghanbarpour and A. Saoud, "Sufficient conditions for robust safety in differential inclusions using barrier functions", Submitted to Automatica, 2022 .

  3. K. Hashimoto, A. Saoud, M. Kishida, T. Ushio and D.V. Dimarogonas, "Learning-based safe symbolic abstractions for nonlinear control systems", Automatica, 2022, To appear. [Preprint]

  4. J. Jerray , A. Saoud and L. Fribourg, “Using Euler’s Method to Prove the Convergence of Neural Networks”, IEEE Control Systems Letters, 2022, vol. 6, p. 3224-3228.

  5. J. Jerray , A. Saoud and L. Fribourg, “Asymptotic Error in Euler’s Method with a Constant Step Size”, European Journal of Control, 2022, p. 100694.

  6. E. Ivanova*, A. Saoud* and A. Girard, "Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications" Automatica, 2022, vol. 135, p. 109993. (*contributed equally). [Preprint]

  7. A. Saoud, A. Girard and L. Fribourg, "Assume-guarantee Contracts for Continuous-time Systems", Automatica, 2021, vol. 134, p. 109910. [Preprint]

  8. S. Smith, A. Saoud and M. Arcak "Monotonicity-Based Symbolic Control for Safety in Driving Scenarios control", IEEE Control Systems Letters, vol. 3, no. 4, pp. 1050-1055, 2021.

  9. A. Saoud, P. Jagtap, M. Zamani, and A. Girard, "Compositional Abstraction and Controller Synthesis for Interconnected Systems: an Approximate Composition Approach", IEEE Transactions on Control of Network Systems, 2021, vol. 8, no 2, p. 702-712. [Preprint]

  10. A. Saoud, A. Girard and L. Fribourg, "Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems", IEEE Transactions on Automatic Control, 2020, vol. 66, no 3, p. 1055-1070. [Preprint]

  11. K. Hashimoto, A. Saoud, M. Kishida, T. Ushio and D.V. Dimarogonas, "A symbolic approach to resource-aware networked control", IEEE Control Systems Letters, vol. 3, no. 4, pp. 1050-1055, 2019. [Link][pdf]

  12. A. Saoud, A. Girard, "Optimal Multirate Sampling in Symbolic Models for Incrementally Stable Switched Systems", Automatica, vol. 98, pp. 58-65, 2018. [Link][pdf]

International conferences:


  1. A. Saoud, and M. Arcak, “Characterization and Computation of Controlled Invariants for Monotone Systems", Submitted to the Conference on Decision and Control (CDC), 2022.

  2. J. Jerray , A. Saoud and L. Fribourg, “Using Euler’s Method to Prove the Convergence of Neural Networks”, European Control Conference (ECC), 2022.

  3. S. Liu, A. Saoud, P. Jagtap, D. V. Dimarogonas and M. Zamani, “Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts”, Conference on Decision and Control (CDC), 2022.

  4. M. Maghenem, A. Saoud and A. Loria, “Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation”, International Conference on Hybrid Systems: Computation and Control (HSCC), 2022.

  5. J. Jerray , A. Saoud and L. Fribourg, “Asymptotic Error in Euler’s Method with a Constant Step Size”, European Control Conference (ECC), 2022.

  6. M. Maghenem, A. Saoud and A. Loria, "Adaptive Control/Identification for Hybrid Systems, Part II: A Linearly Growing Discrete Regressor", American Control Conference (ACC), 2022.

  7. M. Maghenem, A. Saoud and A. Loria, "Adaptive Control/Identification for Hybrid Systems, Part I : A Bounded Discrete Regressor", American Control Conference (ACC), 2022.

  8. A. Devonport*, A. Saoud* and M. Arcak, "Symbolic Abstractions From Data: A PAC Learning Approach", IEEE Conference on Decision and Control, Austin, Texas, USA, 2021. (*contributed equally)

  9. R. Johnson, A. Saoud and R. Sanfelice, "Robust Finite-Time Parameter Estimation for Linear Dynamical Systems", IEEE Conference on Decision and Control, Austin, Texas, USA, 2021.

  10. M. Ghanbarpour, M. Maghenem and A. Saoud, "Barrier Functions for Robust Safety in Differential Inclusions, Part I: Sufficient Conditions", IEEE Conference on Decision and Control, Austin, Texas, USA, 2021.

  11. S. Smith, A. Saoud and M. Arcak "Monotonicity-Based Symbolic Control for Safety in Driving Scenarios control", IEEE Conference on Decision and Control, Austin, Texas, USA, 2021.

  12. A. Saoud, R. Sanfelice, "Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control", IFAC Conference on Analysis and Design of Hybrid Systems, Brussels, Belgium, 2021.

  13. A. Saoud, M. Maghenem and R. Sanfelice, " The Rate of Descent for the Hybrid Gradient Descent Algorithm", American Control Conference, 2021.

  14. A. Saoud, R. Sanfelice, "A Robust Hybrid Finite Time Parameter Estimator With Relaxed Persistence of Excitation Condition", American Control Conference, 2021.

  15. A. Saoud, E. Ivanova and A. Girard, "Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications", IEEE Conference on Decision and Control, Nice, France, 2019. [pdf]

  16. K. Hashimoto, A. Saoud, M. Kishida, T. Ushio and D.V. Dimarogonas, "A symbolic approach to resource-aware networked control", IEEE Conference on Decision and Control, Nice, France, 2019. [Link][pdf]

  17. D. Zonetti, A. Saoud, A. Girard and L. Fribourg, "Decentralized Monotonicity-based Voltage Control of DC Microgrids with ZIP Loads", IFAC Workshop on Distributed Estimation and Control in Networked Systems, Chicago, USA, 2019. [pdf]

  18. D. Zonetti, A. Saoud, A. Girard and L. Fribourg, "A Symbolic Approach to Voltage Stability and Power Sharing in Time-varying DC Microgrids", European Control Conference, Naples, Italy, 2019. [Link][pdf]

  19. Z. Kader, A. Saoud and A. Girard, "Safety Controller Design for Incrementally Stable Switched Systems Using Event-based Symbolic Models", European Control Conference, Naples, Italy, 2019. [Link][pdf]

  20. A. Saoud, A. Girard and L. Fribourg, "Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems", IEEE Conference on Decision and Control, Miami, USA, 2018. [Link][pdf]

  21. A. Saoud, P. Jagtap, M. Zamani, and A. Girard, "Compositional Abstraction-Based Synthesis for Cascade Discrete-Time Control Systems", IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK, 2018. [Link][pdf]

  22. Z. Kader, A. Girard and A. Saoud, "Symbolic Models for Incrementally Stable Switched Systems with Aperiodic Time Sampling", IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK, 2018. [Link][pdf]

  23. A. Saoud, A. Girard and L. Fribourg, "On the Composition of Discrete and Continuous-time Assume-guarantee Contracts for Invariance ", European Control Conference, Limassol, Cyprus, 2018. Best Student Papers Award Finalist. [Link][pdf]

  24. A. Saoud, A. Girard and L. Fribourg, "Poster: Contract Based Design of Symbolic Controllers for Vehicle Platooning", Hybrid Systems: Computation and Control, Porto, Portugal, 2018. [Link][pdf]

  25. A. Saoud, A. Girard, "Multirate Symbolic Models for Incrementally Stable Switched Systems", IFAC World Congress, Toulouse, France, 2017. [Link][pdf]

Thesis:

  1. A. Saoud, "Compositional and Efficient Controller Synthesis for Cyber-Physical Systems", Ph.D. Thesis , CentraleSupelec, Paris, France, October 2019. Finalist of the French National Best Thesis Award Discerned by the GdR MACS, 2020. Finalist of the European PhD Award Discerned by the EECI, 2021. [pdf]

  2. A. Saoud, "Symbolic Models for Incrementally Stable Switched Systems", M. Tech. Thesis (in french), Université Paris-Saclay, Paris, France, 2016. [pdf]

  3. A. Saoud, Y. Asaban "Extension of the Automation and Monitoring Systems of OCP Group Casablanca", Engineer Diploma (in French), Ecole Mohamadia d'ingénieurs, Rabat, Morocco 2014. [pdf]