Reachability of Linear Uncertain Systems: Sampling Based Approaches

2021/09/16 by B. K. Ghosh, Ghosh, Bineet, Parasara Sridhar Duggirala +1
Computer Science · Engineering · #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Methods in Verification #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering

paper · pdf · doi:10.48550/arxiv.2109.07638

openalex publication_date 2021/09/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

In this work, we perform safety analysis of linear dynamical systems with uncertainties. Instead of computing a conservative overapproximation of the reachable set, our approach involves computing a statistical approximate reachable set. As a result, the guarantees provided by our method are probabilistic in nature. In this paper, we provide two different techniques to compute statistical approximate reachable set. We have implemented our algorithms in a python based prototype and demonstrate the applicability of our approaches on various case studies. We also provide an empirical comparison between the two proposed methods and with Flow*.

Citations

• PAC Learning-Based Verification and Model Synthesis
• PAC Model Checking of Black-Box Continuous-Time Dynamical Systems
• Array programming with NumPy

Related

• Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches
• Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling
• Probabilistic Reachability and Invariance Computation of Stochastic Systems using Linear Programming
• Data-Driven Reachability with Scenario Optimization and the Holdout Method
• A Simple and Efficient Sampling-based Algorithm for General Reachability Analysis