[1] Narasimhan S, Biswas G. Model-based diagnosis of hybrid systems[J]. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 2007,37(3):348-361.
[2] Reiter R. A Theory of diagnosis from first principles[J]. Artificial Intelligence, 1987,32(1):57-95.
[3] de Kleer J, Williams B C. Diagnosing multiple faults[J]. Artificial Intelligence, 1987,32(1):97-130.
[4] 姜云飞,林笠. 用布尔代数方法计算最小碰集[J]. 计算机学报, 2003,26(8):919-924.
[5] Schwabacher M, Samuels J, Brownston L. The NASA integrated vehicle health management technology experiment for X-37[C]// Proceedings of the SPIE AeroSense 2002. 2002,4733:49-60.
[6] Bernard D E, Dorais G A, Fry C, et al. Design of the remote agent experiment for spacecraft autonomy[C]// Proceedings of the IEEE Aerospace Conference, 1998. 1998,2:259-281.
[7] Muscettola N, Nayak P P, Williams B C,et al. Remote agent: To boldly go where no AI system has gone before[J]. Artificial Intelligence, 1998,103(1-2):5-47.
[8] Williams B C, Nayak P P. A model-based approach to reactive self-configuring systems[C]// Proceedings of the 13th National Conference on Artificial. 1996,2:971-978.
[9] Williams B C. Model-based autonomous systems in the new millennium[C]// Proceedings of AIPS’96. 1996:275-282.
[10]Genc S, Lafortune S. Distributed diagnosis of place-bordered Petri nets[J]. IEEE Transactions on Automation Science and Engineering, 2007,40(2):206-219.
[11]宋东,周建民,王彦文. 基于模型的飞机燃油系统故障诊断系统的设计与实现[J]. 测控技术, 2011,30(4):43-46,50.
[12]刘志刚,钟炜,邓云川,等. 牵引变电站故障的基于模型诊断方法[J]. 中国电机工程学报, 2010,30(34):36-41.
[13]代树武,孙辉先. 基于模型的飞行器电源故障诊断与故障模式识别[J]. 振动与冲击, 2005,24(3):55-58.
[14]严仰光. 航空航天器供电系统[M]. 北京:航空工业出版社, 1995.
[15]周波. 飞机电源系统的现状与发展[J]. 国际航空, 2011(3):46-48. |