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 : https://link.springer.com/content/pdf/10.1007%2F978-3-540-31982-5_14.pdf
Performance guarantees in communication networks, 2000. ,
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. ,
State Observer for DES Under Partial Observation with Time Petri Nets, Discrete Event Dynamic Systems, vol.4, issue.2, pp.137-165, 2009. ,
DOI : 10.1007/s10626-009-0060-0
URL : https://hal.archives-ouvertes.fr/hal-00801148
Max-plus Linear Observer: Application to Manufacturing Systems, 10th International Workshop on Discrete Event Systems, 2010. ,
DOI : 10.3182/20100830-3-DE-4013.00028
URL : https://hal.archives-ouvertes.fr/hal-00857986
Taming Heterogeneity and Complexity of Embedded Control, chapter The On-line 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
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 chronicle-based diagnosability approach for discrete timedevent 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, 2014 International Conference on Control, Decision and Information Technologies (CoDIT), pp.551-556, 2014. ,
DOI : 10.1109/CoDIT.2014.6996954
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. ,
DOI : 10.1016/j.ifacol.2017.08.1200
Adaptive Feedback Control for (max,+)-linear Systems, 2005 IEEE Conference on Emerging Technologies and Factory Automation, 2005. ,
DOI : 10.1109/ETFA.2005.1612675
Fault Diagnosis for Timed Automata, pp.205-221, 2002. ,
DOI : 10.1007/3-540-45739-9_14