Adnane Saoud

According to our database, Adnane Saoud authored at least 39 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Characterization, verification and computation of robust controlled invariants for monotone dynamical systems.

Adnane Saoud, Murat Arcak

Math. Control. Signals Syst., March, 2024

2023

Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach.

Louis Jouret, Adnane Saoud, Sorin Olaru

IEEE Control. Syst. Lett., 2023

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts.

Siyuan Liu, Adnane Saoud, Dimos V. Dimarogonas

CoRR, 2023

Controller Synthesis for Local and Global Specifications in Multi-Agent Systems.

David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap

CoRR, 2023

Scalable Distributed Controller Synthesis for Multi-Agent Systems Using Barrier Functions and Symbolic Control.

David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Temporal Logic Resilience for Cyber-Physical Systems.

Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Symbolic Models for Interconnected Impulsive Systems.

Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap, Abdalla Swikir

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Asymptotic error in Euler's method with a constant step size.

Jawher Jerray, Adnane Saoud, Laurent Fribourg

Eur. J. Control, 2022

Monotonicity-Based Symbolic Control for Safety in Driving Scenarios.

Stanley W. Smith, Adnane Saoud, Murat Arcak

IEEE Control. Syst. Lett., 2022

Using Euler's Method to Prove the Convergence of Neural Networks.

Jawher Jerray, Adnane Saoud, Laurent Fribourg

IEEE Control. Syst. Lett., 2022

Compositional Approximately Bisimilar Abstractions of Interconnected Systems.

Sadek Belamfedel Alaoui, Saharsh, Pushpak Jagtap, Adnane Saoud

CoRR, 2022

Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes.

Sandeep Gorantla, Jeel Chatrola, Jay Bhagiya, Adnane Saoud, Pushpak Jagtap

CoRR, 2022

Lazy controller synthesis for monotone transition systems and directed safety specifications.

Elena Ivanova, Adnane Saoud, Antoine Girard

Autom., 2022

Learning-based symbolic abstractions for nonlinear control systems.

Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas

Autom., 2022

Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation.

Mohamed Maghenem, Adnane Saoud, Antonio Loría

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Characterizations and Computation of Controlled Invariants for Monotone Dynamical Systems.

Adnane Saoud, Murat Arcak

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts.

Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Adaptive Control/Identification for Hybrid Systems, Part II: with Linear-growth-order Discrete Regressor.

Mohamed Maghenem, Adnane Saoud, Antonio Loría

Proceedings of the American Control Conference, 2022

Adaptive Control/Identification for Hybrid Systems Part I: with Bounded Discrete Regressor.

Mohamed Maghenem, Adnane Saoud, Antonio Loría

Proceedings of the American Control Conference, 2022

2021

Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach.

Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard

IEEE Trans. Control. Netw. Syst., 2021

Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems.

Adnane Saoud, Antoine Girard, Laurent Fribourg

IEEE Trans. Autom. Control., 2021

Assume-guarantee contracts for continuous-time systems.

Adnane Saoud, Antoine Girard, Laurent Fribourg

Autom., 2021

Robust Finite-Time Parameter Estimation for Linear Dynamical Systems.

Ryan S. Johnson, Adnane Saoud, Ricardo G. Sanfelice

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Barrier Functions for Robust Safety in Differential Inclusions, Part I: Sufficient Conditions.

Masoumeh Ghanbarpour, Mohamed Maghenem, Adnane Saoud

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Symbolic Abstractions From Data: A PAC Learning Approach.

Alex Devonport, Adnane Saoud, Murat Arcak

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

A Robust Hybrid Finite Time Parameter Estimator With Relaxed Persistence of Excitation Condition.

Adnane Saoud, Ricardo G. Sanfelice

Proceedings of the 2021 American Control Conference, 2021

A Hybrid Gradient Algorithm for Linear Regression with Hybrid Signals.

Adnane Saoud, Mohamed Maghenem, Ricardo G. Sanfelice

Proceedings of the 2021 American Control Conference, 2021

Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control.

Adnane Saoud, Ricardo G. Sanfelice

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Learning-based Safe Symbolic Abstractions for Nonlinear Control Systems.

Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas

CoRR, 2020

2019

A Symbolic Approach to the Self-Triggered Design for Networked Control Systems.

Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas

IEEE Control. Syst. Lett., 2019

A symbolic approach to voltage stability and power sharing in time-varying DC microgrids.

Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg

Proceedings of the 17th European Control Conference, 2019

Safety controller design for incrementally stable switched systems using event-based symbolic models.

Zohra Kader, Adnane Saoud, Antoine Girard

Proceedings of the 17th European Control Conference, 2019

Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications.

Adnane Saoud, Elena Ivanova, Antoine Girard

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Optimal multirate sampling in symbolic models for incrementally stable switched systems.

Adnane Saoud, Antoine Girard

Autom., 2018

Contract based Design of Symbolic Controllers for Vehicle Platooning.

Adnane Saoud, Antoine Girard, Laurent Fribourg

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance.

Adnane Saoud, Antoine Girard, Laurent Fribourg

Proceedings of the 16th European Control Conference, 2018

Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems.

Adnane Saoud, Antoine Girard, Laurent Fribourg

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems.

Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Symbolic models for incrementally stable switched systems with aperiodic time sampling.

Zohra Kader, Antoine Girard, Adnane Saoud

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018