Upper and Lower Bounds for Probabilistic Reachability Analysis
Daniel E. Thomas, Jorge E. Tierno · 1st UAV Conference · 2002
In this paper we approach the problem of probabilistic analysis of discrete-event control systems (modeled as finite Markov processes) from a control perspective. We show how by computing upper and lower bounds we can trade off accuracy (gap between bounds) for length of computation.