Supervisory Control of Product and Hierarchical Discrete Event Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue European Journal of Control Année : 2004

Supervisory Control of Product and Hierarchical Discrete Event Systems

Résumé

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
Fichier principal
Vignette du fichier
2004-EJC.pdf (213.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00517264 , version 1 (14-09-2010)

Identifiants

  • HAL Id : inria-00517264 , version 1

Citer

Benoit Gaudin, Hervé Marchand. Supervisory Control of Product and Hierarchical Discrete Event Systems. European Journal of Control, 2004, 10 (2), pp.131-145. ⟨inria-00517264⟩
115 Consultations
174 Téléchargements

Partager

Gmail Facebook X LinkedIn More