The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
From MaRDI portal
Publication:3321196
DOI10.1287/opre.32.2.343zbMath0536.60078OpenAlexW1984121732MaRDI QIDQ3321196
Douglas R. Miller, Donald Gross
Publication date: 1984
Published in: Operations Research (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/9b921577ca4737ef55cc459e372243ae1c04c426
Queueing theory (aspects of probability theory) (60K25) Continuous-time Markov processes on discrete state spaces (60J27) Applications of queueing theory (congestion, allocation, storage, traffic, etc.) (60K30)
Related Items
Analytical computation of Markov chain using Padé approximations, The uniformized power method for transient solutions of Markov processes, Numerically stable methods for the computation of exit rates in Markov chains, A stochastic model of optimal advertising pulsing policy, Means and variances of time averages in Markovian environments, Temporal stochastic convexity and concavity, Accurate Chemical Master Equation Solution Using Multi-Finite Buffers, Numerical transient analysis of Markov models, Comparative branching-time semantics for Markov chains, A dependability measure for Markov models of repairable systems: Solution by randomization and computational experience, Markov chain models of a telephone call center with call blending, Transient solutions for multidimensional denumerable state Markov processes, A numerical approach for evaluating the time-dependent distribution of a quasi birth-death process, Time-dependent performance approximation of truck handling operations at an air cargo terminal, Computing the expected Markov reward rates with stationarity detection and relative error control, Nonstationary queues with interrupted Poisson arrivals and unreliable/repairable servers, Analyzing Oscillatory Behavior with Formal Methods, On performance measures for evacuation systems, A uniformisation-driven algorithm for inference-related estimation of a phase-type ageing model, Computational Probability for Systems Biology, Lumpability abstractions of rule-based systems, History of Queueing Theory in Canada Prior to 1980, Four Canadian Contributions to Stochastic Modeling, Three-valued abstraction for probabilistic systems, Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization., Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables, The Exit Time Finite State Projection Scheme: Bounding Exit Distributions and Occupation Measures of Continuous-Time Markov Chains, State-Aware Performance Analysis with eXtended Stochastic Probes, A Generalized Method for the Transient Analysis of Markov Models of Fault-Tolerant Systems with Deferred Repair, Implicit ODE solvers with good local error control for the transient analysis of Markov models, Error bounds for state space truncation of finite Jackson networks, Uniformization for nonhomogeneous Markov chains, Transient Analysis of Large Markov Models with Absorbing States Using Regenerative Randomization, Specification techniques for Markov reward models, Modeling discrete event systems with state-dependent deterministic service times, Analysis of \(GI^{X}/ M(n)// N\) systems with stochastic customer acceptance policy, Reliability Bounds for Fault-Tolerant Systems with Deferred Repair using Bounding Split Regenerative Randomization, Modelling default contagion using multivariate phase-type distributions, Performability assessment by model checking of Markov reward models, Efficient implementations of the randomization method with control of the relative error, Linear dynamics for the state vector of Markov chain functions, Algorithms for Markov stochastic models, First passage times for multidimensional denumerable state Markov processes, Synchronous working vacation policy for finite-buffer multiserver queueing system, A decision support model for warranty servicing of repairable items, Analysis of \(\text{GI}/\text{M}/s/c\) queues using uniformisation, Model checking expected time and expected reward formulae with random time bounds, CSL model checking algorithms for QBDs, An Approximation to the Distribution and the Moments of the Number of Events in Markovian Arrival Processes, Delayed Nondeterminism in Continuous-Time Markov Decision Processes, Robust train regulation for metro lines with stochastic passenger arrival flow, Approximating Matrix-Exponential Distributions by Global Randomization, Transient analysis of two queues in parallel with jockeying, Queueing theory in manufacturing systems analysis and design: A classification of models for production and transfer lines, Upper bounds on Poisson tail probabilities, A numerical study of large sparse matrix exponentials arising in Markov chains., Stochastic modelling of combat with reinforcement, Formalisms for Specifying Markovian Population Models, Unnamed Item, Unnamed Item, Computing exponentials of essentially non-negative matrices entrywise to high relative accuracy, On first passage times in discrete skeletons and uniformized versions of a continuous-time Markov chain, Iterative solution methods for obtaining the steady-state probability distributions of Markovian multi-echelon repairable item inventory systems, Analyses of an M/M/N queue with servers' vacations, A class of hierarchical queueing networks and their analysis, First passage times for Markov renewal processes and applications, Dependability evaluation of hierarchical systems
