Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables

DOI10.1007/978-3-662-54458-7_20zbMath1486.68112OpenAlexW2613089927MaRDI QIDQ2988378

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

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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Computational complexity of solving polynomial differential equations over unbounded domains
• Kolmogorov forward equation and explosiveness in countable state Markov processes
• Denumerable Markov processes and the associated contraction semigroups on l
• Continuous-time Markov chains. An applications-oriented approach
• On the matrix powers and exponential by the \(r\)-generalized Fibonacci sequences methods: The companion matrix case
• Moment Semantics for Reversible Rule-Based Systems
• Approximation and inference methods for stochastic biochemical kinetics—a tutorial review
• Vector-valued Laplace Transforms and Cauchy Problems
• ON THE EXISTENCE OF THE DERIVATIVE OF MARKOFF TRANSITION PROBABILITY FUNCTIONS
• The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
• One-Parameter Semigroups for Linear Evolution Equations
• Adaptive uniformization
• Computable analysis of the abstract Cauchy problem in a Banach space and its applications I
• COUNTABLE STATE MARKOV PROCESSES: NON-EXPLOSIVENESS AND MOMENT FUNCTION
• The Feller Property for Markov Semigroups on a Countable State Space

This page was built for publication: Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables