Documentation
Français (FR)

Anglais (EN)

Adnane Saoud

31

Documents

Identifiants chercheurs

adnane-saoud
0000-0003-4423-3052

Présentation

Publications

	Characterization, verification and computation of robust controlled invariants for monotone dynamical systems Adnane Saoud , Murat Arcak Mathematics of Control, Signals, and Systems, 2023, ⟨10.1007/s00498-023-00368-z⟩ Article dans une revue hal-04378176v1
	Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach Louis Jouret , Adnane Saoud , Sorin Olaru IEEE Control Systems Letters, 2023, pp.1-1. ⟨10.1109/LCSYS.2023.3342088⟩ Article dans une revue hal-04355150v1
	Asymptotic Error in Euler’s Method with a Constant Step Size Jawher Jerray , Adnane Saoud , Laurent Fribourg European Journal of Control, 2022, 68, pp.100694. ⟨10.1016/j.ejcon.2022.100694⟩ Article dans une revue hal-03816598v1
	Using Euler's Method to Prove the Convergence of Neural Networks Jawher Jerray , Adnane Saoud , Laurent Fribourg IEEE Control Systems Letters, 2022, ⟨10.1109/lcsys.2022.3184040⟩ Article dans une revue hal-03816597v1
	Learning-based symbolic abstractions for nonlinear control systems Kazumune Hashimoto , Adnane Saoud , Masako Kishida , Toshimitsu Ushio , Dimos Dimarogonas Automatica, 2022, 146, pp.110646. ⟨10.1016/j.automatica.2022.110646⟩ Article dans une revue hal-04378166v1
	Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications Elena A. Ivanova , Adnane Saoud , Antoine Girard Automatica, 2022, 135, ⟨10.1016/j.automatica.2021.109993⟩ Article dans une revue hal-02933023v2
	Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems Adnane Saoud , Antoine Girard , Laurent Fribourg IEEE Transactions on Automatic Control, 2021, 66 (3), pp.1055-1070. ⟨10.1109/tac.2020.2992446⟩ Article dans une revue hal-02132070v2
	Assume-guarantee contracts for continuous-time systems Adnane Saoud , Antoine Girard , Laurent Fribourg Automatica, 2021, 134, ⟨10.1016/j.automatica.2021.109910⟩ Article dans une revue hal-02196511v3
	Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach Adnane Saoud , Pushpak Jagtap , Majid Zamani , Antoine Girard IEEE Transactions on Control of Network Systems, 2021, 8 (2), pp.702-712. ⟨10.1109/TCNS.2021.3050123⟩ Article dans une revue hal-02473873v1
	A Symbolic Approach to the Self-Triggered Design for Networked Control Systems Kazumune Hashimoto , Adnane Saoud , Masako Kishida , Toshimitsu Ushio , Dimos Dimarogonas IEEE Control Systems Letters, 2019, 3 (4), pp.1050-1055. ⟨10.1109/LCSYS.2019.2921616⟩ Article dans une revue hal-04435995v1
	Optimal Multirate Sampling in Symbolic Models for Incrementally Stable Switched Systems Adnane Saoud , Antoine Girard Automatica, 2018, 98, pp.58-65. ⟨10.1016/j.automatica.2018.09.005⟩ Article dans une revue hal-01860113v1

	Compositional Approximately Bisimilar Abstractions of Interconnected Systems Belamfedel Alaoui Sadek , Pushpak Jagtap , Adnane Saoud 22nd World Congress of the International Federation of Automatic Control (IFAC 2023), Jul 2023, Yokohama, Japan. pp.10210-10215, ⟨10.1016/j.ifacol.2023.10.899⟩ Communication dans un congrès hal-04378167v1
	Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation Mohamed Maghenem , Antonio Loria , Adnane Saoud HSCC 2022 - 25th ACM International Conference on Hybrid Systems : Computation and Control, May 2022, Milan, Italy. ⟨10.1145/3501710.3519528⟩ Communication dans un congrès hal-03789071v1
	Adaptive Control/Identification for Hybrid Systems Part I: with Bounded Discrete Regressor Mohamed Maghenem , Adnane Saoud , Antonio Loria ACC 2022 - American Control Conference, Jun 2022, Atlanta, GA, United States. ⟨10.23919/ACC53348.2022.9867398⟩ Communication dans un congrès hal-03789092v1
	Characterizations and Computation of Controlled Invariants for Monotone Dynamical Systems Adnane Saoud , Murat Arcak 61st IEEE Conference on Decision and Control (CDC 2022), Dec 2022, Cancun, Mexico. pp.4990-4995, ⟨10.1109/CDC51059.2022.9992752⟩ Communication dans un congrès hal-04378173v1
	Constructing Symbolic Abstractions From Data Without Model Assumptions Alex Devonport , Adnane Saoud , Murat Arcak 2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS), May 2022, Milan, France. pp.9-10, ⟨10.1109/CAADCPS56132.2022.00015⟩ Communication dans un congrès hal-04435997v1
	Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts Siyuan Liu , Adnane Saoud , Pushpak Jagtap , Dimos Dimarogonas , Majid Zamani 61st IEEE Conference on Decision and Control (CDC 2022), Dec 2022, Cancun, Mexico. pp.2184-2189, ⟨10.1109/CDC51059.2022.9992715⟩ Communication dans un congrès hal-04378169v1
	Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes Sandeep Gorantla , Jeel Chatrola , Jay Bhagiya , Adnane Saoud , Pushpak Jagtap 2022 Eighth Indian Control Conference (ICC), Dec 2022, Chennai, India. pp.188-193, ⟨10.1109/ICC56513.2022.10093476⟩ Communication dans un congrès hal-04378174v1
	Adaptive Control/Identification for Hybrid Systems, Part II: with Linear-growth-order Discrete Regressor Mohamed Maghenem , Adnane Saoud , Antonio Loria 2022 American Control Conference (ACC 2022), Jun 2022, Atlanta, GA, United States. ⟨10.23919/ACC53348.2022.9867414⟩ Communication dans un congrès hal-03789105v1
	Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications Adnane Saoud , Elena A. Ivanova , Antoine Girard 58th IEEE Conference on Decision and Control (CDC 2019), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029784⟩ Communication dans un congrès hal-02281945v2
	Safety controller design for incrementally stable switched systems using event-based symbolic models Zohra Kader , Adnane Saoud , Antoine Girard ECC 2019 - European Control Conference, Jun 2019, Naples, Italy. ⟨10.23919/ECC.2019.8796232⟩ Communication dans un congrès hal-02054930v1
	A symbolic approach to voltage stability and power sharing in time-varying DC microgrids Daniele Zonetti , Adnane Saoud , Antoine Girard , Laurent Fribourg ECC 2019 - European control conference, Jun 2019, Naples, Italy. ⟨10.23919/ecc.2019.8796095⟩ Communication dans un congrès hal-02070070v1
	Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads Daniele Zonetti , Adnane Saoud , Antoine Girard , Laurent Fribourg NecSys 2019 - 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, Sep 2019, Chicago, United States. ⟨10.1016/j.ifacol.2019.12.148⟩ Communication dans un congrès hal-02208665v1
	On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance Adnane Saoud , Antoine Girard , Laurent Fribourg European Control Conference (ECC 2018), 2018, Limassol, Cyprus. ⟨10.23919/ECC.2018.8550622⟩ Communication dans un congrès hal-01712710v1
	Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems Adnane Saoud , Antoine Girard , Laurent Fribourg 57th IEEE Conference on Decision and Control (CDC 2018), Dec 2018, Miami Beach, FL, United States. ⟨10.1109/CDC.2018.8619099⟩ Communication dans un congrès hal-01857389v1
	Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems Adnane Saoud , Pushpak Jagtap , Majid Zamani , Antoine Girard 6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.003⟩ Communication dans un congrès hal-01761180v1
	Contract based Design of Symbolic Controllers for Vehicle Platooning Adnane Saoud , Antoine Girard , Laurent Fribourg 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), Apr 2018, Porto, Portugal. pp.277-278, ⟨10.1145/3178126.3187001⟩ Communication dans un congrès hal-02287002v1
	Symbolic models for incrementally stable switched systems with aperiodic time sampling Zohra Kader , Antoine Girard , Adnane Saoud 6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, Jul 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.043⟩ Communication dans un congrès hal-01760789v1
	Multirate Symbolic Models for Incrementally Stable Switched Systems Adnane Saoud , Antoine Girard IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.912⟩ Communication dans un congrès hal-01540854v1

	Iterative Optimization-based Control of a Class of Mixed Logical Dynamical Systems with STL Specifications: A Case Study on Microgrids Yoshinari Takayama , Adnane Saoud , Alessio Iovine 2024 Pré-publication, Document de travail hal-04548049v1
	Hybrid Persistency of Excitation in Adaptive Estimation for Hybrid Systems Adnane Saoud , Mohamed Maghenem , Antonio Loria , Ricardo Sanfelice 2023 Pré-publication, Document de travail hal-04048988v1