DÉFINITION 3. -- Supposant connu le vecteur de paramètres , on dit qu'un
système différentiel est contrôlable (ou commandable) si pour
tout état de départ
, tout état d'arrivée
, et tout
temps fini non nul
il existe une fonction de commande
, telle que la solution du système
3 satisfaisant la condition initiale
satisfasse
.
Ceci signifie concrètement que, connaissant l'entrée et la sortie, on peut recalculer l'état, sauf pour certaines trajectoires constituant un ensemble de mesure nulle. Cette propriété peut être testée par le critère de Kalman suivant.
THÉORÈME 4. -- Un système est commandable ssi la matrice
Sans restriction de généralité, on peut supposer être dans une base
telle que soit diagonale. La matrice
est alors de rang
ssi tous les
sont non nuls. Supposons que
, alors
. On ne peut donc choisir
arbitrairement l'état
, ce qui contredit la contrôlabilité.
Réciproquement, on peut supposer par translation que la
condition initiale est nulle. On a alors
.
Le plus simple, même si ce n'est pas très réaliste, est de prendre
pour
une combinaison linéaire de masses de Dirac
. On a alors
, où
est une matrice
de Vandermonde1.
Si les
sont tous différents entre eux, le déterminant
de
est non nul. height .9ex width .8ex depth -.1ex
Si l'on prend par exemple pour
un polynôme de degré
dont les coefficients sont
, on a
, avec
On peut envisager toutes sortes de lois de commande, pourvu qu'y interviennent un nombre suffisant de paramètres et que les rangs soient non nuls.
Un bon excercice est de compléter cette preuve dans un cadre plus
général. Si l'on dispose d'un système de calcul formel, on peut en
déduire une méthode de calcul d'une commande permettant d'aller de
l'état à l'état
, c'est à dire de résoudre
effectivement le problème de la planification de trajectoire.
On verra bientôt une approche plus efficace.
Exemple 5. -- À l'extrême inverse, il faut envisager le cas où les
sont tous égaux à
. C'est par exemple celui d'un système en forme
de Brunovský:
La planification de trajectoire se résoud alors simplement,
puisque l'on peut exprimer en fonction de
:
On a utilisé l'existence d'une solution explicite pour un système linéaire à coefficients constants. Dans des cas plus généraux, des solutions explicites existent rarement et sont souvent d'une taille décourageante. Mais on peut parfois avoir de la chance!
On peut de même, à titre d'exercice, mettre au point une preuve du critère
d'observabilité reposant sur l'expression explicite de et en
déduire une méthode de calcul de l'état.