Skip to Main content Skip to Navigation
Journal articles

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
Document type :
Journal articles
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Tuesday, September 14, 2010 - 9:02:39 AM
Last modification on : Friday, February 4, 2022 - 3:17:41 AM
Long-term archiving on: : Wednesday, December 15, 2010 - 2:34:06 AM


Files produced by the author(s)


  • HAL Id : inria-00517264, version 1


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



Record views


Files downloads