Markov Chains and Dependability Theory

Markov Chains and Dependability Theory PDF Author: Gerardo Rubino
Publisher: Cambridge University Press
ISBN: 1139991841
Category : Technology & Engineering
Languages : en
Pages : 287

Get Book Here

Book Description
Dependability metrics are omnipresent in every engineering field, from simple ones through to more complex measures combining performance and dependability aspects of systems. This book presents the mathematical basis of the analysis of these metrics in the most used framework, Markov models, describing both basic results and specialised techniques. The authors first present both discrete and continuous time Markov chains before focusing on dependability measures, which necessitate the study of Markov chains on a subset of states representing different user satisfaction levels for the modelled system. Topics covered include Markovian state lumping, analysis of sojourns on subset of states of Markov chains, analysis of most dependability metrics, fundamentals of performability analysis, and bounding and simulation techniques designed to evaluate dependability measures. The book is of interest to graduate students and researchers in all areas of engineering where the concepts of lifetime, repair duration, availability, reliability and risk are important.

Markov Chains and Dependability Theory

Markov Chains and Dependability Theory PDF Author: Gerardo Rubino
Publisher: Cambridge University Press
ISBN: 1139991841
Category : Technology & Engineering
Languages : en
Pages : 287

Get Book Here

Book Description
Dependability metrics are omnipresent in every engineering field, from simple ones through to more complex measures combining performance and dependability aspects of systems. This book presents the mathematical basis of the analysis of these metrics in the most used framework, Markov models, describing both basic results and specialised techniques. The authors first present both discrete and continuous time Markov chains before focusing on dependability measures, which necessitate the study of Markov chains on a subset of states representing different user satisfaction levels for the modelled system. Topics covered include Markovian state lumping, analysis of sojourns on subset of states of Markov chains, analysis of most dependability metrics, fundamentals of performability analysis, and bounding and simulation techniques designed to evaluate dependability measures. The book is of interest to graduate students and researchers in all areas of engineering where the concepts of lifetime, repair duration, availability, reliability and risk are important.

Markov Chains and Dependability Theory

Markov Chains and Dependability Theory PDF Author: Gerardo Rubino
Publisher: Cambridge University Press
ISBN: 1107007577
Category : Business & Economics
Languages : en
Pages : 287

Get Book Here

Book Description
Covers fundamental and applied results of Markov chain analysis for the evaluation of dependability metrics, for graduate students and researchers.

Markov Chains and Dependability Theory

Markov Chains and Dependability Theory PDF Author: Gerardo Rubino
Publisher:
ISBN: 9781306857789
Category :
Languages : en
Pages :

Get Book Here

Book Description
Covers fundamental and applied results of Markov chain analysis for the evaluation of dependability metrics, for graduate students and researchers.

Markov Chains

Markov Chains PDF Author: Bruno Sericola
Publisher: John Wiley & Sons
ISBN: 1118731530
Category : Mathematics
Languages : en
Pages : 306

Get Book Here

Book Description
Markov chains are a fundamental class of stochastic processes. They are widely used to solve problems in a large number of domains such as operational research, computer science, communication networks and manufacturing systems. The success of Markov chains is mainly due to their simplicity of use, the large number of available theoretical results and the quality of algorithms developed for the numerical evaluation of many metrics of interest. The author presents the theory of both discrete-time and continuous-time homogeneous Markov chains. He carefully examines the explosion phenomenon, the Kolmogorov equations, the convergence to equilibrium and the passage time distributions to a state and to a subset of states. These results are applied to birth-and-death processes. He then proposes a detailed study of the uniformization technique by means of Banach algebra. This technique is used for the transient analysis of several queuing systems. Contents 1. Discrete-Time Markov Chains 2. Continuous-Time Markov Chains 3. Birth-and-Death Processes 4. Uniformization 5. Queues About the Authors Bruno Sericola is a Senior Research Scientist at Inria Rennes – Bretagne Atlantique in France. His main research activity is in performance evaluation of computer and communication systems, dependability analysis of fault-tolerant systems and stochastic models.

Semi-Markov Processes

Semi-Markov Processes PDF Author: Franciszek Grabski
Publisher: Elsevier
ISBN: 0128006595
Category : Mathematics
Languages : en
Pages : 270

Get Book Here

Book Description
Semi-Markov Processes: Applications in System Reliability and Maintenance is a modern view of discrete state space and continuous time semi-Markov processes and their applications in reliability and maintenance. The book explains how to construct semi-Markov models and discusses the different reliability parameters and characteristics that can be obtained from those models. The book is a useful resource for mathematicians, engineering practitioners, and PhD and MSc students who want to understand the basic concepts and results of semi-Markov process theory. - Clearly defines the properties and theorems from discrete state Semi-Markov Process (SMP) theory - Describes the method behind constructing Semi-Markov (SM) models and SM decision models in the field of reliability and maintenance - Provides numerous individual versions of SM models, including the most recent and their impact on system reliability and maintenance

Semi-Markov Chains and Hidden Semi-Markov Models toward Applications

