Pages that link to "Item:Q3321196"
From MaRDI portal
The following pages link to The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes (Q3321196):
Displaying 50 items.
- Numerically stable methods for the computation of exit rates in Markov chains (Q292343) (← links)
- Time-dependent performance approximation of truck handling operations at an air cargo terminal (Q342140) (← links)
- Lumpability abstractions of rule-based systems (Q418843) (← links)
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- Modelling default contagion using multivariate phase-type distributions (Q539143) (← links)
- Synchronous working vacation policy for finite-buffer multiserver queueing system (Q555403) (← links)
- Specification techniques for Markov reward models (Q686334) (← links)
- Modeling discrete event systems with state-dependent deterministic service times (Q686337) (← links)
- Algorithms for Markov stochastic models (Q701586) (← links)
- First passage times for multidimensional denumerable state Markov processes (Q701633) (← links)
- A decision support model for warranty servicing of repairable items (Q709118) (← links)
- Analyses of an M/M/N queue with servers' vacations (Q808563) (← links)
- Markov chain models of a telephone call center with call blending (Q858269) (← links)
- Performability assessment by model checking of Markov reward models (Q968359) (← links)
- CSL model checking algorithms for QBDs (Q995462) (← links)
- A stochastic model of optimal advertising pulsing policy (Q1088897) (← links)
- Means and variances of time averages in Markovian environments (Q1090010) (← links)
- Temporal stochastic convexity and concavity (Q1093262) (← links)
- Numerical transient analysis of Markov models (Q1101812) (← links)
- Nonstationary queues with interrupted Poisson arrivals and unreliable/repairable servers (Q1115031) (← links)
- On performance measures for evacuation systems (Q1127133) (← links)
- Uniformization for nonhomogeneous Markov chains (Q1195867) (← links)
- Queueing theory in manufacturing systems analysis and design: A classification of models for production and transfer lines (Q1268222) (← links)
- A numerical study of large sparse matrix exponentials arising in Markov chains. (Q1277695) (← links)
- Stochastic modelling of combat with reinforcement (Q1278089) (← links)
- Iterative solution methods for obtaining the steady-state probability distributions of Markovian multi-echelon repairable item inventory systems (Q1310048) (← links)
- A class of hierarchical queueing networks and their analysis (Q1319159) (← links)
- Dependability evaluation of hierarchical systems (Q1323384) (← links)
- Analytical computation of Markov chain using Padé approximations (Q1332799) (← links)
- Transient solutions for multidimensional denumerable state Markov processes (Q1362320) (← links)
- Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization. (Q1423444) (← links)
- First passage times for Markov renewal processes and applications (Q1609562) (← links)
- Implicit ODE solvers with good local error control for the transient analysis of Markov models (Q1737142) (← links)
- Upper bounds on Poisson tail probabilities (Q1821420) (← links)
- A dependability measure for Markov models of repairable systems: Solution by randomization and computational experience (Q1903783) (← links)
- On first passage times in discrete skeletons and uniformized versions of a continuous-time Markov chain (Q2087063) (← links)
- A numerical approach for evaluating the time-dependent distribution of a quasi birth-death process (Q2157402) (← links)
- Robust train regulation for metro lines with stochastic passenger arrival flow (Q2293049) (← links)
- The uniformized power method for transient solutions of Markov processes (Q2368113) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
- Computing the expected Markov reward rates with stationarity detection and relative error control (Q2397958) (← links)
- Error bounds for state space truncation of finite Jackson networks (Q2462116) (← links)
- Analysis of \(GI^{X}/ M(n)// N\) systems with stochastic customer acceptance policy (Q2481136) (← links)
- Efficient implementations of the randomization method with control of the relative error (Q2485165) (← links)
- Analysis of \(\text{GI}/\text{M}/s/c\) queues using uniformisation (Q2494793) (← links)
- Model checking expected time and expected reward formulae with random time bounds (Q2494794) (← links)
- Computing exponentials of essentially non-negative matrices entrywise to high relative accuracy (Q2840622) (← links)
- Analyzing Oscillatory Behavior with Formal Methods (Q2937728) (← links)
- Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables (Q2988378) (← links)
- An Approximation to the Distribution and the Moments of the Number of Events in Markovian Arrival Processes (Q3068087) (← links)
