F. Cassez, S. Tripakis, and K. Altisen, Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007.
DOI : 10.1109/ACSD.2007.27
URL : https://hal.archives-ouvertes.fr/inria-00363030

F. Cassez, S. Tripakis, and K. Altisen, Synthesis of optimal-cost dynamic diagnosers for fault diagnosis of discrete-event systems, 1st IEEE & IFIP International International Symposium on Theoretical Aspects of Software Engineering (TASE'07)

R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya, Supervisory control of discrete-event processes with partial observations, IEEE Transactions on Automatic Control, vol.33, issue.3, pp.249-260, 1988.
DOI : 10.1109/9.402

R. Debouk, S. Lafortune, and D. Teneketzis, On an optimization problem in sensor selection. Discrete Event Dynamic Systems, 2004.

L. Doyen, K. Chatterjee, T. A. Henzinger, and J. Raskin, Algorithms for omega-regular games with imperfect information, CSL: Computer Science Logic, pp.287-302, 2006.

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A polynomial algorithm for testing diagnosability of discrete event systems, IEEE Transactions on Automatic Control, issue.8, p.46, 2001.

S. Jiang, R. Kumar, and H. E. Garcia, Optimal sensor selection for discrete-event systems with partial observation, IEEE Transactions on Automatic Control, vol.48, issue.3, pp.369-381, 2003.
DOI : 10.1109/TAC.2003.809144

P. Ramadge and W. M. Wonham, Supervisory control of a class of discrete event processes, SIAM J. Control Optim, vol.25, issue.1, 1987.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. C. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, 1995.
DOI : 10.1109/9.412626

N. John and . Tsitsiklis, On the control of discrete event dynamical systems, Mathematics of Control, Signals and Systems, vol.2, issue.2, 1989.

T. Yoo and S. Lafortune, On the computational complexity of some problems arising in partially-observed discrete event systems, American Control Conference (ACC'01), 2001.