76 citations · 213 across the 52 of their papers we have counts for
7 papers · 1 filter
On infinitesimal contraction analysis for hybrid systems
Samuel A. Burden, Thomas Libby, Samuel D. Coogan
Infinitesimal contraction analysis, wherein global asymptotic convergence results are obtained from local dynamical properties, has proven to be a powerful tool for applications in…
Satisfiability Bounds for ω-regular Properties in Interval-valued Markov Chains
Maxence Dutreix, Samuel Coogan
We derive an algorithm to compute satisfiability bounds for arbitrary ω-regular properties in an Interval-valued Markov Chain (IMC) interpreted in the adversarial sense. IMCs gener…
Routing for Traffic Networks with Mixed Autonomy
Daniel A. Lazar, Sam Coogan, Ramtin Pedarsani
In this work we propose a macroscopic model for studying routing on networks shared between human-driven and autonomous vehicles that captures the effects of autonomous vehicles fo…
Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic
Mohit Srinivasan, Samuel Coogan, Magnus Egerstedt
In this paper, a method to synthesize controllers using finite time convergence control barrier functions guided by linear temporal logic specifications for continuous time multi-a…
Generalizing infinitesimal contraction analysis to hybrid systems
Samuel A Burden, Samuel D Coogan
Infinitesimal contraction analysis, wherein global asymptotic convergence results are obtained from local dynamical properties, has proven to be a powerful tool for applications in…
Sampled-data reachability analysis using sensitivity and mixed-monotonicity
Pierre-Jean Meyer, Samuel Coogan, Murat Arcak
This paper over-approximates the reachable sets of a continuous-time uncertain system using the sensitivity of its trajectories with respect to initial conditions and uncertain par…