Italiano (Italian) English (Inglese)
lunedì, 22 ottobre 2018


Dettagli Pubblicazione
Autori:Daniele Codetta Raiteri
Luigi Portinale
Area Scientifica:Diagnosis
Model-Based Reasoning
Uncertain Reasoning
Probabilistic Graphical Models
Dependability and Reliability
Formal Models
Titolo:Generalized Continuous Time Bayesian Networks as a modelling and analysis formalism for dependable systems
Apparso su:Reliability Engineering and System Safety, vol. 167
Tipo Pubblicazione:Paper on International Journal
Sommario: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.