41 citations · 47 across the 3 of their papers we have counts for
3 papers
cs.AI2013
Modeling Uncertain Temporal Evolutions in Model-Based Diagnosis
Luigi Portinale
Although the notion of diagnostic problem has been extensively investigated in the context of static systems, in most practical applications the behavior of the modeled system is s…
cs.AI2013★ 41 cited
Bayesian Networks for Dependability Analysis: an Application to Digital Control Reliability
Luigi Portinale, Andrea Bobbio
Bayesian Networks (BN) provide robust probabilistic methods of reasoning under uncertainty, but despite their formal grounds are strictly based on the notion of conditional depende…
cs.AI2012★ 6 cited
Parametric Dependability Analysis through Probabilistic Horn Abduction
Andrea Bobbio, Stefania Montani, Luigi Portinale
Dependability modeling and evaluation is aimed at investigating that a system performs its function correctly in time. A usual way to achieve a high reliability, is to design redun…