18 citations · 52 across the 39 of their papers we have counts for
4 papers · 1 filter
Compositional Approximately Bisimilar Abstractions of Interconnected Systems
Belamfedel Alaoui Sadek, Saharsh, Pushpak Jagtap +1
This paper formulates and studies the concepts of approximate (alternating) bisimulation relations characterizing equivalence relations between interconnected systems and their abs…
Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes
Sandeep Gorantla, Jeel Chatrola, Jay Bhagiya +2
This paper aims to synthesize a reachability controller for an unknown dynamical system. We first learn the unknown system using Gaussian processes and the (probabilistic) guarante…
Sufficient Conditions for Robust Safety in Differential Inclusions Using Barrier Functions
Mohamed Maghenem, Masoumeh Ghanbarpour, Adnane Saoud
In this brief paper we introduce a robust-safety notion for differential inclusions, and we propose a general framework to certify such a notion in terms of barrier functions. Whil…
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts
Siyuan Liu, Adnane Saoud, Pushpak Jagtap +2
In this paper, we focus on the problem of compositional synthesis of controllers enforcing signal temporal logic (STL) tasks over a class of continuous-time nonlinear interconnecte…