论文标题
攻击下LTI系统安全性的插件辅助控制
Plug-and-Play Secondary Control for Safety of LTI Systems under Attacks
论文作者
论文摘要
我们考虑通过网络控制的线性时间不变的网络物理系统（CPS）的控制器设计问题。具体来说，我们采用了一个设置，即控制器已经设计为稳定工厂。但是，闭环系统可能受到执行器和传感器攻击的约束。我们首先执行可及性分析，以查看潜在攻击的效果。为了进一步确保系统状态的安全性，我们选择了可以在本地保护并没有攻击的传感器子集。使用这些有限的资源，额外的控制器旨在增强新的闭环的安全性。系统的安全性将以安全集的概念为特征。基于Lyapunov的分析将用于得出足够的条件，以确保各州始终留在安全集中。然后，条件将被视为可以有效解决的凸优化问题。最后，通过数值模拟说明了我们的理论结果。
We consider the problem of controller design for linear time-invariant cyber-physical systems (CPSs) controlled via networks. Specifically, we adopt the set-up that a controller has already been designed to stabilize the plant. However, the closed loop system may be subject to actuator and sensor attacks. We first perform a reachability analysis to see the effect of potential attacks. To further ensure the safety of the states of the system, we choose a subset of sensors that can be locally secured and made free of attacks. Using these limited resources, an extra controller is designed to enhance the safety of the new closed loop. The safety of the system will be characterized by the notion of safe sets. Lyapunov based analysis will be used to derive sufficient conditions that ensure the states always stay in the safe set. The conditions will then be stated as convex optimization problems which can be solved efficiently. Lastly, our theoretical results are illustrated through numerical simulations.
