. Cassez, . F. Grastien, A. Cassez, and . Grastien, Predictability of Event Occurrences in Timed Systems, International Workshop on Formal Modeling and Analysis of Timed Systems, 2013.
DOI : 10.1007/978-3-642-40229-6_5

. Cimatti, Formal verification of diagnosability via symbolic model checking, International Joint Conference on Artificial Intelligence, pp.363-369, 2003.

. Console, Diagnosis and diagnosability analysis using pepa, European Conference on Artificial Intelligence, pp.131-136, 2000.

L. Genc, S. Genc, and . Lafortune, Predictability of event occurrences in partially-observed discrete-event systems, Automatica, vol.45, issue.2, pp.301-311, 2009.
DOI : 10.1016/j.automatica.2008.06.022

. Jeron, Predictability of Sequence Patterns in Discrete Event Systems, IFAC World Congress, pp.537-543, 2008.
DOI : 10.3182/20080706-5-KR-1001.00091
URL : https://hal.archives-ouvertes.fr/inria-00420497

. Jiang, A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.46, issue.8, pp.1318-1321, 2001.
DOI : 10.1109/9.940942

S. G. Kemeny, J. L. Kemeny, and . Snell, Finite Markov Chains, 1983.

D. Nouioua, P. Nouioua, and . Dague, A probabilistic analysis of diagnosability in discrete event systems, European Conference on Artificial Intelligent, pp.224-228, 2008.

G. Rintanen, A. Rintanen, and . Grastien, Diagnosability testing with satisfiability algorithms, International Joint Conference on Artificial Intelligence, pp.532-537, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00110586

. Sampath, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
DOI : 10.1109/9.412626

P. Schumann, Y. Schumann, and . Pencolé, Scalable diagnosability checking of event-driven systems Diagnosability of stochastic discreteevent systems, International Joint Conference on Artificial Intelligence, pp.575-580476, 2005.

D. L. Ye, P. Ye, and . Dagueye, A general algorithm for pattern diagnosability of distributed discrete event systems Predictability analysis of distributed discrete event systems, IEEE International Conference on Tools with Artificial Intelligence IEEE Conference on Decision and Control, pp.130-137, 2012.

S. Lafortune, Polynomial-time verification of diagnosability of partially-observed discrete-event systems, IEEE Trans. On Aut. Cont, vol.47, issue.9, pp.1491-1495, 2002.