Synchronization and linearity: an algebra for discrete event systems, 1992. ,
Fault diagnosis using timed automata, Proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), 2005. ,
Algebraic tools for the performance evaluation of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.39-85, 1989. ,
, , 2000.
Discovering chronicles with numerical time constraints from alarm logs for monitoring dynamic systems, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999. ,
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
Taming Heterogeneity and Complexity of Embedded Control, chapter The On-line Diagnosis of Time Petri Nets Based on Partial Orders, vol.21, 2013. ,
Diagnosis of labeled time petri nets using time interval splitting, 19th World Congress of the International Federation of Automatic Control, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00999380
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), 1991. ,
A chronicle-based diagnosability approach for discrete timed-event systems: Application to web-services, Journal of Universal Computer Science, vol.15, issue.17, pp.3246-3272, 2009. ,
Causal temporal signature from diagnoser model for online diagnosis of discrete event systems, International Conference on Control, Decision and Information Technologies, 2014. ,
Fault diagnosis for timed automata, 7th International Symposium of Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002. ,