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.

Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals

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

Integral Control on Lie Groups

Lie Algebraic Cost Function Design for Control on Lie Groups

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

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order

Guaranteed Reachability on Riemannian Manifolds for Unknown Nonlinear Systems

New geometric results in eigenstructure assignment

Computing Reachable Sets of Linear Vector Fields Revisited

A Hamilton-Jacobi-Bellman Approach to Ellipsoidal Approximations of Reachable Sets for Linear Time-Varying Systems

Control contraction metrics on Lie groups

Exponentially Stable First Order Control on Matrix Lie Groups

Finite‐Time Optimal Tracking Control for Dynamic Systems on Lie Groups

Exact Computation of LTI Reach Set from Integrator Reach Set with Bounded Input

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

Local coordinates on Lie groups for half-explicit time integration of Cosserat-rod models with constraints

Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition

Reachable Set Computation with Terminal Velocity Constraints

Constructive reachability for linear control problems under conic constraints

Regularizing Numerical Extremals Along Singular Arcs: A Lie-Theoretic Approach

Geometric numerical methods for Lie systems and their application in optimal control