Книга: Synthese de controleurs sur des systemes discrets et structures: Une approche formelle pour le calcul efficace de controleurs (French Edition)

Alors que les systemes informatiques et industriels deviennent de plus en plus complexes, assurer leur bon fonctionnement devient elle aussi une tache de plus en plus hardue. Dans cette etude, des techniques basees sur le controle automatique de systemes sont considerees, de facon a assurer le bon comportement de systemes. Dans cette optique, on s'interesse aux systemes a evenements discrets et a la theorie du controle introduite par Ramadge et Wonham. Plus particulierement les methodes proposees se focalisent sur les systemes complexes et tirent avantage de leur structure. Ces systemes sont en effet le plus souvent obtenus par compositions de sous-systemes et les methodes developpees dans cet ouvrage permettent d'eviter le probleme d'efficacite induit par composition. Ceci rend ainsi la theorie du controle de Ramadge et Wonham plus propice a des applications sur des systemes reels.