Publication:4324960

zbMath0821.65099MaRDI QIDQ4324960

William J. Stewart

Publication date: 2 March 1995

zbMATH Keywords

Mathematics Subject Classification ID

60J10: Markov chains (discrete-time Markov processes on discrete state spaces)

65-02: Research exposition (monographs, survey articles) pertaining to numerical analysis

60-02: Research exposition (monographs, survey articles) pertaining to probability theory

65C99: Probabilistic methods, stochastic differential equations

Related Items

Numerical method for discrete-time finite-buffer queues with some regenerative structure, The group inverse of finite homogeneous QBD processes, Birth and Death (BDP) Process Models with Applications, Discrete reachability of hybrid systems, Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders, Filtering and the EM-Algorithm for the Markovian Arrival Process, On Decision Problems for Probabilistic Büchi Automata, AnRG-Factorization Approach for a BMAP/M/1 Generalized Processor-Sharing Queue, An Aggregation/Disaggregation Algorithm for Stochastic Automata Networks, Process algebra for performance evaluation, Aggregation/disaggregation method for safety models., Aggregation/disaggregation iterative methods applied to Leontev systems and Markov chains., The Kronecker product and stochastic automata networks, Numerical analysis of continuous time Markov decision processes over finite horizons, Exact algorithms for singular tridiagonal systems with applications to Markov chains, A decision support model for warranty servicing of repairable items, Algorithmic analysis of a multiserver Markovian queue with primary and secondary services, A note on local and global convergence analysis of iterative aggregation-disaggregation methods., A note on the pagerank algorithm, Switched PIOA: parallel composition via distributed scheduling, An Arnoldi-type algorithm for computing Page Rank, Local convergence analysis of iterative aggregation--disaggregation methods with polynomial correction, A multi-server synchronous vacation model with thresholds and a probabilistic decision rule, A solver for the stochastic master equation applied to gene regulatory networks, Analysis of a \(k\)-out-of-\(N\) system with spares, repairs, and a probabilistic rule, Performance analysis of two-loop closed production systems, Entrywise relative perturbation bounds for exponentials of essentially non-negative matrices, Inexact GMRES for singular linear systems, The influence of delivery times on repairable \(k\)-out-of-\(N\) systems with spares, Query-based verification of qualitative trends and oscillations in biochemical systems, Mixing logics and rewards for the component-oriented specification of performance measures, Quotient convergence and multi-splitting methods for solving singular linear equations, Convergence and quotient convergence of iterative methods for solving singular linear equations with index one, Discrete-time stochastic modeling and simulation of biochemical networks, Modelling spatio-temporal movement of tourists using finite Markov chains, Learning the structure of dynamic Bayesian networks from time series and steady state measurements, Krylov and steady-state techniques for the solution of the chemical master equation for the mitogen-activated protein kinase cascade, A computational analysis of localized \(\text{Ca}^{2+}\)-dynamics generated by heterogeneous release sites, Alternating two-stage methods for consistent linear systems with applications to the parallel solution of Markov chains, A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems, Exact performance equivalence: An equivalence relation for stochastic automata, Analysis of a versatile multi-class delay-loss system with a superimposed Markovian arrival process, Uniform acceleration expansions for Markov chains with time-varying rates, Countable state Markov process bootstrap, A note on the extended convergence of SOR for two-periodic Markov chains, Iterative methods based on splittings for stochastic automata networks, A parallel solver for large-scale Markov chains, Parallel computation of polynomial GCD and some related parallel computations over abstract fields, An analytical formula for variance of output from a series-parallel production system with no interstation buffers and time-dependent failures, On the use of MTBDDs for performability analysis and verification of stochastic systems., Model-checking large structured Markov chains., Rapid, efficient analysis of the \(\lambda(n)/C_{k}/r/N\) queue, with application to decomposition of closed queuing networks., The theory of elementary landscapes, A QBD approach to evolutionary game theory, A direct projection method for Markov chains, Algebraic Schwarz methods for the numerical solution of Markov chains, Block SOR for Kronecker structured representations, Aggregation of stochastic automata networks with replicas, Symbolic state-space exploration and numerical analysis of state-sharing composed models, Algorithms for an irreducible and lumpable strong stochastic bound, Rate-tilting for fast simulation of level/phase processes, On the exact simulation of functionals of stationary Markov chains, Approximate mean value analysis based on Markov chain aggregation by composition, Comparison theorems for the convergence factor of iterative methods for singular matrices, Solution of infinite linear systems by automatic adaptive iterations, An adaptive aggregation/disaggregation algorithm for hierarchical Markovian models, Componentwise bounds for nearly completely decomposable Markov chains using stochastic comparison and reordering, Analysis of assembly systems controlled with kanbans, Lumpable continuous-time stochastic automata networks., Performance measure sensitive congruences for Markovian process algebras, An improved saddlepoint approximation based on the negative binomial distribution for the general birth process, Convergence theory of some classes of iterative aggregation/disaggregation methods for computing stationary probability vectors of stochastic matrices, Quasi-birth-and-death processes, level-geometric distributions. An aggregation/disaggregation approach, Iterative aggregation/disaggregation methods for computing some characteristics of Markov chains. II: Fast convergence, Kronecker representation and decompositional analysis of closed queueing networks with phase-type service distributions and arbitrary buffer sizes, Comparative branching-time semantics for Markov chains, A disaster queue with Markovian arrivals and impatient customers, Approximation of the non-stationary \(M(t)/M(t)/c(t)\)-queue using stationary queueing models: The stationary backlog-carryover approach, Bounds and approximations for continuous-time Markovian transition probabilities and large systems, Fixation in haploid populations exhibiting density dependence. I: The non-neutral case, Adaptive solution of infinite linear systems by Krylov subspace methods, Bisimulation relations for weighted automata, Algorithmic analysis of the \(Geo/Geo/c\) retrial queue, Supply disruptions with time-dependent parameters, Markov property for a function of a Markov chain: A linear algebra approach, A periodic Krylov-Schur algorithm for large matrix products, The periodic QR algorithm is a disguised QR algorithm, A theory of stochastic systems. II: Process algebra, A preorder relation for Markov reward processes, State reduction in a Markov decision process, Influence of Preconditioning and Blocking on Accuracy in Solving Markovian Models, Heuristic Hill-Climbing as a Markov Process, Stochastic and substochastic solutions for infinite-state Markov chains with applications to matrix-analytic methods, A MARKOV-PROCESS INSPIRED CA MODEL OF HIGHWAY TRAFFIC, Survey on Directed Model Checking, ANALYSIS OF A MULTI-SERVER QUEUE WITH MARKOVIAN ARRIVALS AND SYNCHRONOUS PHASE TYPE VACATIONS