Evaluation, selection, and application of model-based diagnosis tools and approaches

Collection of Technical Papers - 2007 AIAA InfoTech at Aerospace Conference

Volumn 3, Issue , 2007, Pages 2287-2312

  Poll, Scott ^a,g   Patterson Hine, Ann ^a,h   Camisa, Joe ^a,i   Nishikawa, David ^a,h   Spirkovska, Lilly ^a,h   Garcia, David ^b,h   Hall, David ^b,h   Neukom, Christian ^b,h   Sweet, Adam ^b,h   Yentus, Serge ^b,h   Lee, Charles ^c,h   Ossenfort, John ^c,h   Mengshoel, Ole J ^d,h   Roychoudhury, Indranil ^e,j   Daigle, Matthew ^e,j   Biswas, Gautam ^e,j   Koutsoukos, Xenofon ^e,j   Lutz, Robyn ^f,k  

^a NASA AMES RESEARCH CENTER   (United States)

^b QSS Group Inc   (United States)

^c SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

^d Research Institute for Advanced Computer Science   (United States)

^e VANDERBILT UNIVERSITY   (United States)

^f IOWA STATE UNIVERSITY   (United States)

^g MS 269 1   (United States)

^h MS 269 4   (United States)

ⁱ Electronic Systems and Controls Branch   (United States)

^j VANDERBILT UNIVERSITY   (United States)

^k Department of Computer Science ^*

more..

Author keywords

[No Author keywords available]

Indexed keywords

AEROSPACE ENGINEERING; DATA STRUCTURES; ERROR ANALYSIS; GRAPH THEORY; MATHEMATICAL MODELS;

DEPENDENCY MATRICES; DOMAIN KNOWLEDGES; FAULT PROPAGATION MODELS; MODEL-BASED DIAGNOSIS TOOLS; PHYSICS-BASED MODELS;

INTELLIGENT SYSTEMS;

EID: 35649023202     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.2514/6.2007-2941     Document Type: Conference Paper

References (30)

