Verification and Validation of System Health Management Models using Parametric Testing
暂无分享,去创建一个
[1] Ole J. Mengshoel,et al. Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[2] Luis Enrique Sucar,et al. Probabilistic Model-Based Diagnosis , 2000, MICAI.
[3] Brian C. Williams,et al. Diagnosing Multiple Faults , 1987, Artif. Intell..
[4] Marcel Staroswiecki,et al. Conflicts versus analytical redundancy relations: a comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).
[5] Johann Martin Schumann. AutoBayes Program Synthesis System System Internals , 2011 .
[6] Ole J. Mengshoel,et al. Methods for Probabilistic Fault Diagnosis: An Electrical Power System Case Study , 2009 .
[7] Ole J. Mengshoel,et al. Who Guards the Guardians? - Toward V&V of Health Management Software - (Short Paper) , 2010, RV.
[8] C. L. Mallows,et al. Applying design of experiments to software testing: experience report , 1997, ICSE '97.
[9] Ole J. Mengshoel,et al. Diagnosing Intermittent and Persistent Faults using Static Bayesian Networks , 2010 .
[10] Adnan Darwiche,et al. Modeling and Reasoning with Bayesian Networks , 2009 .
[11] D. Richard Kuhn,et al. FAILURE MODES IN MEDICAL DEVICE SOFTWARE: AN ANALYSIS OF 15 YEARS OF RECALL DATA , 2001 .
[12] G. McLachlan,et al. The EM algorithm and extensions , 1996 .
[13] Jean-Paul Chilès,et al. Wiley Series in Probability and Statistics , 2012 .
[14] D.M. Cohen,et al. The Combinatorial Design Approach to Automatic Test Generation , 1996, IEEE Softw..
[15] C. L. Mallows,et al. Applying Design of Experiments to Software Testing , 1997, Proceedings of the (19th) International Conference on Software Engineering.
[16] Bernd Fischer,et al. AutoBayes Program Synthesis System Users Manual , 2008 .
[17] Johann Schumann,et al. Parametric Testing of Launch Vehicle FDDR Models , 2010 .
[18] Ole J. Mengshoel,et al. Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft , 2008, AAAI.
[19] Ole J. Mengshoel,et al. Advanced Diagnostics and Prognostics Testbed , 2007 .
[20] J. Schumann,et al. Software V&V support by parametric analysis of large software simulation systems , 2009, 2009 IEEE Aerospace conference.