Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs
From MaRDI portal
Publication:5200042
DOI10.1007/978-3-642-22438-6_34zbMath1341.68030OpenAlexW1489868140MaRDI QIDQ5200042
Publication date: 29 July 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22438-6_34
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (5)
Differential Game Logic ⋮ Verification of Hybrid Systems ⋮ A compositional modelling and verification framework for stochastic hybrid systems ⋮ A compositional modelling and analysis framework for stochastic hybrid systems ⋮ Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- A probabilistic dynamic logic
- A probabilistic PDL
- Semantics of probabilistic programs
- Symbolic model checking for probabilistic timed automata
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Markov logic networks
- Stochastic stability and control
- Bayesian statistical model checking with application to Simulink/Stateflow verification
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs
- Assume-Guarantee Verification for Probabilistic Systems
- Quantified Differential Dynamic Logic for Distributed Hybrid Systems
- Ergodic Control of Switching Diffusions
- Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Hybrid Systems: Computation and Control
- Stochastic differential equations. An introduction with applications.
This page was built for publication: Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs
