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