Abstract:Reachable sets for a dynamical system describe collections of system states that can be reached in finite time, subject to system dynamics. They can be used to guarantee goal satisfaction in controller design or to verify that unsafe regions will be avoided. However, general-purpose methods for computing these sets suffer from the curse of dimensionality, which typically prohibits their use for systems with more than a small number of states, even if they are linear. In this paper, we demonstrate that viscosity supersolutions and subsolutions of a Hamilton-Jacobi-Bellman equation can be used to generate, respectively, under-approximating and over-approximating reachable sets for time-varying nonlinear systems. Based on this observation, we derive dynamics for a union and intersection of ellipsoidal sets that, respectively, under-approximate and over-approximate the reachable set for linear time-varying systems subject to an ellipsoidal input constraint and an ellipsoidal terminal (or initial) set. We demonstrate that the dynamics for these ellipsoids can be selected to ensure that their boundaries coincide with the boundary of the exact reachable set along a solution of the system. The ellipsoidal sets can be generated with polynomial computational complexity in the number of states, making our approximation scheme computationally tractable for continuous-time linear time-varying systems of relatively high dimension.

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

Efficient Algorithm for Computation of Controllable Region of Linear Discrete-Time Systems with Bounded Input

PDE Boundary Control of Multi-Input LTI Systems with Distinct and Uncertain Input Delays

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

Approximate Controllability of Infinite Dimensional Linear Systems in Nonreflexive State Spaces

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

Exact controllability of infinite dimensional linear systems via bounded control functions

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

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

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

Reachable Set Computation with Terminal Velocity Constraints

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

Exact delay range for the stabilization of linear systems with input delays

Complexity of the LTI system trajectory boundedness problem

Finding Control Invariant Sets via Lipschitz Constants of Linear Programs

Anytime Ellipsoidal Over-approximation of Forward Reach Sets of Uncertain Linear Systems

New Results on Reachable Set Estimation and Controller Design for Linear Systems with Mixed Delays Via Triple Integral Functionals

Analytical Volume Analysis for the Finite-time Controllable Region of the Linear Discrete-time Systems

Reachable Set Estimation for Markov Jump LPV Systems with Time Delays.

On receding-horizon approximation in time-varying optimal control

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