Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
<|reference_start|>Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order: 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 theory of mixed-monotone systems to incorporate stochastic orders, and a concentration inequality result that lower-bounds the probability the state resides within an interval through a monotone mapping. Then, we present an algorithm to compute the overapproximations of forward reachable set and the probability the state resides within it. We present our approach on two aerospace examples to show its efficacy.<|reference_end|>
@article{sivaramakrishnan2024forward,
    title={Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via
  Mixed-Monotonicity and Stochastic Order},
    author={Vignesh Sivaramakrishnan, Rosalyn A. Devonport, Murat Arcak, and Meeko
  M.K. Oishi},
    journal={arXiv preprint arXiv:2407.03984},
    year={2024},
    archivePrefix={arXiv},
    eprint={2407.03984},
    primaryClass={eess.SY cs.SY math.OC}
}