 
 
 
 
 
   
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
, 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
, tout état d'arrivée  , et tout
temps fini non nul
, et tout
temps fini non nul  il existe une fonction de commande
 il existe une fonction de commande
![$u:[0,T]\mapsto {\bf R}$](img34.png) , telle que la solution du système
3 satisfaisant la condition initiale
, telle que la solution du système
3 satisfaisant la condition initiale
 satisfasse
 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 
 
 .PREUVE. -- Comme dans le cas de l'observabilité, le théorème de Cayley-Hamilton
explique pourquoi il suffit de s'arrêter à
.PREUVE. -- Comme dans le cas de l'observabilité, le théorème de Cayley-Hamilton
explique pourquoi il suffit de s'arrêter à  . 
Pour simplifier, on va donner l'idée générale de la preuve dans le cas
particulier où matrice
. 
Pour simplifier, on va donner l'idée générale de la preuve dans le cas
particulier où matrice  est diagonalisable avec des valeurs propres
toutes différentes et où il n'y a qu'une commande.
 est diagonalisable avec des valeurs propres
toutes différentes et où il n'y a qu'une commande.
Sans restriction de généralité, on peut supposer être dans une base
telle que  soit diagonale. La matrice
 soit diagonale. La matrice 
 est alors de rang
 est alors de rang  ssi tous les
 ssi tous les
 sont non nuls. Supposons que
 sont non nuls. Supposons que  , alors
, alors
 . On ne peut donc choisir
arbitrairement l'état
. On ne peut donc choisir
arbitrairement l'état  , ce qui contredit la contrôlabilité.
, 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
. 
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
 une combinaison linéaire de masses de Dirac 
 . On a alors
. On a alors  , où
, où  est une matrice
de Vandermonde1.  
Si les
 est une matrice
de Vandermonde1.  
Si les  sont tous différents entre eux, le déterminant
de
 sont tous différents entre eux, le déterminant
de  est non nul.    height .9ex width .8ex depth -.1ex
 est non nul.    height .9ex width .8ex depth -.1ex
Si l'on prend par exemple pour
 un polynôme de degré
 un polynôme de degré  dont les coefficients sont
 dont les coefficients sont 
 , on a
, on a  , avec
, avec 
 
 . Le déterminant de
. Le déterminant de  est également non nul si les
est également non nul si les  sont tous différents, mais
je ne sais pas le montrer directement. Ce sera une conséquence de
l'approche par la notion de platitude qui sera introduite par la
suite.
 sont tous différents, mais
je ne sais pas le montrer directement. Ce sera une conséquence de
l'approche par la notion de platitude qui sera introduite par la
suite. 
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
 à 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.
, 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 à
sont tous égaux à  . C'est par exemple celui d'un système en forme
de Brunovský:
. 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
 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.
 et en
déduire une méthode de calcul de l'état. 
 
 
 
 
