SReachTools 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 Source Code: https://github.com/unm-hscl/SReachTools 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 Cited in: 6 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year SReachTools: a MATLAB stochastic reachability toolbox. Zbl 07120138Vinod, Abraham P.; Gleason, Joseph D.; Oishi, Meeko M. K. 2019 all top 5 Cited by 12 Authors 4 Oishi, Meeko M. K. 3 Gleason, Joseph D. 3 Vinod, Abraham P. 1 Coogan, Samuel 1 Dutreix, Maxence 1 Khaled, Mahmoud 1 Lavaei, Abolfazl 1 Ortiz, Kendric R. 1 Santoyo, Cesar 1 Soudjani, Sadegh 1 Thorpe, Adam J. 1 Zamani, Majid Cited in 1 Serial 3 Automatica Cited in 2 Fields 6 Systems theory; control (93-XX) 3 Computer science (68-XX) Citations by Year