76 citations · 120 across the 23 of their papers we have counts for
7 papers · 2 filters
A Barrier Function Approach to Finite-Time Stochastic System Verification and Control
Cesar Santoyo, Maxence Dutreix, Samuel Coogan
This paper studies the problem of enforcing safety of a stochastic dynamical system over a finite-time horizon. We use stochastic control barrier functions as a means to quantify t…
Monitor-Based Runtime Assurance for Temporal Logic Specifications
Matthew Abate, Eric Feron, Samuel Coogan
This paper introduces the safety controller architecture as a runtime assurance mechanism for system specifications expressed as safety properties in Linear Temporal Logic (LTL). T…
Mixed Autonomy in Ride-Sharing Networks
Qinshuang Wei, Ramtin Pedarsani, Samuel Coogan
We consider ride-sharing networks served by human-driven vehicles (HVs) and autonomous vehicles (AVs). We propose a model for ride-sharing in this mixed autonomy setting for a mult…
Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems
Rohit Konda, Aaron D. Ames, Samuel Coogan
Verifying set invariance has classical solutions stemming from the seminal work by Nagumo, and defining sets via a smooth barrier function constraint inequality results in computab…
Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems
Matthew Abate, Corbin Klett, Samuel Coogan +1
This work studies the problem of searching for homogeneous polynomial Lyapunov functions for stable switched linear systems. Specifically, we show an equivalence between polynomial…
Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions
Cesar Santoyo, Maxence Dutreix, Samuel Coogan
This paper studies the problem of enforcing safety of a stochastic dynamical system over a finite time horizon. We use stochastic barrier functions as a means to quantify the proba…