Diagnosis knowledge representation and inference

In this article, we presented three graphical modeling techniques for diagnostic knowledge representation and inference: behavioral Petri nets (BPNs), multisignal flow graphs, and Bayesian networks (BNs). By using the same example from (Portinale, 1997) we showed that both multisignal flow graph model and BN model yield the same diagnosis. In addition, we showed that the P-invariant concept in BPN is similar to the D-separation concept in BNs

[1]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete event systems, a net unfolding approach , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[2]  Luigi Portinale,et al.  Improving the analysis of dependable systems by mapping fault trees into Bayesian networks , 2001, Reliab. Eng. Syst. Saf..

[3]  Luigi Portinale.  Behavioral Petri nets: a model for diagnostic knowledge representation and reasoning , 1997, IEEE Trans. Syst. Man Cybern. Part B.

[4]  Dan Geiger,et al.  Identifying independence in bayesian networks , 1990, Networks.

[5]  Krishna R. Pattipati,et al.  A Lagrangian Relaxation Algorithm for Finding the MAP Configuration in QMR-DT , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[6]  Krishna R. Pattipati,et al.  Decentralized real-time monitoring and diagnosis , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[7]  Peter J. F. Lucas.  Bayesian model-based diagnosis , 2001, Int. J. Approx. Reason..

[8]  Albert Benveniste,et al.  Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets , 1998, Discret. Event Dyn. Syst..

[9]  Krishna R. Pattipati,et al.  Sequential testing algorithms for multiple fault diagnosis , 2000, IEEE Trans. Syst. Man Cybern. Part A.

[10]  Vijaya Raghavan.  Algorithms for sequential fault diagnosis , 1996 .

[11]  Krishna R. Pattipati,et al.  Multi-signal flow graphs: a novel approach for system testability analysis and fault diagnosis , 1994 .

[12]  J. Trecat,et al.  Power systems fault diagnosis using Petri nets , 1997 .

[13]  Jianhui Luo,et al.  Integrated model-based and data-driven diagnostic strategies applied to an anti-lock brake system , 2005, 2005 IEEE Aerospace Conference.

[14]  Ross D. Shachter.  Bayes-Ball: The Rational Pastime (for Determining Irrelevance and Requisite Information in Belief Networks and Influence Diagrams) , 1998, UAI.

[15]  Krishna R. Pattipati,et al.  Distributed Fault Diagnosis for Networked, Embedded Automotive Systems , 2006, 2006 IEEE International Conference on Systems, Man and Cybernetics.