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ù
est
immédiat. Sinon, on doit avoir
, qui
exprime le fait que
ne dépend pas de
,
, qui exprime le fait que
ne dépend pas de
,
...
, qui
exprime le fait que
ne dépend pas de
. Si
le système est commandable,
est
inversible. On peut alors choisir
. On
aura dans ce cas
, pour
et
. 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
, et posons
. Nécessairement,
ne dépend pas de
, 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
La non commandabilité se manifeste donc par le fait qu'une fonction de l'état satisfait une équation autonome, indépendante de la commande.