18 citations · 52 across the 39 of their papers we have counts for
6 papers · 1 filter
Symbolic Models for Interconnected Impulsive Systems
Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap +1
In this paper, we present a compositional methodology for constructing symbolic models of nonlinear interconnected impulsive systems. Our approach relies on the concept of "alterna…
Safety verification of Neural-Network-based controllers: a set invariance approach
Louis Jouret, Adnane Saoud, Sorin Olaru
This paper presents a novel approach to ensure the safety of continuous-time linear dynamical systems controlled by a neural network (NN) based state-feedback. Our method capitaliz…
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
Siyuan Liu, Adnane Saoud, Dimos V. Dimarogonas
This paper considers the problem of controller synthesis of signal temporal logic (STL) specifications for large-scale multi-agent systems, where the agents are dynamically coupled…
Characterization, Verification and Computation of Robust Controlled Invariants for Monotone Dynamical Systems
Adnane Saoud, Murat Arcak
In this paper, we consider the problem of computing robust controlled invariants for discrete-time monotone dynamical systems. We consider different classes of monotone systems dep…
Barrier Function-based Distributed Symbolic Controller for Multi-Agent Systems
David Smith Sundarsingh, Ratnangshu Das, Adnane Saoud +1
Because of the scalability issues associated with the symbolic controller synthesis approach, employing it in a multi-agent system (MAS) framework becomes difficult. In this paper,…
Hybrid Persistency of Excitation in Adaptive Estimation for Hybrid Systems
Adnane Saoud, Mohamed Maghenem, Antonio Loría +1
We propose a framework to analyze stability for a class of linear non-autonomous hybrid systems, where the continuous evolution of solutions is governed by an ordinary differential…