[1] 谷德权, 李荣清, 杨世伟. 基于混合系统的飞机控制系统建模和分析［J］. 系统仿真学报, 2008, 20(s2): 317-322, 340.

[2] 杨伟丽. 基于ISM有向图的求可达矩阵的简洁算法［D］. 厦门：厦门大学, 2007.

[3] 南松辉, 关永, 姜楠, 等. 基于可达矩阵的组件化空间任务仿真系统体系结构优化问题研究［J］. 军事运筹与系统工程，2011, 25(2)：64-68.

[4] 安金霞, 朱纪洪, 王国庆, 等. 多余度飞控计算机系统分级组合可靠性建模方法［J］. 航空学报, 2010, 31(2): 302-309.

[5] LANUS M, YIN L, TRIVEDI K S. Hierarchical composition and aggregation of state-based availability and performability models［J］. IEEE Transactions on Reliability, 2003, 52(1): 44-52.

[6] YEH Y C B. Triple-triple redundant 777 primary flight computer［C］//Proceedings of IEEE Aerospace Applications Conference, 1996: 293-307.

[7] 杨菊平, 董妍, 程俊强. 民机飞控计算机余度设计及可靠性分析［J］. 计算机技术与发展, 2014, 24(6)：211-214.

[8] DONG P P, ZHAO M R, LIU B W, et al. A new method of computing the reachability matrix of directed graph ［C］// The Second International Workshop on Education Techno-logy and Computer Science (ETCS), 2010: 774-776.

[9] WANG X, GAO C Y, ZHANG Q. Reachability matrix-based path computation using matrix self-multiplication ［C］// The 39th European Conference and Exhibition on Optical Communication, 2013: 1-3.

[10] 焦玉民, 王强, 徐婷, 等. 智能虚拟维修环境多Agent协作机制［J］. 系统工程与电子技术, 2013, 35(6): 1348-1352.

[11] 王亚康, 郭晶, 江汀, 等. 基于Agent的复杂系统建模与仿真研究［J］. 电子设计工程, 2011, 19(9): 100-103.

[12] 廖守亿, 陈坚, 陆宏伟, 等. 基于Agent的建模与仿真概述［J］. 计算机仿真, 2008, 25(12)：1-7.

[13] 谭同超. 有限状态机及其应用［D］. 广州：华南理工大学, 2013.

[14] A320 aircraft maintenance manual［Z］. China Eastern Airline, REVISION NO. 30, Aug 01/05.