Kishor S. Trivedi, Andrea BobbioCambridge University Press, 8/3/2017EAN 9781107099500, ISBN10: 1107099501Hardcover, 726 pages, 25.4 x 18 x 3.6 cmLanguage: EnglishDo you need to know what technique to use to evaluate the reliability of an engineered system? This self-contained guide provides comprehensive coverage of all the analytical and modeling techniques currently in use, from classical non-state and state space approaches, to newer and more advanced methods such as binary decision diagrams, dynamic fault trees, Bayesian belief networks, stochastic Petri nets, non-homogeneous Markov chains, semi-Markov processes, and phase type expansions. Readers will quickly understand the relative pros and cons of each technique, as well as how to combine different models together to address complex, real-world modeling scenarios. Numerous examples, case studies and problems provided throughout help readers put knowledge into practice, and a solutions manual and Powerpoint slides for instructors accompany the book online. This is the ideal self-study guide for students, researchers and practitioners in engineering and computer science.Part I. Introduction1. Introduction2. Dependability evaluation3. Dependability metrics defined on a single unitPart II. Non-State-Space Models (Combinatorial Models)4. Reliability block diagram5. Network reliability6. Fault tree analysis7. State enumeration8. Dynamic redundancyPart III. State-Space Models with Exponential Distributions9. Continuous time Markov chainavailability models10. Continuous time Markov chainreliability models11. Continuous time Markov chainqueueing systems12. Petri netsPart IV. State-Space Models with Non-Exponential Distributions13. Non-homogeneous CTMC14. Semi-Markov and Markov regenerative models15. Phase type expansionPart V. Multi-Level Models16. Hierarchical models17. Fixed-point iterationPart VI. Case Studies18. Case studies.
Related
Related
Related
Related