F. Baccelli, G. Cohen, G. Olsder, and J. Quadrat, Synchronization and linearity: an algebra for discrete event systems, 1992.

T. Brunsch, L. Hardouin, C. A. Maia, and J. Raisch, Duality and interval analysis over idempotent semirings
URL : https://hal.archives-ouvertes.fr/hal-00846169

M. Ghazel, A. Toguyéni, and P. Yim, State observer for des under partial observation with time petri nets, Discrete Event Dynamic Systems, vol.19, issue.2, pp.137-165, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00801148

E. L. Corronc, A. Sahuguède, Y. Pencolé, and C. Paya, Localization of time shift failures in (max,+)-linear systems. International Workshop on Discrete Event Systems, WODES, vol.18, issue.7, pp.186-191, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01954270

M. Lhommeau, L. Hardouin, B. Cottenceau, and L. Jaulin, Interval analysis and dioid: application to robust controller design for timed event graphs, Automatica, vol.40, issue.11, pp.1923-1930, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01113454

. Maxplus, Second order theory of min-linear systems and its application to discrete event systems, Proceedings of the 30th IEEE Conference on Decision and Control. CDC'91, 1991.

A. Sahuguède, E. L. Corronc, and Y. Pencolé, Design of indicators for the detection of time shift failures in (max, +)-linear systems, 20th World Congress of the International Federation of Automatic Control, 2017.

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, pp.1555-1575, 1995.

S. Tripakis, Fault Diagnosis for Timed Automata, pp.205-221, 2002.