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.

Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations

Safe Over- And Under-Approximation Of Reachable Sets For Delay Differential Equations

Underapproximation of Reach-Avoid Sets for Discrete-Time Stochastic Systems via Lagrangian Methods

On the multiple time-scales perturbation method for differential-delay equations

Reachable Set Estimation for Uncertain Nonlinear Systems with Time Delay

Reachable Set Bounding Estimation for Distributed Delay Systems with Disturbances

Taming Delays In Dynamical Systems Unbounded Verification Of Delay Differential Equations

Zonotopic reachable set estimation for linear discrete‐time systems with time delay

Construction of Quasi-Periodic Solutions for Delayed Perturbation Differential Equations

Quasi-periodic Solutions for Perturbed Autonomous Delay Differential Equations

Improved results on reachable set estimation for singularly perturbed systems with time-varying delay

Reachable Set Estimation for Linear Systems with Time-Varying Delay and Polytopic Uncertainties

Zonotopic Reachable Set Estimation For Bilinear Systems With Time-Varying Delays

A new method of reachable sets estimation for the nonlinear switched singular system with impulsive performance and time-delay

A Perturbation-Incremental Method for Delay Differential Equations

Taming Delays in Dynamical Systems

Reachable Set Estimation of T–S Fuzzy Systems with Time-Varying Delay

Convergence Aspects of Step-Parallel Iteration of Runge-Kutta Methods for Delay Differential Equations

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

A Randomized Runge-Kutta Method for time-irregular delay differential equations

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