%0 Journal Article 
%F gaudin04b
%A Gaudin, B.
%A Marchand, H
%T Supervisory Control of Product and Hierarchical Discrete Event Systems
%J European Journal of Control
%V 10
%N 2
%X 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
%U http://www.irisa.fr/vertecs/Publis/Ps/2004-EJC.pdf
%U http://dx.doi.org/10.3166/ejc.10.131-145
%D 2004