Benoit Gaudin

Synthèse De Contrôleurs Sur Des Systèmes Discrets et Structurés: Une Approche Formelle Pour Le Calcul Efficace De Contrôleurs Benoit Gaudin French edition

Alors que les systèmes informatiques et industriels deviennent de plus en plus complexes, assurer leur bon fonctionnement devient elle aussi une tâche de plus en plus hardue. Dans cette étude, des techniques basées sur le contrôle automatique de systèmes sont considérées, de façon à assurer le bon comportement de systèmes. Dans cette optique, on s'intéresse aux systèmes à événements discrets et à la théorie du contrôle introduite par Ramadge et Wonham. Plus particulièrement les méthodes proposées se focalisent sur les systèmes complexes et tirent avantage de leur structure. Ces systèmes sont en effet le plus souvent obtenus par compositions de sous-systèmes et les méthodes développées dans cet ouvrage permettent d'éviter le problème d'efficacité induit par composition. Ceci rend ainsi la théorie du contrôle de Ramadge et Wonham plus propice à des applications sur des systèmes réels.