Semi-Markov Chains and Hidden Semi-Markov Models toward Applications PDF Author: Vlad Stefan Barbu
Publisher: Springer Science & Business Media
ISBN: 0387731733
Category : Mathematics
Languages : en
Pages : 233

Get Book Here

Book Description
Here is a work that adds much to the sum of our knowledge in a key area of science today. It is concerned with the estimation of discrete-time semi-Markov and hidden semi-Markov processes. A unique feature of the book is the use of discrete time, especially useful in some specific applications where the time scale is intrinsically discrete. The models presented in the book are specifically adapted to reliability studies and DNA analysis. The book is mainly intended for applied probabilists and statisticians interested in semi-Markov chains theory, reliability and DNA analysis, and for theoretical oriented reliability and bioinformatics engineers.

Understanding Markov Chains

Understanding Markov Chains PDF Author: Nicolas Privault
Publisher: Springer
ISBN: 9811306591
Category : Mathematics
Languages : en
Pages : 379

Get Book Here

Book Description
This book provides an undergraduate-level introduction to discrete and continuous-time Markov chains and their applications, with a particular focus on the first step analysis technique and its applications to average hitting times and ruin probabilities. It also discusses classical topics such as recurrence and transience, stationary and limiting distributions, as well as branching processes. It first examines in detail two important examples (gambling processes and random walks) before presenting the general theory itself in the subsequent chapters. It also provides an introduction to discrete-time martingales and their relation to ruin probabilities and mean exit times, together with a chapter on spatial Poisson processes. The concepts presented are illustrated by examples, 138 exercises and 9 problems with their solutions.

Reliability and Availability Engineering

Reliability and Availability Engineering PDF Author: Kishor S. Trivedi
Publisher: Cambridge University Press
ISBN: 1107099501
Category : Computers
Languages : en
Pages : 729

Get Book Here

Book Description
Learn about the techniques used for evaluating the reliability and availability of engineered systems with this comprehensive guide.

Probability, Markov Chains, Queues, and Simulation

Probability, Markov Chains, Queues, and Simulation PDF Author: William J. Stewart
Publisher: Princeton University Press
ISBN: 1400832810
Category : Mathematics
Languages : en
Pages : 777

Get Book Here

Book Description
Probability, Markov Chains, Queues, and Simulation provides a modern and authoritative treatment of the mathematical processes that underlie performance modeling. The detailed explanations of mathematical derivations and numerous illustrative examples make this textbook readily accessible to graduate and advanced undergraduate students taking courses in which stochastic processes play a fundamental role. The textbook is relevant to a wide variety of fields, including computer science, engineering, operations research, statistics, and mathematics. The textbook looks at the fundamentals of probability theory, from the basic concepts of set-based probability, through probability distributions, to bounds, limit theorems, and the laws of large numbers. Discrete and continuous-time Markov chains are analyzed from a theoretical and computational point of view. Topics include the Chapman-Kolmogorov equations; irreducibility; the potential, fundamental, and reachability matrices; random walk problems; reversibility; renewal processes; and the numerical computation of stationary and transient distributions. The M/M/1 queue and its extensions to more general birth-death processes are analyzed in detail, as are queues with phase-type arrival and service processes. The M/G/1 and G/M/1 queues are solved using embedded Markov chains; the busy period, residual service time, and priority scheduling are treated. Open and closed queueing networks are analyzed. The final part of the book addresses the mathematical basis of simulation. Each chapter of the textbook concludes with an extensive set of exercises. An instructor's solution manual, in which all exercises are completely worked out, is also available (to professors only). Numerous examples illuminate the mathematical theories Carefully detailed explanations of mathematical derivations guarantee a valuable pedagogical approach Each chapter concludes with an extensive set of exercises

Semi-Markov Processes and Reliability

Semi-Markov Processes and Reliability PDF Author: N. Limnios
Publisher: Springer Science & Business Media
ISBN: 1461201616
Category : Technology & Engineering
Languages : en
Pages : 226

Get Book Here

Book Description
At first there was the Markov property. The theory of stochastic processes, which can be considered as an exten sion of probability theory, allows the modeling of the evolution of systems through the time. It cannot be properly understood just as pure mathemat ics, separated from the body of experience and examples that have brought it to life. The theory of stochastic processes entered a period of intensive develop ment, which is not finished yet, when the idea of the Markov property was brought in. Not even a serious study of the renewal processes is possible without using the strong tool of Markov processes. The modern theory of Markov processes has its origins in the studies by A. A: Markov (1856-1922) of sequences of experiments "connected in a chain" and in the attempts to describe mathematically the physical phenomenon known as Brownian mo tion. Later, many generalizations (in fact all kinds of weakenings of the Markov property) of Markov type stochastic processes were proposed. Some of them have led to new classes of stochastic processes and useful applications. Let us mention some of them: systems with complete connections [90, 91, 45, 86]; K-dependent Markov processes [44]; semi-Markov processes, and so forth. The semi-Markov processes generalize the renewal processes as well as the Markov jump processes and have numerous applications, especially in relia bility.