Online Inner Approximation of Reachable Sets of Nonlinear Systems with Diminished Control Authority.

This work presents a method of efficiently computing inner approximations of forward reachable sets for nonlinear control systems with diminished control authority, given an a priori computed reachable set for the nominal system. The method functions by shrinking a precomputed convex reachable set based on a priori knowledge of the system's trajectory deviation growth dynamics. The trajectory deviation growth 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. These growth dynamics are a function of a given Hausdorff distance bound between the nominal convex space of admissible controls and the possibly unknown impaired space of admissible controls. Because of its relative computational efficiency compared to direct computation of the off-nominal reachable set, this procedure can be applied to onboard fault-tolerant path planning and failure recovery. We consider the implementation of the approximation procedure by way of numerical integration and a root finding scheme, and we present two illustrative examples, namely an application to a control system with quadratic nonlinearities and aircraft wing rock dynamics.