swMATH ID: 30627
Software Authors: Vinod, Abraham P.; Gleason, Joseph D.; Oishi, Meeko M. K.
Description: SReachTools: a MATLAB stochastic reachability toolbox. 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 stochastic disturbance. The toolbox addresses the problem of stochastic reachability of a target tube, which also encompasses the terminal-time hitting reach-avoid and viability problems. The stochastic reachability of a target tube problem maximizes the likelihood that the state of a stochastic system will remain within a collection of time-varying target sets for a give time horizon, while respecting the system dynamics and bounded control authority. SReachTools implements several new algorithms based on convex optimization, computational geometry, and Fourier transforms, to efficiently compute over- and under-approximations of the stochastic reach set. SReachTools can be used to perform probabilistic verification of closed-loop systems and can also perform controller synthesis via open-loop, affine, and state-feedback controllers. The code base is available online at https://github.com/unm-hscl/SReachTools, and it is designed to be extensible and user friendly.
Homepage: https://dl.acm.org/citation.cfm?doid=3302504.3311809
Dependencies: Matlab
Keywords: linear systems; reachability; stochastic optimal control
Related Software: FAUST2; MPT; StocHy; ProbReach; PRISM; GitHub; GeoCalcLib; lrs; CVX; Matlab; cdd; QSIMVN; HyLAA; SDPT3; Sostools; AMYTISS; pFaces; SReach; MoDeST
Referenced in: 6 Publications

Referenced in 1 Serial

3 Automatica

Referencing Publications by Year