Supervisory Control of Product and Hierarchical Discrete Event Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles European Journal of Control Year : 2004

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
Fichier principal
Vignette du fichier
2004-EJC.pdf (213.11 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00517264 , version 1

Cite

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⟩
113 View
167 Download

Share

Gmail Facebook Twitter LinkedIn More