Structured Markov chains solver

Concepts

Mathematical ProgrammingComputational ScienceFortran 95EngineeringAutomated ReasoningStructured Markov ChainsHidden Markov ModelMarkov KernelFormal MethodsComputer EngineeringSystems EngineeringMatlab ToolboxComputer ScienceMarkov Chain Monte CarloParallel ComputingCombinatorial OptimizationPackage Smc-solverMarkov Decision Process

Abstract

The package SMC-Solver for solving structured Markov chains is presented. It contains the most advanced algorithms for solving QBD, M/G/1 and G/M/1 problems. The package is provided in two versions: a Matlab toolbox and a Fortran 95 version with a user-friendly graphical interface.

References

Regenerative Analysis and Steady State Distributions for Markov Chains

Winfried K. Grassmann, Michael Taksar, Daniel P. Heyman · Operations Research · 1985 · 363 citations

Markov Chains, Engineering, Entropy +12

An invariant subspace approach in m/g/l and g/m/l type markov chains

Nail Akar, Khosrow Sohraby · Communications in Statistics Stochastic Models · 1997 · 94 citations

Spectral Theory, Mathematical Programming, Engineering +17

Structured Markov chains solver

Dario A. Bini, Beatrice Meini, S. Steffé et al. · 2006 · 32 citations

Mathematical Programming, Engineering, Numerical Solution +18

Response time in a tandem queue with blocking, Markovian arrivals and phase-type services

Benny Van Houdt, Attahiru Sule Alfa · Operations Research Letters · 2004 · 20 citations

Markovian Arrivals, Fluid Queue, Engineering +10

FIFO by sets ALOHA (FS-ALOHA): a collision resolution algorithm for the contention channel in wireless ATM systems

D. Vázquez-Cortizo, Chris Blondia, Benny Van Houdt · Performance Evaluation · 1999 · 13 citations

Collision Resolution Algorithm, Engineering, Network Communication Protocol +9