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'05), pp.219-233, 2005. ,
DOI : 10.1007/978-3-540-31982-5_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.7570
Algebraic tools for the performance evaluation of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.39-85, 1989. ,
DOI : 10.1109/5.21069
Data processing tool for calculation in dioid, 5th International Workshop on Discrete Event Systems . WODES'00, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00845037
Discovering chronicles with numerical time constraints from alarm logs for monitoring dynamic systems, IJCAI 99: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, pp.620-626, 1999. ,
Taming Heterogeneity and Complexity of Embedded Control, chapter The Online Diagnosis of Time Petri Nets Based on Partial Orders, p.21, 2013. ,
Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting, 19th World Congress of The International Federation of Automatic Control, pp.1784-1789, 2014. ,
DOI : 10.3182/20140824-6-ZA-1003.02336
URL : https://hal.archives-ouvertes.fr/hal-00999380
A chronicle-based diagnosability approach for discrete timed-event systems: Application to web-services, Journal of Universal Computer Science, issue.17, pp.153246-3272, 2009. ,
Causal Temporal Signature from diagnoser model for online diagnosis of Discrete Event Systems, 2014 International Conference on Control, Decision and Information Technologies (CoDIT), pp.551-556, 2014. ,
DOI : 10.1109/CoDIT.2014.6996954
Learning chronicles signing multiple scenario instances, 19th World Congress of The International Federation of Automatic Control, pp.10397-10402, 2014. ,
DOI : 10.3182/20140824-6-ZA-1003.02579
URL : https://hal.archives-ouvertes.fr/hal-01162866
Fault Diagnosis for Timed Automata, pp.205-221, 2002. ,
DOI : 10.1007/3-540-45739-9_14
Overview of fault diagnosis methods for Discrete Event Systems, Annual Reviews in Control, vol.37, issue.2, pp.308-320, 2013. ,
DOI : 10.1016/j.arcontrol.2013.09.009