Reachability Computation for Switching Diffusions

DOI10.1145/3049797.3049812zbMath1369.93728OpenAlexW2607025636MaRDI QIDQ5275319

Milan Češka, Luca Bortolussi, Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti

Publication date: 11 July 2017

Published in: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3049797.3049812

zbMATH Keywords

numerical computationsfinite abstractionsstochastic hybrid modelsswitching diffusionstime and space discretisationreachability and safety analysis

Mathematics Subject Classification ID

Stochastic ordinary differential equations (aspects of stochastic analysis) (60H10) Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Attainable sets, reachability (93B03)

Related Items (2)

Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

This page was built for publication: Reachability Computation for Switching Diffusions