E. Brinskma, A theory for the derivation of tests, Protocol Specification, pp.63-74, 1988.

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

J. Fernandez, C. Jard, T. Jéron, and C. Viho, An experiment in automatic generation of test suites for protocols with verification technology, Science of Computer Programming, vol.29, issue.1-2, pp.29-123, 1997.
DOI : 10.1016/S0167-6423(96)00032-9
URL : https://hal.archives-ouvertes.fr/inria-00073775

J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, 1979.

L. P. Kaelbling, M. L. Littman, and A. R. Cassandra, Planning and acting in partially observable stochastic domains, Artificial Intelligence, vol.101, issue.1-2, pp.99-134, 1998.
DOI : 10.1016/S0004-3702(98)00023-X

R. Kumar and V. Garg, Optimal control of discrete event dynamical systems using network flow techniques, Proceedings of the 29th Allerton Conference on Communication, Control , and Computing, pp.705-714, 1991.

V. Kumar and L. N. , A General Branch-and-Bound Formulation for AND/OR Graph and Game Tree Search, Search in Artificial Intelligence, pp.91-130, 1988.
DOI : 10.1007/978-1-4613-8788-6_3

E. L. Lawler, J. K. Lenstra, A. H. Kan, and D. B. Shmoys, The Traveling Salesman Problem, 1985.

E. L. Lawler and D. E. Wood, Branch-and-Bound Methods: A Survey, Operations Research, vol.14, issue.4, pp.699-719, 1966.
DOI : 10.1287/opre.14.4.699

H. Marchand, O. Boivineau, and S. Lafortune, On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals Available via ftp, Control Group Reports, 1998.

H. Marchand and M. L. Borgne, On the optimal control of polynomial dynamical systems over z/pz, Proceedings of the 4th IEE International Workshop on Discrete Event Systems, pp.385-390, 1998.

K. Murty and O. Research, Deterministic Optimization Models, N.J, 1995.

D. J. Musliner, E. H. Durfee, and K. G. Shin, CIRCA: a cooperative intelligent real-time control architecture, IEEE Transactions on Systems, Man, and Cybernetics, vol.23, issue.6, pp.1561-1574, 1993.
DOI : 10.1109/21.257754

K. Passino and P. Antsaklis, On the optimal control of discrete event systems, Proceedings of the 28th IEEE Conference on Decision and Control, pp.2713-2718, 1989.
DOI : 10.1109/CDC.1989.70672

P. J. Ramadge and W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

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

A. Rouger and M. Phalippou, Test cases generation from formal specifications, Proceedings of the ISS'92, pp.10-12, 1992.

S. Russel and P. Norvig, Artificial Intelligence: A Modern Approach, 1995.

R. Sengupta and S. Lafortune, A deterministic optimal control theory for discrete event systems, Proceedings of 32nd IEEE Conference on Decision and Control, 1993.
DOI : 10.1109/CDC.1993.325369

R. Sengupta, S. Lafortune, and A. , A deterministic optimal control theory for discrete event systems, Proceedings of 32nd IEEE Conference on Decision and Control, 1993.
DOI : 10.1109/CDC.1993.325369

R. Sengupta and S. Lafortune, An Optimal Control Theory for Discrete Event Systems, SIAM Journal on Control and Optimization, vol.36, issue.2, pp.488-541, 1998.
DOI : 10.1137/S0363012994260957

G. Shen and P. Caines, Control consistency and hierarchically accelerated dynamic programming, Proceedings of the 37th IEEE Conference on Decision and Control, pp.1686-1691, 1998.

G. Shen, P. Caines, and P. Hubbard, Control Consistency and Hierarchically Accelerated Dynamic Programming, 1997.

E. Tronci, Optimal state supervisory control, Proceedings of the 35th IEEE Conference on Decision and Control, pp.2237-2242, 1996.
DOI : 10.1109/cdc.1996.572981
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.508