We present SReachTools, an open-source MATLAB toolbox for performing stochastic
reachability of linear, potentially time-varying, discrete-time systems that are perturbed by a …

This article extends the optimal covariance steering (CS) problem for linear stochastic
systems subject to chance constraints so as to account for an optimal allocation of the risk …

We present a data-driven method for computing approximate forward reachable sets using
separating kernels in a reproducing kernel Hilbert space. We frame the problem as a …

This paper extends the optimal covariance steering problem for linear stochastic systems
subject to chance constraints to account for optimal risk allocation. Previous works have …

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 …

This paper deals with finite‐horizon minimum‐variance and covariance steering problems
subject to constraints. The goal of the minimum variance problem is to steer the state mean …

We consider the problem of stochastic reachability of a target tube for a discrete-time,
stochastic dynamical system with bounded control authority. We propose grid-free …

We present algorithms for performing data-driven stochastic reachability as an addition to
SReachTools, an open-source stochastic reachability toolbox. Our method leverages a class …

Conformance is defined as a measure of distance between the behaviors of two dynamical
systems. The notion of conformance can accelerate system design when models of varying …

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 …