On controlled invariance for regular distributions

TL;DR

This paper investigates the conditions under which involutive regular distributions are controlled invariant in affine control systems, providing characterizations, geometric interpretations, and extending results from local to global invariance, including cases with symmetry group actions.

Contribution

It offers a complete characterization of local controlled invariance for involutive regular distributions in affine control systems and explores conditions for global invariance, including symmetric manifolds.

Findings

Complete characterization for local controlled invariance.

Geometric interpretation of invariance conditions.

Conditions for extending local to global invariance.

Abstract

This paper considers the problem of controlled invariance of involutive regular distribution, both for smooth and real analytic cases. After a review of some existing work, a precise formulation of the problem of local and global controlled invariance of involutive regular distributions for both affine control systems and affine distributions is introduced. A complete characterization for local controlled invariance of involutive regular distributions for affine control systems is presented. A geometric interpretation for this characterization is provided. A result on local controlled invariance for real analytic affine distribution is given. Then we investigate conditions that allow passages from local controlled invariance to global controlled invariance, for both smooth and real analytic affine distributions. We clarify existing results in the literature. Finally, for manifolds with a symmetry Lie group action, the problem of global controlled invariance is considered.