Abstract:This work presents a method of efficiently computing inner and outer approximations of forward reachable sets for nonlinear control systems with changed dynamics and diminished 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 on the nominal system using nominal control inputs, and by the impaired system based on the 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, as well as a bound on the rate change between the nominal and off-nominal dynamics. 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.

On the External Estimation of Reachable and Null-Controllable Limit Sets for Linear Discrete-Time Systems with a Summary Constraint on the Scalar Control

Lmi Approach To Optimal Guaranteed Cost Control For A Class Of Linear Uncertain Discrete Systems

Exact controllability of infinite dimensional linear systems via bounded control functions

On the Convergence of the Backward Reachable Sets of Robust Controlled Invariant Sets For Discrete-time Linear Systems

On Reachable Set Estimation of Nonlinear Singular Systems with Distributed Delay

On null controllability of linear systems via bounded control functions

Constructive reachability for linear control problems under conic constraints

Computing Controlled Invariant Sets of Nonlinear Control-Affine Systems

Triple Integral Approach to Reachable Set Bounding for Linear Singular Systems with Time‐varying Delay

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

Approximation and Monotonicity of the Maximal Invariant Ellipsoid for Discrete-Time Systems by Bounded Controls

Underapproximating Backward Reachable Sets by Semialgebraic Sets.

On invariant ellipsoid for linear systems by saturated controls

On Analytical Approximation of the Maximal Invariant Ellipsoids for Linear Systems With Bounded Controls

Under-Approximate Reachability Analysis for a Class of Linear Systems with Inputs

Constrained Dynamic Control Allocation in the Presence of Singularity and Infeasible Solutions

Underapproximating Backward Reachable Sets by Semialgebraic Sets

Extremum Seeking for Linear Time-Varying Systems with Unknown Control Directions

Computing robust control invariant sets of constrained nonlinear systems: A graph algorithm approach

Reachable Set Computation of Linear Systems with Nonconvex Constraints Via Convex Optimization

Stochastic Linear-Quadratic Control with Conic Control Constraints on an Infinite Time Horizon