Universal regular control for generic semilinear systems

Jairo Bochi (1) , Nicolas Gourmelon (2, 3, 4)

1 PUC-Rio - Pontifícia Universidade Católica do Rio de Janeiro [Brasil] = Pontifical Catholic University of Rio de Janeiro [Brazil] = Université catholique pontificale de Rio de Janeiro [Brésil]
2 IMB - Institut de Mathématiques de Bourgogne [Dijon]
3 IMB - Institut de Mathématiques de Bordeaux
4 IMPA - Instituto Nacional de Matemática Pura e Aplicada

We consider discrete-time projective semilinear control systems $\xi_{t+1} = A(u_t) \cdot \xi_t$, where the states $\xi_t$ are in projective space $\RP^{d-1}$, inputs $u_t$ are in a manifold $\cU$ of arbitrary dimension, and $A \colon \cU \to \GL(d,\R)$ is a differentiable mapping. An input sequence $(u_0,\ldots,u_{N-1})$ is called universally regular if for any initial state $\xi_0 \in \RP^{d-1}$, the derivative of the time-$N$ state with respect to the inputs is onto. In this paper we deal with the universal regularity of constant input sequences $(u_0, \dots, u_0)$. Our main result states that for generic such control systems, all constant inputs of sufficient length $N$ are universally regular, except for a discrete set. More precisely, the conclusion holds for a $C^2$-open and $C^\infty$-dense set of maps $A$. We also show that the inputs on that discrete set are nearly universally regular; indeed there is a unique non-regular initial state, and its corank is $1$. In order to establish the result, we study the spaces of bilinear control systems. We show that the codimension of the set of systems for which the zero input is not universally regular coincides with the dimension of the control space. The proof is based on careful matrix analysis and some elementary algebraic geometry. Then the main result follows by applying standard transversality theorems.

Mots clés: linear cocycles; semilinear control system; universal nonsingular control

Domaines: Optimisation et contrôle [math.OC]; Systèmes dynamiques [math.DS]

Jairo Bochi, Nicolas Gourmelon. Universal regular control for generic semilinear systems. Mathematics of Control, Signals, and Systems, 2014, pp.1. ⟨10.1007/s00498-014-0126-x⟩. ⟨hal-00992412⟩