%O Report 
%F gaudin03c
%A Gaudin, B.
%A Marchand, H
%T Supervisory Control of Structured Discrete Event Systems
%N 1569
%I IRISA
%X In this paper, the control of a class of Discrete Event Systems is investigated. Discrete event systems are modeled by a collection of loosely synchronous Finite State Machines. The basic problem of interest is to ensure the invariance of a set of particular configurations in the system. We provide algorithms that, based on a particular decomposition of the set of forbidden configurations, locally solve the control problem (i.e. on each component without computing the whole system) and produce a global supervisor ensuring the desired property
%U http://www.irisa.fr/vertecs/Publis/Ps/PI-1569.pdf
%8 November
%D 2003