Recent literature has proposed approaches that learn control policies with high performance
while maintaining safety guarantees. Synthesizing Hamilton-Jacobi (HJ) reachable sets has …

With the rapid development of technology and the proliferation of uncrewed aerial systems
(UAS), there is an immediate need for security solutions. Toward this end, we propose the …

Probabilistic occupancy, the likelihood that the state at a known future time lies in a given
set, is important in a variety of stochastic motion planning problems. We provide efficient …

In this article, we consider open-loop solutions to the stochastic optimal control of a linear
dynamical system with an additive non-Gaussian, log-concave disturbance. We propose a …

We present a data-driven solution to the terminal-hitting stochastic reachability problem for a
Markov control process. We employ a nonparametric representation of the stochastic kernel …

We consider stochastic optimal control of linear dynamical systems with additive non-
Gaussian disturbance. We propose a novel, sampling-free approach, based on Fourier …

THE increasing focus on human space flight programs, such as asteroid mining, space
tourism, and establishing bases on celestial bodies, has brought attention to some of the …

We present a method to compute the stochastic reachability safety probabilities for high-
dimensional stochastic dynamical systems. Our approach takes advantage of a …

Guaranteeing safety and performance are crucial components in any control system, and
particularly relevant in light of growing interest in reliable autonomy. In safety-critical …

A continuous-time two player pursuit-evasion game is considered. The players have double-
integrator dynamics with bounded acceleration inputs. Unlike, conventional pursuit …