空中交通控制系统网络状态估计器安全性分析

摘要

线性状态估计器已被广泛应用于空中交通控制(ATC)系统监测和飞行器控制中.本文分析其在GPS欺骗、虚假数据注入和计算机病毒等网络攻击情况下的安全性.由于网络攻击很少发生,准确地对网络攻击进行建模几乎不可行.因此,分析所有可能的攻击情况,并在最坏的情况下分析状态估计器的安全性.最后进行仿真,结果显示:对于一类广泛应用的线性α-β估计器,提出的优化工具可识别所有可能的网络攻击中的隐蔽攻击,证明该方法的有效性.同时,方法也具有一般性,可适用于其他一些控制系统的安全性分析.