航天控制
航天控製
항천공제
AEROSPACE CONTROL
2009年
3期
102-106
,共5页
离散事件系统%监控理论%监控器%自动机
離散事件繫統%鑑控理論%鑑控器%自動機
리산사건계통%감공이론%감공기%자동궤
在概述了离散事件系统产生与发展近况的基础上,主要综述了描述离散事件系统逻辑行为的常用工具,如自动机、形式语言和Petri网,给出监控器设计的基本思路,并举例说明基于自动机模型的监控理论在飞行器中的最新应用,这些应用不仅证明了离散事件监控理论的正确性,而且拓宽了该理论的应用领域.
在概述瞭離散事件繫統產生與髮展近況的基礎上,主要綜述瞭描述離散事件繫統邏輯行為的常用工具,如自動機、形式語言和Petri網,給齣鑑控器設計的基本思路,併舉例說明基于自動機模型的鑑控理論在飛行器中的最新應用,這些應用不僅證明瞭離散事件鑑控理論的正確性,而且拓寬瞭該理論的應用領域.
재개술료리산사건계통산생여발전근황적기출상,주요종술료묘술리산사건계통라집행위적상용공구,여자동궤、형식어언화Petri망,급출감공기설계적기본사로,병거례설명기우자동궤모형적감공이론재비행기중적최신응용,저사응용불부증명료리산사건감공이론적정학성,이차탁관료해이론적응용영역.
