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 Observers for Fault Diagnosis of Discrete-Event Systems, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007.
DOI : 10.1109/TASE.2007.51

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

C. Courcoubetis, M. Vardi, P. Wolper, and M. Yannakakis, Memory Efficient Algorithms for the Verification of Temporal Properties, Formal Methods in System Design, pp.275-288, 1992.

A. Dasdan, S. Irani, and R. Gupta, Efficient algorithms for optimum cycle mean and optimum cost to time ratio problems, Annual ACM IEEE Design Automation Conference, pp.1-58133, 1999.

R. Debouk, S. Lafortune, and D. Teneketzis, On an Optimization Problem in Sensor Selection, 2004.

L. Doyen, K. Chatterjee, T. Henzinger, and J. Raskin, Algorithms for omega-regular games with imperfect information, Computer Science Logic (CSL) Lecture Notes in Computer Science, vol.4207, pp.287-302, 2006.

G. Holzmann, D. Peled, and M. Yannakakis, On nested depth-first search, Proc. of the 2nd Spin Workshop, 1996.
DOI : 10.1090/dimacs/032/03

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.3452

G. J. Holzmann, Software model checking with SPIN, Advances in Computers, pp.78-109, 2005.

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. 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

R. Karp, A characterization of the minimum cycle mean in a digraph, Discrete Mathematics, vol.23, issue.1, pp.309-311, 1978.
DOI : 10.1016/0012-365X(78)90078-X

H. Lamouchi and J. Thistle, Effective control synthesis for DES under partial observations, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187), 2000.
DOI : 10.1109/CDC.2000.912726

P. Ramadge and W. 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. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, 1995.
DOI : 10.1109/9.412626

W. Thomas, On the synthesis of strategies in infinite games, Proc. 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS'95), 1995.
DOI : 10.1007/3-540-59042-0_57

D. Thorsley and D. Teneketzis, Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems, pp.531-583, 2007.

J. Tsitsiklis, On the Control of Discrete Event Dynamical Systems, Mathematics of Control, Signals and Systems, 1989.

T. Yoo and H. Garcia, Computation of Fault Detection Delay in Discrete-Event Systems, 14th International Workshop on Principles of Diagnosis, DX'03, 2003.

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.

T. Yoo and S. Lafortune, NP-completeness of sensor selection problems arising in partially observed discrete-event systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1495-1499, 2002.

T. Yoo and S. Lafortune, Polynomial-Time Verification of Diagnosability of Partially-Observed Discrete- Event Systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002.

U. Zwick and M. Paterson, The complexity of mean payoff games on graphs, Theoretical Computer Science, vol.158, issue.1-2, pp.343-359, 1996.
DOI : 10.1016/0304-3975(95)00188-3