Quantitative Resilience of Generalized Integrators

• 成果类型: Article
• 署名作者: Bouvier, Jean-Baptiste; Xu, Kathleen; Ornik, Melkior
• 署名单位: University of Illinois System; University of Illinois Urbana-Champaign; Massachusetts Institute of Technology (MIT)
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2023.3286942
• 发表日期: 2023
• 页码: 7591-7600
• 关键词: Fault tolerant; Linear systems; optimization; quantitative resilience; reachability; time invariant

摘要

When failure is not an option, systems are designed to be resistant to various malfunctions, such as a loss of control authority over actuators. This malfunction consists in some actuators producing uncontrolled and, thus, possibly undesirable inputs with their full actuation range. After such a malfunction, a system is deemed resilient if its target is still reachable despite these undesirable inputs. However, the malfunctioning system might be significantly slower to reach its target compared to its initial capabilities. To quantify this loss of performance, we introduce the notion of quantitative resilience as the maximal ratio over all targets of the minimal reach times for the initial and malfunctioning systems. Since quantitative resilience is then defined as four nested nonlinear optimization problems, we establish an efficient computation method for control systems with multiple integrators and nonsymmetric input sets. Relying on control theory and on two specific geometric results, we reduce the computation of quantitative resilience to a linear optimization problem. We illustrate our method on an octocopter.