离散事件系统监控理论及其在航天领域的应用研究  

Research on the Progress of the Supervisory Control Theory of DES and Current Application in Astronautics

作　　者：李惠峰[1] 赵文华[1] 李昭莹[1] 

机构地区：[1]北京航空航天大学宇航学院,北京100083

出　　处：《航天控制》2009年第3期102-106,共5页Aerospace Control

摘　　要：在概述了离散事件系统产生与发展近况的基础上,主要综述了描述离散事件系统逻辑行为的常用工具,如自动机、形式语言和Petri网,给出监控器设计的基本思路,并举例说明基于自动机模型的监控理论在飞行器中的最新应用,这些应用不仅证明了离散事件监控理论的正确性,而且拓宽了该理论的应用领域。This paper summarizes the usual tools used to describe the logical behavior of discrete event systems, such as automaton, formal language, and Petri net. The basic idea to design the supervisory controller is also included. Finally, this paper illustrates the new application of the supervisory control theory based on automaton model to aircraft, these applications not only verify the correctness of the supervisory control theory, but also widen the field of this theory can be applied in.

关 键 词：离散事件系统 监控理论 监控器 自动机 

分 类 号：V1[航空宇航科学与技术—人机与环境工程]