Safety simulation technology based on finite state machine

[1] 陈宝智.危险源辨识评价与控制[M].成都:四川科学技术出版社,1996Chen Baozhi.Hazard source identification,assessment and control[M].Chengdu: Sichuan Technology Press,1996(in Chinese) [2] Badreddin E,Abdel-geliel M.Dynamic safety margin principle and application in control of safety critical systems[C]//Proceedings of the 2004 IEEE International Conference on Control Applications.Taipei,Taiwan:Concentration Banking Info,2004: 689-694 [3] 袁大祥,柯丹丹.事故的系统论[J].系统工程学报,2004,19(2):183-187Yuan Daxiang,Ke Dandan.System theory of accident[J].Journal of System Engineering,2004,19(2):183-187(in Chinese)[4] Hyunwoo Cho,Gary D Hachtel,Enrico Macii.Algorithms for approximate FSM traversal based on state space decomposition[J].IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,1996,15(12):1465-1478 [5] Anastasios T Bouloutas,George W Hart,Mischa Schwartz.Fault identification using a finite state machine model with unreliable partially observed data sequences[J].IEEE Transactions on Communications,1993,41(7):1074-1083 [6] Chen Yiliang,Lin Feng.Safety control of discrete event systems using finite state machines with parameters[C]//Proceedings of the American Control Conference.Arlington:American Auotmatic Control Council,2001:975-980 [7] Gary D Hachtel,Enrico Macii,Abelardo Pardo,et al.Markovian analysis of large finite state machines[J].IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,1996,15(12):1479-1493 [8] Drumea A,Popescu C.Finite state machines and their applications in software for industrial control[C]//27th Int-l Spring Seminar on Electronics Technology.Bucharest,Romaina:IEEE,2004 [9] James H Williams.NAS system engineering manual version3.1[M].FAA System Engineering Council,2006:47-60 [10] Sameer Vittal,Michel Teboul.Performance and reliability analysis of wind turbines using Monte Carlo methods based on system transport theory[C]//13th AIAA/ASME/AHS Adaptive Structures Conference.Austin,Texas:Alexander Bell Drive,2005 [11] Martin J Ippel.Mental models as finite-state machines:examples and computational methods[R].AL/HR-TR-1997-0179,1997 [12] 陈桂明,张明照,戚红雨,等.应用MATLAB建模与仿真[M].北京:科学出版社,2001Chen Guiming,Zhang Mingzhao,Qi Hongyu.et al.Apply MATLAB to modeling and simulation[M].Beijing:Science Press,2001(in Chinese) [13] 黄永安,马路,刘慧敏.MATLAB7.0/Simulink6.0建模仿真开发与高级工程应用[M].北京:清华大学出版社,2005:236-256Huang Yongan,Ma Lu,Liu Huimin.MATLAB7.0/Simulink6.0 modeling simulation and advanced engineering application[M].Beijing: Tsinghua University Press,2005:236-256(in Chinese)