Modeling and Analysis of Dependable Systems

A Probabilistic Graphical Model Perspective

Nonfiction, Science & Nature, Mathematics, Probability, Computers, Advanced Computing, Artificial Intelligence, Statistics
Cover of the book Modeling and Analysis of Dependable Systems by Luigi Portinale, Daniele Codetta Raiteri, World Scientific Publishing Company
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Luigi Portinale, Daniele Codetta Raiteri ISBN: 9789814612050
Publisher: World Scientific Publishing Company Publication: June 9, 2015
Imprint: WSPC Language: English
Author: Luigi Portinale, Daniele Codetta Raiteri
ISBN: 9789814612050
Publisher: World Scientific Publishing Company
Publication: June 9, 2015
Imprint: WSPC
Language: English

The monographic volume addresses, in a systematic and comprehensive way, the state-of-the-art dependability (reliability, availability, risk and safety, security) of systems, using the Artificial Intelligence framework of Probabilistic Graphical Models (PGM). After a survey about the main concepts and methodologies adopted in dependability analysis, the book discusses the main features of PGM formalisms (like Bayesian and Decision Networks) and the advantages, both in terms of modeling and analysis, with respect to classical formalisms and model languages.

Methodologies for deriving PGMs from standard dependability formalisms will be introduced, by pointing out tools able to support such a process. Several case studies will be presented and analyzed to support the suitability of the use of PGMs in the study of dependable systems.

Contents:

  • Dependability and Reliability
  • Probabilistic Graphical Models
  • From Fault Trees to Bayesian Networks
  • From Dynamic Fault Tree to Dynamic Bayesian Networks
  • Decision Theoretic Dependability
  • The RADyBaN Tool: Supporting Dependability
  • Case Study 1: Cascading Failures
  • Case Study 2: Autonomous Fault Detection, Identification and Recovery
  • Case Study 3: Security Assessment in Critical Infrastructures
  • Case Study 4: Dynamic Reliability
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

The monographic volume addresses, in a systematic and comprehensive way, the state-of-the-art dependability (reliability, availability, risk and safety, security) of systems, using the Artificial Intelligence framework of Probabilistic Graphical Models (PGM). After a survey about the main concepts and methodologies adopted in dependability analysis, the book discusses the main features of PGM formalisms (like Bayesian and Decision Networks) and the advantages, both in terms of modeling and analysis, with respect to classical formalisms and model languages.

Methodologies for deriving PGMs from standard dependability formalisms will be introduced, by pointing out tools able to support such a process. Several case studies will be presented and analyzed to support the suitability of the use of PGMs in the study of dependable systems.

Contents:

More books from World Scientific Publishing Company

Cover of the book Multiple Zeta Functions, Multiple Polylogarithms and Their Special Values by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Teaching Science in Culturally Relevant Ways by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Number Theory: Arithmetic in Shangri-La by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Methods in Research and Development of Biomedical Devices by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Concepts in Particle Physics by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book The Physics of Low Dimensional Materials by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book 50 Math and Science Games for Leadership by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Surgical Care of Major Newborn Malformations by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Analisis Daya Saing Provinsi dan Wilayah by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Classical Mechanics by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Corporate Strategy for Dramatic Productivity Surge by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Basic Theory of Fractional Differential Equations by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Modern Railway Engineering Consultation by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Biologically Optimized Radiation Therapy by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Uncertain Computation-Based Decision Theory by Luigi Portinale, Daniele Codetta Raiteri
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy