 
 
 
 
 
   
THÉORÈME 10. -- Tout système linéaire commandable est plat. Si un système linéaire n'est pas commandable, il existe une fonction linéaire de l'état satisfaisant une équation linéaire indépendante de la commande.PREUVE. -- On se limitera ici au cas d'un système stationnaire à une commande, pour donner l'idée générale. On va montrer en fait que tout système linéaire commandable peut être mis en forme de Brunovský (avec une nouvelle commande, fonction de l'ancienne et de l'état).
Posons 
 . Le cas où
. Le cas où  est
immédiat. Sinon, on doit avoir
 est
immédiat. Sinon, on doit avoir 
 , qui
exprime le fait que
, qui
exprime le fait que  ne dépend pas de
 ne dépend pas de  ,
, 
 , qui exprime le fait que
, qui exprime le fait que  ne dépend pas de
 ne dépend pas de  ,
...
,
...
 , qui
exprime le fait que
, qui
exprime le fait que  ne dépend pas de
 ne dépend pas de  . Si
le système est commandable,
. Si
le système est commandable, 
 est
inversible. On peut alors choisir
 est
inversible. On peut alors choisir 
 . On
aura dans ce cas
. On
aura dans ce cas 
 , pour
, pour  et
 et 
 . On mettra donc le système en forme de
Brunovský avec la nouvelle commande
. On mettra donc le système en forme de
Brunovský avec la nouvelle commande 
 .
. 
Si le système n'est pas commandable, prenons pour  un vecteur
solution de
 un vecteur
solution de 
 , et posons
, et posons 
 . Nécessairement,
. Nécessairement,  ne dépend pas de
 ne dépend pas de  , sinon le
système pourrait être mis en forme de Brunovský, on a donc une
relation du type
, sinon le
système pourrait être mis en forme de Brunovský, on a donc une
relation du type 
 . CQFD    height .9ex width .8ex depth -.1ex
. CQFD    height .9ex width .8ex depth -.1ex
La non commandabilité se manifeste donc par le fait qu'une fonction de l'état satisfait une équation autonome, indépendante de la commande.
 
 
 
 
