通过执行器饱和约束攻击能力
Constraining Attacker Capabilities Through Actuator Saturation
AI总结：
本文提出利用线性矩阵不等式计算可达集的外椭球界，设计更严格的执行器限制以确保危险状态不可达，通过车辆编队仿真验证方法有效性。
摘要：
对于线性时不变控制系统，我们提供以线性矩阵不等式为工具的数学工具，用于计算在执行器物理限制下攻击能诱导的可达集的外椭球界。接下来，对于给定的危险状态集，我们提供设计新的执行器人工限制的工具（比物理限制更小），使得新的椭球界（以及新的可达集）在体积上尽可能大，同时保证危险状态不可达。这保证了新的边界对原始可达集的削减最小化系统性能损失。通过车辆编队的计算机仿真来说明本工具的性能。
英文摘要：
For LTI control systems, we provide mathematical tools - in terms of Linear Matrix Inequalities - for computing outer ellipsoidal bounds on the reachable sets that attacks can induce in the system when they are subject to the physical limits of the actuators. Next, for a given set of dangerous states, states that (if reached) compromise the integrity or safe operation of the system, we provide tools for designing new artificial limits on the actuators (smaller than their physical bounds) such that the new ellipsoidal bounds (and thus the new reachable sets) are as large as possible (in terms of volume) while guaranteeing that the dangerous states are not reachable. This guarantees that the new bounds cut as little as possible from the original reachable set to minimize the loss of system performance. Computer simulations using a platoon of vehicles are presented to illustrate the performance of our tools.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
