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

https://hal.inria.fr/inria-00517264
Contributeur : Hervé Marchand <>
Soumis le : mardi 14 septembre 2010 - 09:02:39
Dernière modification le : vendredi 13 janvier 2017 - 14:37:12
Document(s) archivé(s) le : mercredi 15 décembre 2010 - 02:34:06

Fichier

2004-EJC.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00517264, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

177

Téléchargements de fichiers

99