PI-1569: Supervisory Control of Structured Discrete Event Systems
Benoit Gaudin, Hervé Marchand
http://www.irisa.fr/bibli/publi/pi/2003/1569/1569.html
27 pages - novembre 2003

Abstract
In this paper, the control of a class of Discrete Event Systems is
investigated. Discrete event systems are modeled by a collection of
loosely synchronous Finite State Machines. The basic problem of interest
is to ensure the invariance of a set of particular configurations in the
system. We provide algorithms that, based on a particular decomposition
of the set of forbidden configurations, locally solve the control
problem (i.e. on each component without computing the whole system) and
produce a global supervisor ensuring the desired property.

Résumé
Dans ce papier, nous nous intéressons au contrôle de systèmes à
événements discrets modélisés par des machines à états finis
structurées, partageant des événements communs. Le problème du contrôle
que nous nous posons est d'assurer l'interdiction d'un ensemble
particulier de configurations dans le système. Nous présentons des
algorithmes qui, basés sur une décomposition particulière de cet
ensemble, résolvent localement les problèmes de contrôle (i.e. sur
chaque composant du système sans avoir à calculer explicitement le
système) et produisent un contrôleur global assurant la propriété
attendue. Ce type objectifs peut être utilisé pour décrire/assurer des
interactions entre différents sous-systèmes.

Keywords: Discrete Event Systems, Supervisory Control Problem,
structured Finite State Machines, Optimal control

Mots clefs: Systèmes à événements discrets, contrôle, systèmes
structurés, commande optimal