Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
From MaRDI portal
Publication:3612955
DOI10.1007/978-3-540-71493-4_4zbMath1221.93030OpenAlexW1824914642MaRDI QIDQ3612955
Maria Prandini, John Lygeros, Alessandro Abate, Saurabh Amin, Shankar S. Sastry
Publication date: 11 March 2009
Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71493-4_4
Related Items
Trajectory-Based Theory for Hybrid Systems, Probabilistic verification of a biodiesel production system using statistical model checking, Robust global recurrence for a class of stochastic hybrid systems, Stochastic reachability of a target tube: theory and computation, Symbolic models for stochastic switched systems: A discretization and a discretization-free approach, Bounded Verification of Reachability of Probabilistic Hybrid Systems, Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem, Model reduction of switched affine systems, Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach, Lagrangian approximations for stochastic reachability of a target tube, Error estimates for second order Hamilton-Jacobi-Bellman equations. Approximation of probabilistic reachable sets
