1. Supervisory control of a rapid thermal multiprocessor;Balemi;IEEE Transactions on Automatic Control (Joint Issue with Automatica),1993
2. Automated control synthesis for an assembly line using discrete event system control theory;Chandra;IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews,2003
3. Finite automata decomposition for flexible manufacturing systems control and scheduling;Darabi;IEEE Transactions on Systems, Man, and Cybernetics,2003
4. Garcia FA. Formal development of logic controllers. A case study in automated manufacturing systems. Master's thesis, Cinvestav, Unidad de Ingenieria Avanzada; 2007 [in Spanish].
5. Gouyon D, Petin JF, Morel G. Control synthesis for product-driven automation. In: Proceedings of IFAC workshop on discrete event systems, September 22–24, Reims, Fr, 2004.