Online Guaranteed Reachable Set Approximation for Systems With Changed Dynamics and Control Authority

• 成果类型: Article
• 署名作者: El-Kebir, Hamza; Pirosmanishvili, Ani; Ornik, Melkior
• 署名单位: University of Illinois System; University of Illinois Urbana-Champaign; University of Illinois System; University of Illinois Urbana-Champaign
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2023.3275495
• 发表日期: 2024
• 页码: 726-740
• 关键词: trajectory; Upper bound; Heuristic algorithms; Approximation algorithms; system dynamics; Aerospace electronics; aerodynamics; Computation and control; guaranteed reachability; reachability analysis; safety-critical control

摘要

This article presents a method of efficiently computing inner and outer approximations of forward reachable sets for nonlinear control systems with changed dynamics and control authority, given an a priori computed reachable set for the nominal system. The method functions by shrinking or inflating a precomputed reachable set based on prior knowledge of the system's trajectory deviation growth dynamics, depending on whether an inner approximation or outer approximation is desired. These dynamics determine an upper bound on the minimal deviation between two trajectories emanating from the same point that are generated by control inputs from the nominal and diminished set of control inputs, respectively. The dynamics depend on the given Hausdorff distance bound between the nominal set of admissible controls and the possibly unknown impaired space of admissible controls. Because of its computational efficiency compared to direct computation of the off-nominal reachable set, this procedure can be applied to on-board fault-tolerant path planning and failure recovery. In addition, the proposed algorithm does not require convexity of the reachable sets unlike our previous work, thereby making it suitable for general use. We raise a number of implementational considerations for our algorithm, and we present three illustrative examples, namely, an application to the heading dynamics of a ship, a lower triangular dynamical system, and a system of coupled linear subsystems.