Two-layer symbolic representation for stochastic models with phase-type distributed events

DOI10.1080/00207721.2013.822940zbMath1332.93335DBLPjournals/ijsysc/LongoS15OpenAlexW2115777567WikidataQ58598134 ScholiaQ58598134MaRDI QIDQ2792888

Marco Scarpa, Francesco Longo

Publication date: 14 March 2016

Published in: International Journal of Systems Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207721.2013.822940

zbMATH Keywords

phase-type distributionsnon-Markovian modelssymbolic representationdecision diagramsefficient memory occupationpreemption policies

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)

Uses Software

• ESP

Cites Work

• Unnamed Item
• Unnamed Item
• Aggregation of stochastic automata networks with replicas
• Generating BDDs for symbolic model checking in CCS
• A Fully Symbolic Bisimulation Algorithm
• A decomposition approach for stochastic reward net models
• A benchmark for ph estimation algorithms: results for acyclic-ph
• Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
• Workload-Based Software Rejuvenation in Cloud Systems
• Symmetry Reduction for Probabilistic Model Checking
• A Symbolic Algorithm for Optimal Markov Chain Lumping

This page was built for publication: Two-layer symbolic representation for stochastic models with phase-type distributed events