2 papers
eess.SY2025
Data-Driven Reachability with Scenario Optimization and the Holdout Method
Elizabeth Dietrich, Rosalyn Devonport, Stephen Tu +1
Reachability analysis is an important method in providing safety guarantees for systems with unknown or uncertain dynamics. Due to the computational intractability of exact reachab…
eess.SY2024
Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
Vignesh Sivaramakrishnan, Rosalyn A. Devonport, Murat Arcak +1
We present a method to overapproximate forward stochastic reach sets of discrete-time, stochastic nonlinear systems with interval geometry. This is made possible by extending the t…