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 Fixed Point Theorems and Their Applications by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book What's in the Name? by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Coronary CT Angiography in the Quantitative Analysis of Coronary Plaques by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Free Trade Agreements in the Asia Pacific by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book European Economic Integration, WTO Membership, Immigration and Offshoring by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Global Modernization Review by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Mathematics Problem-Solving Challenges for Secondary School Students and Beyond by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Urban Ethics under Conditions of Crisis by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Hands-on Project Management by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Crucial Agricultural Policy by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Chaos in Nature by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Globalization, Consumption and Popular Culture in East Asia by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book The Little Red Dot by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Probabilistic Normed Spaces by Luigi Portinale, Daniele Codetta Raiteri
Cover of the book Probabilistic Lattices 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