Italiano (Italian) English (Inglese)
Monday, 23 October 2017

Publications

Back
Pubblication Details
Authors:Daniele Codetta Raiteri
Luigi Portinale
Scientific Area:Diagnosis
Model-Based Reasoning
Uncertain Reasoning
Probabilistic Graphical Models
Dependability and Reliability
Formal Models
Title:Generalized Continuous Time Bayesian Networks as a modelling and analysis formalism for dependable systems
Published on:Reliability Engineering and System Safety, vol. 167
Pages:639-651
Publisher:Elsevier
Year:2017
Tipo Pubblicazione:Paper on International Journal
Abstract:We discuss the main features of Generalized Continuous Time Bayesian Networks (GCTBN) as a dependability formalism: we resort to two specific case studies adapted from the literature, and we discuss modelling choices, analysis results and advantages with respect to other formalisms. From the modelling point of view, GTCBN allow the introduction of general probabilistic dependencies and conditional dependencies in state transition rates of system components. From the analysis point of view, any task ascribable to a posterior probability computation can be implemented, among which the computation of system unreliability, importance indices, system monitoring, prediction and diagnosis.