Filters








28,482 Hits in 3.6 sec

Transient analysis of a semi-Markov availability/reliability model: Numerical exploration via the matrix Laguerre transform

1985 Stochastic Processes and their Applications  
The model is formulated as a multivariate stochastic process with certain semi-Markov structure. The exponentiality assumption prevalent in the literature is totally eliminated.  ...  A numerical example is given, demonstrating speed, accuracy and stability of these procedures. Ergodic theorems Pettis Mean Convergence of Martingales and Amarts  ...  Transient Analysis of a Semi-Markov Availability/Reliability Model: Numerical Exploration via the Matrix Laguerre Transform Ushio Sumita* and Yasushi Masuda, University of Rochester, New York, USA We consider  ... 
doi:10.1016/0304-4149(85)90363-1 fatcat:j6hy7qi2yjadpnm6qhci6rvc6e

Markovian models for deadlock analysis in automated manufacturing systems

Y Narahari, N Viswanadham, K R Krishna Prasad
1990 Sadhana (Bangalore)  
We also show that the distribution of time to deadlock can be computed by conducting a transient analysis of the Markov chain model.  ...  In this paper, we show that Markov chains with absorbing states provide a natural model of manufacturing systems with deadlocks.  ...  If we are interested in the distributions of the time to deadlock, then we need to conduct a transient analysis of the Markov chain model.  ... 
doi:10.1007/bf02811330 fatcat:dnhvcp6lhzhqtcwaue77hb6564

A Set of Performance and Dependability Analysis Components for CADP [chapter]

Holger Hermanns, Christophe Joubert
2003 Lecture Notes in Computer Science  
This paper describes a set of analysis components that open the way to perform performance and dependability analysis with the Cadp toolbox, originally designed for verifying the functional correctness  ...  Three new tools (named Bcg Steady, Bcg Transient and Determinator) have been added to the toolbox.  ...  The tools Bcg Transient and Bcg Steady are based on code provided by Vassilis Mertsiotakis (Lucent Technologies) as part of the TIPPtool, which was developed at the University of Erlangen-Nürnberg.  ... 
doi:10.1007/3-540-36577-x_30 fatcat:psz3672jqjfzvns52sihddnyq4

Quantitative system evaluation with DSPNexpress 2000

Christoph Lindemann, Axel Thümmler, Alexander Klemm, Marco Lohmann, Oliver P. Waldhorst
2000 Proceedings of the second international workshop on Software and performance - WOSP '00  
The unique feature of DSPNexpress constitute numerical solvers for transient and steady-state analysis of generalized-semi Markov processes with exponential and deterministic events, which may be concurrently  ...  The computational effort required by DSPNexpress for transient and steady-state analysis is plotted for varying model size. Furthermore, a performance curve for a measure of interest is presented.  ...  Numerical computation of kernel elements of the GSSMC relies also on transient analysis of subordinated Markov chains and subsequent summation of appropriately selected transient probabilities [7] .  ... 
doi:10.1145/350391.350396 dblp:conf/wosp/LindemannTKLW00 fatcat:jxvya73nbner7ic7trfolfu36q

Corrigendum: 'Transient Analysis of Rewarded Continuous Time Markov Models by Regenerative Randomization with Laplace Transform Inversion'

J. A. Carrasco
2008 Computer journal  
REFERENCE [1] Carrasco, J.A. (2003) Transient analysis of rewarded continuous time Markov models by regenerative randomization with Laplace transform inversion, Comput.  ...  The Laplace transform inversion algorithm used in the numerical method described in the paper [1] differs essentially from the one implemented in the DLAINV FORTRAN subroutine described in [27] only in  ...  REFERENCE [ 1 ] 1 Carrasco, J.A. (2003) Transient analysis of rewarded continuous time Markov models by regenerative randomization with Laplace transform inversion, Comput. J., 46, 84 -99; doi: 10.  ... 
doi:10.1093/comjnl/bxn033 fatcat:326yjxy3cbfttcmm7xewdexp3m

Page 121 of Automation and Remote Control Vol. 53, Issue 12 [page]

1992 Automation and Remote Control  
Trivedi, “Numerical transient analysis of Markov models," Computers and Op. Res. , 15, No. 1, 19-36 (1988). A. L. Reibman and K. S.  ...  Trivedi, "Transient analysis of cumulative measures of Markov model behavior," Commun. Stat. — Stochastic Models, 5, No. 4, 683-710 (1989).  ... 

TIPPtool: Compositional Specification and Analysis of Markovian Performance Models [chapter]

H. Hermanns, V. Mertsiotakis, M. Siegle
1999 Lecture Notes in Computer Science  
The tool offers both model specification and quantitative model analysis in a compositional fashion, wrapped in a userfriendly graphical front-end.  ...  analysis of the underlying Markov chain, -Functions for the calculation of performance and dependability measures, -Support of experiment series, -Output of numerical results using the tool pxgraph, -  ...  For a particular Markov chain, a system of ordinary differential equations needs to be solved in order to obtain the state probabilities at a particular time instant t (transient analysis).  ... 
doi:10.1007/3-540-48683-6_42 fatcat:rmc24nctvfdppf6qpkhbv5ddoi

