Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms

Abstract

We propose a scalable method for forward stochastic reachability analysis for uncontrolled linear systems with affine disturbance. Our method uses Fourier transforms to efficiently compute the forward stochastic reach probability measure (density) and the forward stochastic reach set. This method is applicable to systems with bounded or unbounded disturbance sets. We also examine the convexity properties of the forward stochastic reach set and its probability density. Motivated by the problem of a robot attempting to capture a stochastically moving, non-adversarial target, we demonstrate our method on two simple examples. Where traditional approaches provide approximations, our method provides exact analytical expressions for the densities and probability of capture.

V3: HSCC 2017 (camera-ready copy), DOI updated, minor changes | V2: Review comments included | V1: 10 pages, 12 figures

Cited by in corpus (5)

• Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
• Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
• Learning Approximate Forward Reachable Sets Using Separating Kernels
• Probabilistic Occupancy Function and Sets Using Forward Stochastic Reachability for Rigid-Body Dynamic Obstacles
• Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems using Fourier Transforms