[1] Hollnagel E. Understanding accidents—from root causes to performance variability//Proceedings of the 2002 IEEE 7th Conference on Human Factors and Power Plants: New Century, New Trends. Scottsdale Arizona, USA: Institute of Electrical and Electronics Engineers Inc., 2002: 1-6.
[2] Leveson N. A new accident model for engineering safer systems[J]. Safety Science, 2004, 42(4): 237-270.
[3] NASA. Probabilistic risk assessment procedures guide for NASA managers and practitioners[M]. Washington, D.C.: NASA, 2002.
[4] Hakata T. Seismic PSA method for multiple nuclear power plants in a site[J]. Reliability Engineering and System Safety, 2007, 92(7): 883-894.
[5] 罗鹏程. 基于Petri网的系统安全性建模与分析技术研究. 长沙: 国防科学技术大学信息系统与管理学院, 2001. Luo Pengcheng.A study on the modeling and analysis technique of system safety analysis based on Petri nets. Changsha: College of Information System and Management, National University of Defense Technology, 2001. (in Chinese)
[6] 王蓓. 基于PFMEA与SIMULINK的应急预案仿真技术研究 . 北京: 北京航空航天大学可靠性与系统工程学院, 2011. Wang Bei. Research on the simulation of emergency treatment based on PFMEA and SIMULINK. Beijing: School of System Engineering of Engineering Technology, Beihang University, 2011. (in Chinese)
[7] Devooght J, Smidts C. Probabilistic dynamics as a tool for dynamic PSA[J]. Reliability Engineering and System Safety, 1996, 52(3): 185-196.
[8] 陶俊勇, 王勇, 陈循. 复杂大系统动态可靠性与动态概率风险评估技术发展现状[J]. 兵工学报, 2009, 30(11): 1533-1539. Tao Junyong, Wang Yong, Chen Xun. A survey of the complex large system dynamic reliability and dynamic probabilistic risk assessment[J]. Acta Armamentarii, 2009, 30(11): 1533-1539. (in Chinese)
[9] Labeau P E. A Monte Carlo estimation of the marginal distributions in a problem of probabilistic dynamics[J]. Reliability Engineering and System Safety, 1996, 52(3): 65-75.
[10] Cojazzi G. The DYLAM approach for the dynamic reliability analysis of systems[J]. Reliability Engineering and System Safety, 1996, 52(3): 279-296.
[11] Antsaklis P J, Stiver J A, Lemmon M D. Hybrid system modeling and autonomous control systems. Lecture Notes in Computer Science: Hybrid Systems I. New York, USA: Springer-Verlag, 1993, 736: 366-392.
[12] Alur T, Courcoubetis C, Henzinger T A, et al. Hybrid automata, an algorithmic approach to the specification and verification of hybrid systems. Lecture Notes in Computer Science: Hybrid Systems I. New York, USA: Springer-Verlag, 1993, 736: 209-229.
[13] Stiver J A, Antsaklis P J, Lemmon M D. Interface and controller design for hybrid control systems. Lecture Notes in Computer Science: Hybrid Systems II. New York, USA: Springer-Verlag, 1995, 999: 462-492.
[14] Shi P, Zhao Y W, Cui Y J. Modeling and control of wheeled mobile robot based on hybrid automata//2010 Chinese Control and Decision Conference. Piscataway, USA: IEEE Computer Society, 2010: 3375-3379.
[15] Verma R, Vecchio D D. Continuous control of hybrid automata with imperfect mode information assuming separation between state estimation and control//Proceedings of the 48th IEEE Conference on Decision and Control held jointly with 2009 28th Chinese Control Conference. Piscataway, USA: Institute of Electrical and Electronics Engineers Inc., 2009: 3175-3181.
[16] Mitra S, Wang Y, Lynch N, et al. Safety verification of model helicopter controller using hybrid input/output automata. Lecture Notes in Computer Science: Hybrid Systems—Computation and Control, 2003, 2623: 343-358.
[17] Law A M, Kelton W D. Simulation modeling and analysis[M]. 3rd ed. New York:McGraw-Hill, 2000: 8-21.
[18] 林怡青, 毛宗源. 离散事件动态系统的结构[J]. 控制理论与应用, 2002, 19(5): 689-698. Lin Yiqing, Mao Zongyuan. Structure of the DEDS[J]. Control Theory and Applications, 2002, 19(5): 689-698. (in Chinese)
[19] 戎梅, 赵廷弟, 李晓磊. 事故推演建模技术研究[J]. 航空学报, 2008, 29(6): 1563-1569. Rong Mei, Zhao Tingdi, Li Xiaolei. Research on accident rehearsal modeling technique[J]. Acta Aeronautica et Astronautica Sinica, 2008, 29(6): 1563-1569. (in Chinese)
[20] 康立山, 曹宏庆, 陈毓屏. 动态系统的演化建模[J]. 计算机研究与发展, 1999, 36(8): 923-931. Kang Lishian, Cao Hongqing, Chen Yuping. A hybrid evolutionary modeling algorithm for dynamic systems[J]. Journal of Computer Research and Development, 1999, 36(8): 923-931. (in Chinese)
[21] Agrawall A, Simon G, Karsai G. Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations[J]. Electronic Notes in Theoretical Computer Science, 2001, 109: 43-56.
[22] 张威. Stateflow逻辑系统建模[M]. 西安: 西安电子科技大学出版社, 2007: 56-124. Zhang Wei. Stateflow logic system modeling[M]. Xi'an: Xidian University Publishing House, 2007: 56-124. (in Chinese)
[23] 肖业伦. 大气扰动中的飞行原理[M]. 北京: 国防工业出版社, 1993: 107-164. Xiao Yelun. Flight principle in atmospheric disturbance[M]. Beijing: National Defense Industry Press, 1993: 107-164. (in Chinese) |