1 citations · 1 across the 4 of their papers we have counts for
4 papers
Online, Reachability-Aware, Sampling-Based Motion Planning
Brendan Gould, Zhiyuan Zhang, Panagiotis Tsiotras +1
Sampling-Based Model-Predictive Control (MPC) algorithms are a flexible class of controllers used for navigation on a wide range of robotic systems. Historically, such approaches h…
Over-Approximating Minimizer Sets of Constrained Convex Programs with Parametric Uncertainty via Reachability Analysis
Brendan Gould, Chih-Yuan Chiu, Antoine P. Leeman +3
We study the set of solutions to a parameterized, strongly convex optimization problem whose cost depends on uncertain, bounded parameters. We compute a certified outer approximati…
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…
linrax: A JAX Compatible, Simplex Method Linear Program Solver
Brendan Gould, Akash Harapanahalli, Samuel Coogan
We present linrax, the first simplex based linear program (LP) solver compatible with the JAX ecosystem. In many control algorithms, LPs are often automatically generated and frequ…