L'automatique (control theory) a pour objet le contrôle automatique de procédés industriels ou d'appareillages divers. Son champ d'application est immense: mécanique, électricité, chimie, ..., tous les domaines réclament la mise au point de dispositifs permettant de supprimer ou de faciliter le pilotage humain ou la surveillance. Les systèmes biologique eux-mêmes possèdent des structures naturelles de régulation, que l'automatique peut réinterpréter par analogie avec les systèmes articiels, ce qui conduit parfois à de nouvelles thérapeutiques.
Mathématiquement, un système physique peut être décrit
par un système d'équations
Le vecteur correspond aux commandes du système, c'est-à-dire aux actions exercés sur le système, soit par un pilote humain, soit par un dispositif extérieur.
La lettre désigne le temps. Si les équations sont indépendantes du temps, le système est dit stationnaire. Enfin, le vecteur correspond à des paramètres, qui décrivent le système particulier considéré dans une classe donnée: masse d'une pièce mobile, raideur d'un ressort, résistance d'un conducteur, vitesse d'une réaction chimique, ...
La description d'un système est complétée par la
donnnée des équations
La problématique typique de l'automatique est la suivante: à partir d'un état de départ donné, on veut amener le système à un nouvel état en un temps assez bref, ce qui suppose de pouvoir calculer une commande appropriée (contrôlabilité). Une fois le système amené en un point d'équilibre, on souhaite l'y maintenir (stabilisation).
La résolution de ces différents problèmes nécessite souvent de pouvoir recalculer l'état du système à partir des sorties et des commandes, si celui-ci n'est pas entièrement mesuré (observabilité), et de pouvoir aussi calculer la valeur des paramètres qui ne seraient pas connus a priori (identifiabilité).
Ce cours ne prétend pas être un cours d'automatique, qui n'aurait pas ici sa place, et n'a pas d'autre ambition que d'illustrer les apports du calcul formel dans un domaine concret.