Finite state approximation for verification of partially observable stochastic hybrid systems
DOI10.1145/2728606.2728632zbMATH Open1364.93382OpenAlexW2063718256MaRDI QIDQ2988932FDOQ2988932
Authors:
Publication date: 19 May 2017
Published in: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2728606.2728632
Recommendations
- Higher-order approximations for verification of stochastic hybrid systems
- Verification and control of partially observable probabilistic systems
- Approximate model checking of stochastic hybrid systems
- Reachability for partially observable discrete time stochastic hybrid systems
- Verification and control of partially observable probabilistic real-time systems
Dynamic programming (90C39) Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40) Observability (93B07) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Stochastic systems in control theory (general) (93E03)
Cites Work
Cited In (5)
- Approximate model checking of stochastic hybrid systems
- Verification and control of partially observable probabilistic systems
- Higher-order approximations for verification of stochastic hybrid systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
Uses Software
This page was built for publication: Finite state approximation for verification of partially observable stochastic hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2988932)