1. Karsai, G., Biswas, G., Abdelwahed S., Narasimhan S., Pasternak T., and Szemethy T., "Towards Fault-Adaptive Control of Complex Dynamic Systems", Software Enabled Control, IEEE Press, 2003.
2. Manders, E. J., Biswas, G., Mahadevan, N., and Karsai, G., "Component-Oriented Modeling of Hybrid Dynamic Systems using the Generic Modeling Environment," Proceedings of the 4th Workshop on Model-Based Development of Computer Based Systems, 2006.
3. Ledeczi, A., Maroti, M., Bakay, A., Nordstrom, G., Garrett, J., Thomason IV, C., Sprinkle J., Volgyesi P., GME 2000 Users Manual (v2.0), December 18, 2001.
4. Ledeczi, A., Balogh, G., Molnar, Z., Volgyesi, P., Maroti, M., "Model Integrated Computing in the Large," IEEE Aerospace [CD Rom], Big Sky, MT, March 6, 2005.
5. Karsai, G., Sztipanovits, J., Ledeczi, A., and Bapty, T., "Model-Integrated Development of Embedded Software," Proceedings of the IEEE, Volume: 91, Issue: 1, Jan. 2003, pp. 145-164.
6. Mosterman, P. J., and Biswas, G., "A Theory of Discontinuities in Physical System Models," J Franklin Institute, vol. 335B (3):401-439, 1998.
7. Karnopp, D. C., Margolis, D. L., and Rosenberg, R. C., Systems Dynamics: Modeling and Simulation of Mechatronic Systems, New York: John Wiley & Sons, Inc., 3rd edition, 2000.
8. Biswas, G., Simon, G., Mahadevan, N., Narasimhan, S., Ramirez, J., and Karsai, G., "A Robust Method for Hybrid Diagnosis of Complex Systems," 5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS), Washington, D.C., June 2003, pp. 1125-1130.
9. Narasimhan, S., and Biswas, G., "Model-Based Diagnosis of Hybrid Systems", IEEE Transactions on Systems, Man, and Cybernetics, Part A, 37(3):348-361, 2007.
10. Abdelwahed, S., Wu, J., Biswas, G., Ramirez, J., and Manders, E., "Online Fault Adaptive Control for Efficient Resource Management in Advanced Life Support Systems," The International Journal for Human Support Research, vol. 10, no. 2, 2005, pp. 105-115.
11. Roychoudhury, I., Daigle, M., Biswas, G., Koutsoukos, X., and Mosterman, P. J., "A Method for Efficient Simulation of Hybrid Bond Graphs," Proceedings of the International Conference on Bond Graph Modeling (ICBGM 2007), 2007, pp. 177-184.
12. Daigle, M., Roychoudhury, I., Biswas, G., and Koutsoukos, X., "Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs," Technical Report ISIS-06-712, Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, USA, 2006.
13. Ceraolo, M., "New Dynamical Models of Lead-Acid Batteries," IEEE Transactions on Power Systems 15(4):1184-1190, 2000.
14. Deb, S., Pattipati, K. R., Raghavan, V., Shakeri, M., and Shresta, R., "Multi-Signal Flow Graphs: A Novel Approach for System Testability Analysis and Fault Diagnosis," Proceedings of AUTOTESTCON '94, 1994.
15. Deb, S., Mathur, A., Willitt, P., and Pattipati, K., "De-centralized Real-Time Monitoring and Diagnosis," IEEE Transactions on Systems, Man, and Cybernetics, 1998.
16. Hayden, S., Oza, N., Mah, R., Poll, S., Shirley, M., Mackey, R., Narasimhan, S., Karsai, G., and Deb, S., "Diagnostic Technology Evaluation Report for On-board, Crew Launch Vehicle," NASA/TM-2006-214552, 2006.
17. Narasimhan, S., Dearden, R., and Benazera, E., "Combining Particle Filters and Consistency-Based Approaches for Monitoring and Diagnosis of Stochastic Hybrid Systems," 15th International Workshop on Principles of Diagnosis (DX04), Carcassonne, France, 2004.
18. Mosterman, P. J., and Biswas, G., "Diagnosis of Continuous Valued Systems in Transient Operating Regions," IEEE Transactions on Systems, Man and Cybernetics, Part A 29(6):554-565, 1999.
19. Gelb, A. Applied Optimal Estimation. Cambridge, MA, USA: MIT Press, 1979.
20. Narasimhan, S., Biswas, G., Karsai, G., Pasternak, T., and Zhao, F., "Building Observers to Address Fault Isolation and Control Problems in Hybrid Dynamic Systems," IEEE Transactions on Systems, Man, and Cybernetics, Volume 4, 8-11 Oct. 2000, pp. 2393-2398.
21. Mengshoel, O. J., "Designing Resource-Bounded Reasoners Using Bayesian Networks: System Health Monitoring and Diagnosis," Proceedings of the 18th International Workshop on Principles of Diagnosis (DX-07), Nashville, TN, (to be published).
22. Lauritzen, S. L., and Spiegelhalter, D. J., "Local Computations with Probabilities on Graphical Structures and Their Application to Expert Systems," Journal of the Royal Statistical Society, 50(2): 157-224, 1988.
23. Shenoy, P. P., and Shafer, G., "Axioms for Probability and Belief-Function Propagation," Proceedings of the Fourth Annual Conference on Uncertainty in Artificial Intelligence, 1990, pp. 169-198.
24. Mengshoel, O. J., Wilkins, D. C., and Roth, D, "Controlled Generation of Hard and Easy Bayesian Networks: Impact on Maximal Clique Tree in Tree Clustering," Artificial Intelligence, 170(16-17):1137-1174, 2006.
25. Mengshoel, O. J., "Macroscopic Models of Clique Tree Growth for Bayesian Networks," Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07). July 22-26, 2007, Vancouver, British Columbia, Canada (to be published).
26. Darwiche, A., "A Differential Approach to Inference in Bayesian Networks," JACM, 50(3):280-305, 2003.
27. Huang, J., Chavira, M., and Darwiche, A., "Solving MAP Exactly by Searching on Compiled Arithmetic Circuits," Proceedings of the 21st National Conference on Artificial Intelligence (AAAI-06), July 2006, Boston, MA, pp. 143-148.
28. Chavira, M., and Darwiche, A., "Compiling Bayesian Networks Using Variable Elimination," Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, January 2007.
29. Lutz, R., Patterson-Hine, A., Nelson, S., Frost, C., Tal, D., and Harris, R., "Using Obstacle Analysis to Identify Contingency Requirements on an Unpiloted Aerial Vehicle", Requirements Engineering Journal, 12(1), 2007, pp. 41-54.
30. Ghoshal, S., Azam, M., and Malepati, V., SBIR Phase III "Comprehensive Fault Detection, Isolation, and Recovery (FDIR) on the ADAPT Test Bed," Progress Report 1, Contract No. NNA06AA51Z, Oct. 2006.