Computing continuous-time Markov chains as transformers of unbounded observables

DOI10.1007/978-3-662-54458-7_20MaRDI QIDQ2988378zbMATH OpenOpenAlexFDO

Authors Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen

Publication date 19 May 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/32937404/theSubmittedVersion.pdf

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Imprecise continuous-time Markov chains
• scientific article; zbMATH DE number 1867247
• Model-checking continuous-time Markov chains
• Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
• Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Cites work

• Adaptive uniformization
• Approximation and inference methods for stochastic biochemical kinetics -- a tutorial review
• Computable analysis of the abstract Cauchy problem in a Banach space and its applications I
• Computational complexity of solving polynomial differential equations over unbounded domains
• Continuous-time Markov chains. An applications-oriented approach
• Countable state Markov processes: non-explosiveness and moment function
• Denumerable Markov processes and the associated contraction semigroups on l
• Fast computation of power series solutions of systems of differential equations
• Kolmogorov forward equation and explosiveness in countable state Markov processes
• Moment semantics for reversible rule-based systems
• ON THE EXISTENCE OF THE DERIVATIVE OF MARKOFF TRANSITION PROBABILITY FUNCTIONS
• On the matrix powers and exponential by the \(r\)-generalized Fibonacci sequences methods: The companion matrix case
• One-Parameter Semigroups for Linear Evolution Equations
• Stochastic graph transformation systems
• The Feller Property for Markov Semigroups on a Countable State Space
• The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
• Vector-valued Laplace transforms and Cauchy problems

Cited in

(1)

• Combinatorial conversion and moment bisimulation for stochastic rewriting systems

This page was built for publication: Computing continuous-time Markov chains as transformers of unbounded observables

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