Author:
Rohee B.,Carre-Menetrier V.,Riera B.
Reference13 articles.
1. Akesson, K., M. Fabian, H. Flordal and A. Vahidi (2003). Supremica: a tool for verification and synthesis of discrete event supervisors. Proc. of the 11th Mediterranean Conference on Control and Automation.
2. Balemi S. (1992) Input/output discrete event processes and system modeling. In Balemi et al. [8], pages 15-27. Proc. of the Joint Workshop on Discrete Event Systems (WODES'92), Prague, Czechoslovakia.
3. Cassandras C. G., Lafortune S. (1999) Introduction to Discrete Event Systems, Kluwer Academic Publishers, 1999
4. Pragmatic approach for modular control synthesis and implementation;Gouyon;International Journal of Production Research,2004
5. Liu J, Darabi H., (2002) Ramadge-Wonham supervisory control of mobile robot in practice. Proceeding of ICRA'02