Stiffness-tolerant methods for transient analysis of stiff Markov chains

Manish Malhotra, Jogesh K. Muppala, Kishor S. Trivedi
1994 Microelectronics and reliability  
Three methods for numerical transient analysis of Markov chains, the modified Jensen's method (Jensen's method with steady-state detection of the underlying DTMC and computation of Poisson probabilities  ...  For stiff models, computation of Poisson probabilities using traditional methods runs into underflow problems.  ...  V, Ramesh for many useful suggestions and insights into the numerical methods. The help of Dr. Christoph Lindemann is gratefully acknowledged.  ... 
doi:10.1016/0026-2714(94)90137-6 fatcat:g6nfzjjoqzczhdsqzftgaykxhe

Performability modelling tools and techniques

Boudewijn R. Haverkort, Ignas G. Niemegeers
1996 Performance evaluation (Print)  
modelling and analysis.  ...  Modelling techniques are a fundamental prerequisite for actually doing performability analysis.  ...  However, even when computer support is available for the numerical analysis there are a number of problems that hinder the use of the state-of-the-art Markov reward model evaluation techniques: (1) system  ... 
doi:10.1016/0166-5316(94)00038-7 fatcat:z3en5yre2rczpg6hyh6du7sn2u

A Stochastic Analysis of Temperature and Thermal Stress in Functionally Graded Plates with Randomly Varying Initial Temperature
ランダムな初期温度をもつ傾斜機能平板の温度と熱応力の確率論的解析

Yoshihiro SUGANO, Ryoichi CHIBA
2002 Journal of the Society of Materials Science Japan  
Numerical calculations are carried out, assuming that the random initial temperature of the FGM plates is a white noise disturbance or a homogeneous Markov random field.  ...  The associated transient thermal stress is obtained by using the closed-form solution derived by one of the authors for a nonhomogeneous plate with arbitrary variations in mechanical properties.  ...  Relationship between the gradual changes in the material composition and the mean square value of transient thermal stress in FGM plates having the initial temperature that is modeled as Markov random  ... 
doi:10.2472/jsms.51.653 fatcat:hmdif2dsrrecra64ffmf3zbh2m

Page 7317 of Mathematical Reviews Vol. , Issue 90M [page]

1990 Mathematical Reviews  
); Trivedi, Kishor (1-DUKE-C) Transient analysis of cumulative measures of Markov model behavior.  ...  In this paper, we consider the transient analysis of ‘cumula- Software 90m:68018 tive’ or ‘integral’ measures of Markov and Markov reward model behavior.  ... 

Performance Evaluation of Controlled Arrival Rate System through Matrix Geometric Method Using Transient Analysis

Wajiha Shah, Syed Asif Ali Shah, Wanod Kumar
2013 Mehran University Research Journal of Engineering and Technology  
The comparisons of results of transient analysis for Markovian and phase-type controlled arrival rate systems are also done.  ...  Performance evaluation based on transient analysis has significant importance to those systems which never reached at equilibrium.  ...  STRUCTURED MARKOV CHAIN WITH HYPEREXPONENTIAL DISTRIBUTION FIG. 4 . 4 TRANSIENT ANALYSIS: MEAN NUMBER IN THE SYSTEM: COMPARISON OF TRANSIENT ANALYSIS WITH MARKOVIAN, HYPO AND HYPEREXPONENTIAL DISTRIBUTION  ... 
doaj:791a44582d5a4cbc86559a931c9442b1 fatcat:taocj5jmzzfvhe3kbrdfda5av4

Page 9199 of Mathematical Reviews Vol. , Issue 2002M [page]

2002 Mathematical Reviews  
.” 2002m:60185 60K25 Sen, Kanwar (6-DELHI-S; Delhi) Lattice path approach to transient analysis of M/G/1/N non- Markovian queues using Cox distributions.  ...  In addition, we use a Brownian-motion model to approximate the identity. This produces an approximation of the expected transient delay.  ... 

Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models

Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
2006 Future generations computer systems  
This paper presents an iterative technique for transient and passage time analysis of large structurally unrestricted semi-Markov processes.  ...  Semi-Markov processes (SMPs) are expressive tools for modelling parallel and distributed systems; they are a generalisation of Markov processes that allow for arbitrarily distributed sojourn times.  ...  Distributed System Modelling Introduction We demonstrate the SMP analysis techniques of the previous sections with a semi-Markov model of a distributed voting system.  ... 
doi:10.1016/j.future.2006.02.011 fatcat:va4b6mr3ybdjlffvqycs7vact4

Transient analysis of manufacturing systems performance

Y. Narahari, N. Viswanadham
1994 IEEE Transactions on Robotics and Automation  
In this paper, we focus on transient analysis of Markovian models of manufacturing systems.  ...  The first problem is concerned with the computation of distribution of time to absorption in Markov models of manufacturing systems with deadlocks or failures, and the second problem shows the relevance  ...  ACKNOWLEDGMENT The first author gratefully acknowledges the excellent academic and computing facilities at the Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, where  ... 
doi:10.1109/70.282547 fatcat:th7zpz7g6featdempta5pq6nnq
« Previous Showing results 1 — 15 out of 28,482 results