中文

关于线性系统中不透明性与安全性之间联系的探讨

系统与控制 2022-06-14 v1 形式语言与自动机理论 系统与控制

摘要

不透明性与攻击可检测性是任何系统的关键属性,因为它们分别使状态保持私密并能够检测恶意攻击。在本文中,我们表明对于线性动力学系统,这些属性之间存在基本的权衡,即如果一个不透明系统遭受攻击,则所有攻击都无法被检测到。我们首先用其弱不可观测子空间(WUS)刻画系统的不透明性条件,并表明不透明状态的数量与 WUS 的大小成正比。进一步,我们建立了使不透明集合增大同时也增大不可检测攻击集合的条件。这凸显了安全性与隐私性之间的基本权衡。我们在远程控制的汽车系统上展示了我们结果的应用。

关键词

引用

@article{arxiv.2206.06074,
  title  = {On Connections between Opacity and Security in Linear Systems},
  author = {Varkey M. John and Vaibhav Katewa},
  journal= {arXiv preprint arXiv:2206.06074},
  year   = {2022}
}

备注

8 pages, 3 figures. Submitted for publication to the IEEE Conference on Decision and Control (CDC) 2022