基于事件驱动型传感器网络的跑道入侵防御

为避免在机场发生航空器/车辆入侵跑道,将事件驱动型传感器网络引入跑道入侵防御系统中,通过对传感器网络获取的目标探测信息实施融合重建跑道运行态势。根据跑道运行过程建立基于Petri网的场面活动模型,定义跑道入侵控制规范将跑道入侵探测与避免问题转化为状态禁止问题。针对模型存在的不可控事件,通过计算满足强控制规范条件的控制率实现逻辑控制器的设计,并证明该逻辑控制器是极大允许。案例研究表明,控制器通过跑道入口停止排灯和滑行管制指令实现跑道入侵防御,该监控算法的复杂度仅与传感器网络节点的布局而非与航空器/车辆的数量有关。

跑道入侵防御灯光控制指令决策方法

为避免跑道入侵的发生,提出一种基于Petri网的灯光控制指令自动决策方法。首先根据跑道静态模型和运行过程,利用Petri网建立跑道区域受控运行模型,然后结合跑道管制规则给出线性不等式约束模型和优先等级约束模型。综合跑道运行约束模型、跑道当前标识信息和观测器信息,给出控制策略,确定受控运行模型中变迁的使能状态。在此基础上,提出基于变迁使能状态决策灯光控制指令的方法,最后通过算例证明决策方法的有效性。

跑道入侵防御系统的可重构性研究

为了实现跑道入侵防御系统应用的灵活性,提出了一种基于Petri网跑道入侵防御系统的重构方法.对监视数据源进行了数据分析与处理,并基于标准构建机场的矢量地图模型,再结合机场场面跑道结构建立跑道Petri网控制器模型,构建跑道状态灯模型,利用重构方法建立了各个模块之间的接口,包括机场地图模型与Petri网控制器模型、Petri网控制器与跑道状态灯模型、车辆/航空器分布向量与Petri网控制器标识向量、可控变迁的使能状态向量与跑道状态灯状态向量,并通过案例说明了跑道入侵防御系统重构方法的有效性.