AUTOMATIQUE

Systèmes et modules

Tous les systèmes considérés dans ce qui suit sont linéaires et à coefficients constants. L'opérateur qui est à la base de la théorie des systèmes à temps continu est la dérivation ∂ (voir ci-dessus), tandis que pour les systèmes à temps discret il s'agit de « l'opérateur d'avance » q : ξ(t) → ξ(t + 1). Posons∇ = (∂ ou q) et R = ℝ[∇]. Un système (qu'il soit à temps continu ou à temps discret) est décrit par une équation de la forme

E(∇)w = 0, (5)

où E(∇) ∈ R^r×k, ce qui généralise la formulation précédente. Il n'y a pas une manière unique de décrire un même système ; il n'y a pas même unicité du nombre de variables et du nombre d'équations dans les différentes descriptions possibles. Par exemple, (6) et (7) ci-dessous

(∇² + a₁∇ + a₂)y = (b₁∇ + b₂)u (6)

où x = ^t[x₁  x₂]est la matrice transposée de[x₁  x₂], sont deux représentations du même système. Elles ont en commun de définir des R-modules identiques à un isomorphisme près (cf. algèbre linéaire et multilinéaire) : le premier, M₁, est engendré par les variables y et u vérifiant (6) ; le second, M₂, est engendré par les variables x₁, x₂ et u vérifiant la première égalité de (7) [d'après la seconde, y appartient à M₂]. Un système linéaire s'identifie dès lors (ou est « naturellement associé ») à un R-module M de type fini (c'est-à-dire engendré par un nombre fini d'éléments). Considérons par exemple l'expression (6) de M et soit ȳ l'image canonique de y dans le module quotient M/[u], où[u]désigne le R-module engendré par u. On a (∇² + a₁W + a₂) ȳ = 0, et M/[u] = [ȳ]est donc un « module de torsion », car chacun de ses éléments m̄ est un « élément de torsion » [c'est-à-dire vérifie une équation différentielle ou aux différences autonome p(∇)m̄ = 0, 0 ? p(∇) ∈ R, avec dans le cas présent p(∇) = ∇² + a₁∇ + a₂]. Cette propriété permet de définir u comme étant l'entrée du système considéré ; dans le cas où u a plusieurs composantes u₁, ..., u_m, le module[u]engendré par ces variables est de plus supposé libre de rang m. La sortie du système est y ; dans le cas général, y peut avoir p composantes y₁, ..., y_p qui sont des éléments de M.

Représentation d'état

On peut montrer que tout système linéaire et stationnaire admet une représentation dite « d'état », de la forme

où A ∈ ℝ^n×n, B ∈ ℝ^n×m, C ∈ ℝ^p×n et D(∇) ∈ R^p×m sont appelées respectivement les matrices d'état, d'entrée, de sortie et de « terme direct » et où le vecteur x (ayant n composantes x_i) est appelé l'état du système. En revanche, seule une classe bien particulière de systèmes non linéaires admet une représentation d'état, dont la forme est une généralisation de (9). L'équation d'état, à savoir la première équation de (9), est une équation différentielle ou aux différences vectorielle linéaire du premier ordre, ce qui présente des avantages de simplicité ; la seconde équation de (9), appelée l'équation de sortie, montre que la sortie y s'exprime linéairement et uniquement en fonction de l'état (et éventuellement de la commande u) et d'un nombre fini de termes ∇ⁱu, i = 1 ; de sorte que l'état est un résumé du passé du système dans le sens où le second n'influe sur la sortie qu'au travers du premier. Ce système est dit propre si D(∇) ∈ ℝ^p×m et strictement propre si D = 0. Les systèmes impropres ne sont pas réalisables en pratique (notamment, un système à temps discret impropre est non causal, puisque sa sortie à un instant donné dépend des valeurs futures de l'entrée).[...]