Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains

DOI10.1007/978-3-540-78929-1_18MaRDI QIDQ3523111zbMATH OpenOpenAlexFDO

Authors Tingting Han, Alexandru Mereacre, Joost-Pieter Katoen

Publication date 2 September 2008

Published in Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL http://publications.rwth-aachen.de/record/47950

Mathematics Subject Classification ID

Continuous-time Markov processes on discrete state spaces (60J27)

Recommendations

• scientific article; zbMATH DE number 1397300
• Compositional verification and optimization of interactive Markov chains
• Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
• The how and why of interactive Markov chains
• scientific article; zbMATH DE number 1786475

Cites work

• scientific article; zbMATH DE number 425394 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3711820 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1444338 (Why is no real title available?)
• scientific article; zbMATH DE number 956802 (Why is no real title available?)
• An efficient algorithm for computing bisimulation equivalence
• An implementation of an efficient algorithm for bisimulation equivalence
• Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
• Bisimulation relations for dynamical, control, and hybrid systems
• Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
• Compositional modeling and refinement for hierarchical hybrid systems
• Exact and ordinary lumpability in finite Markov chains
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Interactive Markov chains. And the quest for quantified quality
• Optimal state-space lumping in Markov chains
• Piecewise deterministic Markov processes represented by dynamically coloured Petri nets
• Process algebra for performance evaluation
• Three Partition Refinement Algorithms

Cited in

(9)

• Compositionality for Markov Reward Chains with Fast Transitions
• The how and why of interactive Markov chains
• On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi
• A Tutorial on Interactive Markov Chains
• Computing continuous-time Markov chains as transformers of unbounded observables
• Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
• Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
• scientific article; zbMATH DE number 1397300 (Why is no real title available?)
• On the Minimisation of Acyclic Models

This page was built for publication: Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains

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