B. Brandin, R. Malik, and P. Dietrich, Incremental system verification and synthesis of minimally restrictive behaviours, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334), pp.4056-4061, 2000.
DOI : 10.1109/ACC.2000.876984

Y. Brave and M. Heimann, Control of discrete event systems modeled as hierarchical state machines, IEEE Transactions on Automatic Control, vol.38, issue.12, pp.1803-1819, 1993.
DOI : 10.1109/9.250558

R. E. Bryant, Symbolic Boolean manipulation with ordered binary-decision diagrams, ACM Computing Surveys, vol.24, issue.3, pp.293-318, 1992.
DOI : 10.1145/136035.136043

P. Caines, V. Gupta, and G. Shen, The hierarchical control of ST-finite-state machines. Systems and Control Letters, pp.185-192, 1997.

C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 1999.

M. H. Dequeiroz and J. E. Cury, Modular supervisory control of large scale discrete-event systems, Discrete Event Systems: Analysis and Control. Proc. WODES'00, pp.103-110, 2000.

M. H. Dequeiroz and J. E. Cury, Synthesis and implementation of local modular supervisory control for a manufacturing cell, Proceedings of the 6th International Workshop on Discrete Event Systems, pp.377-382, 2002.

B. Gaudin and H. Marchand, Supervisory control of structured discrete event systems, Research Report, vol.1569, 2003.

P. Gohari-moghadam, A linguistic Framework for controller hierarchical DES. M.a.s.c. thesis, 1998.

D. Harel and A. Pnueli, On the Development of Reactive Systems, Logics and Models of Concurrent Systems, pp.477-498, 1985.
DOI : 10.1007/978-3-642-82453-1_17

K. and M. Fabian, Exploiting modularity for synthesis and verification of supervisors, Proc. of the IFAC, 2002.

R. J. Leduc, Hierarchical Interface Based Supervisory Control, 2002.

R. J. Leduc, W. M. Wonham, and M. Lawford, Hierarchical interface-based supervisory control-part II: parallel case, Proc. of the 39th Allerton Conf. on Comm., Contr., and Comp, pp.386-395, 2001.
DOI : 10.1109/TAC.2005.854612

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of discrete-event controllers based on the signal environment, Discrete Event Dynamic System : Theory and Applications, pp.347-368, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

H. Marchand and B. Gaudin, Supervisory control problems of hierarchical finite state machines, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., 2002.
DOI : 10.1109/CDC.2002.1184677
URL : https://hal.archives-ouvertes.fr/inria-00525529

P. J. Ramadge and W. M. Wonham, Modular Feedback Logic for Discrete Event Systems, SIAM Journal on Control and Optimization, vol.25, issue.5, pp.1202-1218, 1987.
DOI : 10.1137/0325066

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

E. Rutten and H. Marchand, Task-level programming for control systems using discrete control synthesis, Research Report, vol.4389, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00072199

C. R. Torrico and J. E. Cury, Hierarchical supervisory cotnrol of discrete event systems based on s state aggregation, Proc. of the IFAC, 2002.

T. Ushio, On controllable predicates and languages in discrete-event systems, Proceedings of the 28th IEEE Conference on Decision and Control, pp.123-124, 1989.
DOI : 10.1109/CDC.1989.70087

Y. Willner and M. Heymann, Supervisory control of concurrent discrete-event systems, International Journal of Control, vol.54, issue.5, pp.1143-1169, 1991.
DOI : 10.1137/0325036

K. C. Wong and W. M. Wonham, Hierarchical control of discrete-event systems, Discrete Event Dynamic Systems, vol.35, issue.10, pp.241-273, 1996.
DOI : 10.1007/BF01797154

W. M. Wonham and P. J. Ramadge, Modular supervisory control of discrete-event systems, Mathematics of Control, Signals, and Systems, vol.25, issue.1, pp.13-30, 1988.
DOI : 10.1007/BF02551233

Z. H. Zhang and W. M. Wonham, STCT: An Efficient Algorithm for Supervisory Control Design, Symposium on Supervisory Control of Discrete Event Systems (SCODES2001), 2001.
DOI : 10.1007/978-1-4757-6656-1_5