Title: Plug-and-Play Secondary Control for Safety of LTI Systems under Attacks Show Chinese title

Title: 插拔式二次控制用于受攻击下LTI系统的安全性

Abstract: 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. Show Chinese abstract

Abstract: 我们研究了通过网络控制的线性时不变网络化物理系统（CPS）的控制器设计问题。具体而言，我们采用了一种设定，即控制器已经设计好以稳定被控对象。然而，闭环系统可能受到执行器和传感器攻击的影响。我们首先进行可达性分析，以观察潜在攻击的效果。为了进一步确保系统的状态安全性，我们选择了一组可以本地保护并免受攻击的传感器。利用这些有限资源，设计了一个额外的控制器以增强新闭环的安全性。系统的安全性将通过安全集的概念来表征。基于李雅普诺夫的分析将用于推导出确保状态始终位于安全集内的充分条件。然后，这些条件将以凸优化问题的形式表述，这些问题可以高效求解。最后，通过数值模拟验证了我们的理论结果。