Lumpability for uncertain continuous-time Markov chains

DOI10.1007/978-3-030-85172-9_21zbMATH Open1492.60219OpenAlexW3195444073MaRDI QIDQ832091FDOQ832091

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

Publication date: 24 March 2022

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

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

zbMATH Keywords

continuous-time Markov chains

Mathematics Subject Classification ID

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

Cites Work

• Numerical initial value problems in ordinary differential equations.
• Title not available (Why is that?)
• Continuous-time Markov decision processes. Theory and applications
• Optimal Continuous Time Markov Decisions
• Markov Chains
• Discrete, Continuous, and Hybrid Petri Nets
• Three-Valued Abstraction for Continuous-Time Markov Chains
• Constraint Markov chains
• Exact epidemic models on graphs using graph-automorphism driven lumping
• Exact and ordinary lumpability in finite Markov chains
• A Compositional Approach to Performance Modelling
• Optimal state-space lumping in Markov chains
• Simple O(m logn) Time Markov Chain Lumping
• Interval-valued finite Markov chains
• Probability, Markov chains, queues, and simulation. The mathematical basis of performance modeling.
• Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
• Model Checking Software
• Tools and Algorithms for the Construction and Analysis of Systems
• Exploiting robust optimization for interval probabilistic bisimulation
• From generic partition refinement to weighted tree automata minimization
• Precise parameter synthesis for stochastic biochemical systems
• Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes
• Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs
• Efficient Coalgebraic Partition Refinement
• Syntactic Markovian Bisimulation for Chemical Reaction Networks
• Symbolic computation of differential equivalences

Cited In (4)

• Lumpability and Commutativity of Markov Processes
• Sampling-Based Verification of CTMCs with Uncertain Rates
• Optimal state-space lumping in Markov chains
• Lumpability in compartmental models

Uses Software

• PRISM
• MRMC
• Storm
• Flow*
• ERODE

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)