Stochastic differential dynamic logic for stochastic hybrid programs

DOI10.1007/978-3-642-22438-6_34MaRDI QIDQ5200042zbMATH OpenOpenAlexFDO

Authors André Platzer

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Differential Logic for Reasoning About Hybrid Systems
• Differential dynamic logic for hybrid systems
• Logics of dynamical systems
• Quantified Differential Dynamic Logic for Distributed Hybrid Systems
• A compositional modelling and verification framework for stochastic hybrid systems

Cites work

• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• A probabilistic dynamic logic
• A probabilistic PDL
• Assume-guarantee verification for probabilistic systems
• Bayesian statistical model checking with application to Simulink/Stateflow verification
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs
• Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
• Ergodic Control of Switching Diffusions
• scientific article; zbMATH DE number 5913352 (Why is no real title available?)
• scientific article; zbMATH DE number 51724 (Why is no real title available?)
• scientific article; zbMATH DE number 1444349 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Markov logic networks
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Quantified Differential Dynamic Logic for Distributed Hybrid Systems
• Semantics of probabilistic programs
• Stochastic differential dynamic logic for stochastic hybrid programs
• Stochastic differential equations. An introduction with applications.
• Stochastic stability and control
• Symbolic model checking for probabilistic timed automata
• Toward a general theory of stochastic hybrid systems

Cited in

(10)

• A compositional modelling and analysis framework for stochastic hybrid systems
• A compositional modelling and verification framework for stochastic hybrid systems
• (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program
• On distributed stochastic logics for mobile systems
• Verification of Hybrid Systems
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs
• Quantified Differential Dynamic Logic for Distributed Hybrid Systems
• Stochastic differential dynamic logic for stochastic hybrid programs
• Differential game logic
• Embedding differential dynamic logic in PVS

This page was built for publication: Stochastic differential dynamic logic for stochastic hybrid programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5200042)