Ce qu'on appelle classiquement l'
automatique
est un terme qui regroupe l'ensemble des techniques permettant d'agir sur un système dynamique pour lequel x (t), état du système à l'instant t, est un vecteur de
, donc de
dimension finie
. Ces systèmes sont, dans le majorité des cas, gouvernés par des
équations différentielles
, linéaires ou non (cf.
) dans cette base documentaire (réf.
).
L'objet de cet article est de traiter de la commande ou du contrôle (les termes sont équivalents) de systèmes gouvernés par des équations aux dérivées partielles. La différence essentielle réside dans le fait que, à chaque instant t, l'état du système, noté maintenant y(t), est une fonction d'une variable d'espace x (on le notera donc également y(x, t)) ; on peut donc considérer y(t) comme un élément d'un espace fonctionnel qui n'est pas de dimension finie, d'où la terminologie de système dynamique en
dimension infinie
. Le terme de
système distribué
, qui semble s'être imposé dans la littérature (« distributed system » en anglais), provient du fait que y(t) est un état « distribué » sur le domaine
Ω
de l'espace
, n = 1, 2, 3, dans lequel se produisent les phénomènes modélisés par l'équation aux dérivées partielles. Il y a donc des liens très étroits avec l'automatique qui seront largement soulignés dans la présentation des problèmes et des méthodes.
Une particularité de ce sujet est que l'étude du contrôle de
systèmes stationnaires
(indépendants du temps) est tout à fait pertinente et c'est d'ailleurs par ce type de situations que l'on peut aborder le sujet.
Enfin il y a lieu d'indiquer que de nombreux problèmes qui, a priori, ne se posent pas en termes de problème de commande optimale, s'y ramènent de manière naturelle : c'est le cas, par exemple, des problèmes d'identification de paramètres et d'optimisation de formes.
Le lecteur trouvera dans l'annexe, au paragraphe