%0 Conference Proceedings
%F gaudin05a
%A Gaudin, B.
%A Marchand, H.
%T Efficient Computation of supervisors for loosely synchronous Discrete Event Systems: A State-Based Approach
%B 6th IFAC World Congress
%C Prague, Czech Republic
%X In this paper, we are interested in the control of a particular class of Concurrent Discrete Event Systems defined by a collection of components that interact with each other. We here consider the state avoidance control problem. We provide algorithms that, based on a particular decomposition of the set of forbidden states, locally solve the control problem (i.e. on each component without computing the whole system) and produce a global supervisor, that can be efficiently evaluated on the fly
%U http://www.irisa.fr/vertecs/Publis/Ps/2005-ifac.pdf
%8 July
%D 2005