7Koo T J, Sinopoli B, Sangiovanni-Vincenteli A, et al. A formal approach to reactive system design: a UAV flight management system design example[J]. Formal Methods in System Design, 1999(2): 522-527.
8Johnson R, Qu Z, Jayaram S, et al. Autonomous spacecraft vehicle health monitoring and control system based on real-time model-based simulation[C]//Proceedings of ISC 2002 International Conference on Intelligent Systems and Control, 2002.
9Karthik K, Ward Donald T. An intelligent flight director for autonomous aircraft [ R]. Texas A & M University, AIAA2000-0168, 2000.
10Bone Elizabeth, Bolkcom Christopher. Unmanned aerial vehicles: background and issues for congress, report RL31872[R]. Washington D C, USA: CRS, 2003.
