Dynamic Bayesian networks for formal verification of structured stochastic processes

DOI10.1007/S00236-016-0287-9zbMath1364.68262arXiv1507.00509OpenAlexW2558765880WikidataQ59529482 ScholiaQ59529482MaRDI QIDQ523135

Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate

Publication date: 20 April 2017

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.00509

Mathematics Subject Classification ID

Discrete-time Markov processes on general state spaces (60J05) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (5)

Compositional abstraction-based synthesis for networks of stochastic switched systems ⋮ Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach ⋮ Symbolic control for stochastic systems via finite parity games ⋮ Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

Uses Software

• PRISM
• MRMC
• FAUST2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Approximate model checking of stochastic hybrid systems
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Distributed control schemes for large-scale interconnected discrete-time linear systems
• Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
• Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes
• On the connections between PCTL and dynamic programming
• Quantitative automata model checking of autonomous stochastic hybrid systems
• Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
• Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
• Convergence of discretization procedures in dynamic programming
• Factor graphs and the sum-product algorithm
• Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics
• Higher-Order Approximations for Verification of Stochastic Hybrid Systems
• Piecewise affine approximations of fluxes and enzyme kinetics from in vivo¹³C labeling experiments
• Dynamic Response of Linear Mechanical Systems
• Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes

This page was built for publication: Dynamic Bayesian networks for formal verification of structured stochastic processes