Finite state approximation for verification of partially observable stochastic hybrid systems
From MaRDI portal
Publication:2988932
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)
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
Cites work
- scientific article; zbMATH DE number 1638973 (Why is no real title available?)
- Continuous system simulation
- Hybrid Systems: Computation and Control
- On fixed points of strictly causal functions
- Requirements for hybrid cosimulation standards
- THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
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
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)
