A degenerate elliptic equation for second order controllability of nonlinear systems

TL;DR

This paper introduces second order attainability conditions for nonlinear control systems using a degenerate elliptic PDE, enabling precise controllability analysis and control design with minimal switches.

Contribution

It develops explicit second order pointwise conditions for small time local attainability, linking control theory with a novel degenerate elliptic PDE framework.

Findings

Conditions are necessary and sufficient for symmetric systems.

Target reachability can be achieved with at most one control switch.

The PDE plays a role analogous to Hamilton-Jacobi equations in control theory.

Abstract

For a general nonlinear control system, we study the problem of small time local attainability of a target which is the closure of an open set. When the target is smooth and locally the sublevel set of a smooth function, we develop second order attainability conditions as explicit pointwise conditions on the vector fields at points where all the available vector fields are contained in the tangent space of its boundary. Our sufficient condition requires the function defining the target to be a strict supersolution of a second order degenerate elliptic equation and if satisfied, it allows to reach the target with a piecewise constant control with at most one switch. For symmetric systems, our sufficient condition is also necessary and can be reformulated as a suitable symmetric matrix having a negative eigenvalue. For nonlinear affine systems to obtain a necessary and sufficient condition we require an additional request on the drift. Our second order pde has the same role of the Hamilton-Jacobi equation for first order sufficient conditions.