1 citations · 1 across the 2 of their papers we have counts for
4 papers
Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming
Akash Harapanahalli, Samuel Coogan
In this work, we present a numerical optimal control framework for reachable set computation using \emph{normotopes}, a new set representation as a norm ball with a shaping matrix.…
Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling
Brendan Gould, Akash Harapanahalli, Samuel Coogan
Interval refinement is a technique for reducing the conservatism of traditional interval based reachability methods by lifting the system to a higher dimension using new auxiliary…
Parametric Reachable Sets Via Controlled Dynamical Embeddings
Akash Harapanahalli, Samuel Coogan
In this work, we propose a new framework for reachable set computation through continuous evolution of a set of parameters and offsets which define a parametope, through the inters…
A Linear Differential Inclusion for Contraction Analysis to Known Trajectories
Akash Harapanahalli, Samuel Coogan
Infinitesimal contraction analysis provides exponential convergence rates between arbitrary pairs of trajectories of a system by studying the system's linearization. An essentially…