Supervisory Control of Product and Hierarchical Discrete Event Systems

Abstract : In this paper, the supervisory control of a class of Discrete Event Systems is investigated. Discrete event systems are modeled either by a collection of Finite State Machines that behave asynchronously or by a Hierarchical Finite State Machine. The basic problem of interest is to ensure the invariance of a set of particular configurations in the system. When the system is modeled as asynchronous FSMs, we provide algorithms that, based on a particular decomposition of the set of forbidden configurations, solve the control problem locally (i.e. on each component without computing the whole system) and produce a global supervisor ensuring the desired property. We then provide sufficient conditions under which the obtained controlled system is non-blocking. This kind of objectives may be useful to perform dynamic interactions between different parts of a system. Finally, we apply these results to the case of Hierarchical Finite State Machines
Type de document :
Article dans une revue
European Journal of Control, Lavoisier, 2004, 10 (2), pp.131-145
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger
Contributeur : Hervé Marchand <>
Soumis le : mardi 14 septembre 2010 - 09:02:39
Dernière modification le : mercredi 11 avril 2018 - 02:00:00
Document(s) archivé(s) le : mercredi 15 décembre 2010 - 02:34:06


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00517264, version 1



Benoit Gaudin, Hervé Marchand. Supervisory Control of Product and Hierarchical Discrete Event Systems. European Journal of Control, Lavoisier, 2004, 10 (2), pp.131-145. 〈inria-00517264〉



Consultations de la notice


Téléchargements de fichiers