Lumpability for uncertain continuous-time Markov chains

DOI10.1007/978-3-030-85172-9_21MaRDI QIDQ832091zbMATH OpenOpenAlexFDO

Authors Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Publication date 24 March 2022

Full work available at URL https://backend.orbit.dtu.dk/ws/files/262406426/qest2021.pdf

zbMATH Keywords

continuous-time Markov chains

Mathematics Subject Classification ID

Continuous-time Markov processes on general state spaces (60J25)

Recommendations

• Weighted lumpability on Markov chains
• Lumpability and marginalisability for continuous-time Markov chains
• Reasoning about proportional lumpability
• A finite characterization of weak lumpable Markov processes. II: The continuous time case
• Exact and ordinary lumpability in finite Markov chains

Cites work

• scientific article; zbMATH DE number 3514781 (Why is no real title available?)
• A Compositional Approach to Performance Modelling
• Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
• Bisimulations and logical characterizations on continuous-time Markov decision processes
• Constraint Markov chains
• Continuous-time Markov decision processes. Theory and applications
• Discrete, Continuous, and Hybrid Petri Nets
• Efficient Coalgebraic Partition Refinement
• Exact and ordinary lumpability in finite Markov chains
• Exact epidemic models on graphs using graph-automorphism driven lumping
• Exploiting robust optimization for interval probabilistic bisimulation
• From generic partition refinement to weighted tree automata minimization
• Interval-valued finite Markov chains
• Markov Chains
• Model Checking Software
• Numerical initial value problems in ordinary differential equations.
• Optimal continuous time Markov decisions
• Optimal state-space lumping in Markov chains
• Polynomial-time alternating probabilistic bisimulation for interval MDPs
• Precise parameter synthesis for stochastic biochemical systems
• Probability, Markov chains, queues, and simulation. The mathematical basis of performance modeling.
• Simple \(O(m \log n)\) time Markov chain lumping
• Symbolic computation of differential equivalences
• Syntactic Markovian bisimulation for chemical reaction networks
• Three-Valued Abstraction for Continuous-Time Markov Chains
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(6)

• Lumpability and Commutativity of Markov Processes
• Optimal state-space lumping in Markov chains
• Sampling-Based Verification of CTMCs with Uncertain Rates
• Bounding inferences for large-scale continuous-time Markov chains: a new approach based on lumping and imprecise Markov chains
• Lumpability in compartmental models
• Weighted lumpability on Markov chains

Describes a project that uses

Uses Software

• ERODE
• Flow*
• Storm
• MRMC
• PRISM

This page was built for publication: Lumpability for uncertain continuous-time Markov chains

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