Weighted lumpability on Markov chains

DOI10.1007/978-3-642-29709-0_28zbMATH Open1336.68186OpenAlexW1575787262WikidataQ57801188 ScholiaQ57801188MaRDI QIDQ3457985FDOQ3457985

Authors: Arpit Sharma, Joost-Pieter Katoen 

Publication date: 7 December 2015

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29709-0_28

Recommendations

• Exact and ordinary lumpability in finite Markov chains
• Lumpability for uncertain continuous-time Markov chains
• A finite characterization of weak lumpable Markov processes. II: The continuous time case
• Lumpability and marginalisability for continuous-time Markov chains
• On weak lumpability of denumerable Markov chains

zbMATH Keywords

continuous-time Markov chainmetric temporal logicbisimulationdeterministic timed automatonweighted lumpability

Mathematics Subject Classification ID

Applications of continuous-time Markov processes on discrete state spaces (60J28) Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (6)

• Lumpability for uncertain continuous-time Markov chains
• Unwinding biological systems
• On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi
• Simple \(O(m \log n)\) time Markov chain lumping
• The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism
• Time-Bounded Verification of CTMCs against Real-Time Specifications

This page was built for publication: Weighted lumpability on Markov chains

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