摘要
为避免跑道入侵的发生,提出一种基于Petri网的灯光控制指令自动决策方法。首先根据跑道静态模型和运行过程,利用Petri网建立跑道区域受控运行模型,然后结合跑道管制规则给出线性不等式约束模型和优先等级约束模型。综合跑道运行约束模型、跑道当前标识信息和观测器信息,给出控制策略,确定受控运行模型中变迁的使能状态。在此基础上,提出基于变迁使能状态决策灯光控制指令的方法,最后通过算例证明决策方法的有效性。
To avoid the occurrence of runway incursion, a method of automatic decision is proposed about the control command of lights based on Petri net. The method establishes controlled operation model of runway area using Petri net according to runway static model and operating rules firstly, then providing the linear inequality constraint model and precedence constraint model combining the regulation of runway. Then the control strategy is obtained for synthesizing the constraint model of runway operation, the infor- mation of making and surveyor, the state of transition can be confirmed in the controlled operation model. On this basis, the control command of lights can be decided based on the state of transition. Finally an ex- ample demonstrates the validity of the decision- making method.
出处
《航空计算技术》
2013年第4期22-26,共5页
Aeronautical Computing Technique
基金
国家自然科学基金与中国民用航空联合项目资助(60879011)
国家科技支撑计划项目资助(2011BAH24B06)
江苏省"六大人才高峰"高层次人才项目资助(WLW-017)
南京航空航天大学研究生创新基地(实验室)开放基金项目资助(kfjj130126)
关键词
跑道入侵防御
受控PETRI网
灯光
控制指令
runway incursion prevention
controller Petri net
lights
control instruction