{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T17:26:43Z","timestamp":1779384403849,"version":"3.53.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T00:00:00Z","timestamp":1626998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T00:00:00Z","timestamp":1626998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s10626-020-00329-7","type":"journal-article","created":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T11:02:56Z","timestamp":1627038176000},"page":"513-552","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Failure detection and localization for timed event graphs in $(\\max \\limits ,+)$-algebra"],"prefix":"10.1007","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8604-1377","authenticated-orcid":false,"given":"Euriell","family":"Le Corronc","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yannick","family":"Pencol\u00e9","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexandre","family":"Sahugu\u00e8de","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claire","family":"Paya","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,7,23]]},"reference":[{"key":"329_CR1","volume-title":"Synchronization and linearity: an algebra for discrete event systems","author":"F Baccelli","year":"1992","unstructured":"Baccelli F, Cohen G, Olsder GJ, Quadrat J-P (1992) Synchronization and linearity: an algebra for discrete event systems. Wiley, New York"},{"key":"329_CR2","doi-asserted-by":"publisher","first-page":"1095","DOI":"10.1007\/s12555-012-0366-9","volume":"11","author":"S Baniardalani","year":"2013","unstructured":"Baniardalani S, Askari J (2013) Fault diagnosis of timed discrete event systems using dioid algebra. Int J Control Autom Syst 11:1095\u20131105","journal-title":"Int J Control Autom Syst"},{"issue":"3","key":"329_CR3","doi-asserted-by":"publisher","first-page":"1384","DOI":"10.1109\/TAC.2016.2588736","volume":"62","author":"F Basile","year":"2017","unstructured":"Basile F, Cabasino MP, Seatzu C (2017) Diagnosability analysis of labeled time petri net systems. IEEE Trans Autom Control 62(3):1384\u20131396","journal-title":"IEEE Trans Autom Control"},{"key":"329_CR4","volume-title":"Lattices and ordered algebraic structures","author":"T Blyth","year":"2005","unstructured":"Blyth T (2005) Lattices and ordered algebraic structures. Springer, London"},{"key":"329_CR5","doi-asserted-by":"crossref","unstructured":"Bouyer P, Chevalier F, D\u2019Souza D (2005) Fault diagnosis using timed automata. In: Proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures","DOI":"10.1007\/978-3-540-31982-5_14"},{"key":"329_CR6","doi-asserted-by":"crossref","unstructured":"Bouyer P, Jaziri S, Markey N (2018) Efficient timed diagnosis using automata with timed domains. In: International Conference on Runtime Verification","DOI":"10.1007\/978-3-030-03769-7_12"},{"key":"329_CR7","unstructured":"Chen Y-L, Provan G (1997) Modeling and diagnosis of timed discrete event systems-a factory automation example. In: Proceedings of the 1997 American Control Conference, vol 1, pp 31\u201336"},{"issue":"1","key":"329_CR8","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1109\/5.21069","volume":"77","author":"G Cohen","year":"1989","unstructured":"Cohen G, Moller P, Quadrat J-P, Viot M (1989) Algebraic tools for the performance evaluation of discrete event systems. Proc IEEE 77(1):39\u201385","journal-title":"Proc IEEE"},{"key":"329_CR9","unstructured":"Cottenceau B, Lhommeau M, Hardouin L, Boimond J-L (2000) Data processing tool for calculation in dioid. In: 5th International Workshop on Discrete Event Systems. http:\/\/www.istia.univ-angers.fr\/hardouin\/outils.html"},{"key":"329_CR10","unstructured":"Dousson C, Duong TV (1999) Discovering chronicles with numerical time constraints from alarm logs for monitoring dynamic systems. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence"},{"issue":"2","key":"329_CR11","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s10626-009-0060-0","volume":"19","author":"M Ghazel","year":"2009","unstructured":"Ghazel M, Toguy\u00e9ni A, Yim P (2009) State observer for des under partial observation with time petri nets. Discrete Event Dynamic Systems 19 (2):137\u2013165","journal-title":"Discrete Event Dynamic Systems"},{"key":"329_CR12","doi-asserted-by":"crossref","unstructured":"Hardouin L, Maia C, Cottenceau B, Santos-Mendes R (2010) Max-plus linear observer: application to manufacturing systems. In: 10th International Workshop on Discrete Event Systems","DOI":"10.3182\/20100830-3-DE-4013.00028"},{"key":"329_CR13","doi-asserted-by":"crossref","unstructured":"Jiroveanu G, Schutter B, Boel R (2013) The on-line diagnosis of time petri nets based on partial order. In: Taming heterogeneity and complexity of embedded control. Wiley, New York","DOI":"10.1002\/9780470612217.ch21"},{"key":"329_CR14","doi-asserted-by":"crossref","unstructured":"Le Corronc E, Sahugu\u00e8de A, Pencol\u00e9 Y, Paya C (2018) Localization of time shift failures in (max, +)-linear systems. In: 14th International Workshop on Discrete Event Systems","DOI":"10.1016\/j.ifacol.2018.06.299"},{"issue":"11","key":"329_CR15","doi-asserted-by":"publisher","first-page":"1923","DOI":"10.1016\/j.automatica.2004.05.013","volume":"40","author":"M Lhommeau","year":"2004","unstructured":"Lhommeau M, Hardouin L, Cottenceau B, Jaulin L (2004) Interval analysis and dioid: application to robust controller design for timed event graphs. Automatica 40(11):1923\u20131930","journal-title":"Automatica"},{"issue":"5","key":"329_CR16","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1023\/A:1011487725803","volume":"7","author":"G Litvinov","year":"2001","unstructured":"Litvinov G, Sobolevskii A (2001) Idempotent interval analysis and optimization problems. Reliab Comput 7(5):353\u2013377","journal-title":"Reliab Comput"},{"key":"329_CR17","doi-asserted-by":"crossref","unstructured":"Liu B, Ghazel M, Toguy\u00e9ni A (2014) Diagnosis of labeled time petri nets using time interval splitting. In: 19th IFAC World Congress","DOI":"10.3182\/20140824-6-ZA-1003.02336"},{"key":"329_CR18","unstructured":"MaxPlus (1991) Second order theory of min-linear systems and its application to discrete event systems. In: Proceedings of the 30th IEEE Conference on Decision and Control"},{"key":"329_CR19","doi-asserted-by":"crossref","unstructured":"Pencol\u00e9 Y, Subias A (2018) Timed pattern diagnosis in timed workflows: a model checking approach. In: International Workshop on Discrete Event Systems","DOI":"10.1016\/j.ifacol.2018.06.285"},{"key":"329_CR20","unstructured":"Provan G (2018) An algebraic approach for diagnosing discrete-time hybrid systems. In: 28th International Workshop on Principles of Diagnosis"},{"key":"329_CR21","doi-asserted-by":"crossref","unstructured":"Saddem R, Philippot A (2014) Causal temporal signature from diagnoser model for online diagnosis of discrete event systems. In: International Conference on Control, Decision and Information Technologies","DOI":"10.1109\/CoDIT.2014.6996954"},{"key":"329_CR22","doi-asserted-by":"crossref","unstructured":"Sahugu\u00e8de A, Le Corronc E, Pencol\u00e9 Y (2017) Design of indicators for the detection of time shift failures in (max, +)-linear systems. In: 20th IFAC World Congress","DOI":"10.1016\/j.ifacol.2017.08.1200"},{"key":"329_CR23","unstructured":"Santos-Mendes R, Cottenceau B, Hardouin L (2005) Adaptive feedback control for (max,+)-linear systems. In: 10th IEEE Conference on Emerging Technologies and Factory Automation"},{"issue":"6","key":"329_CR24","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1080\/13873950500241479","volume":"12","author":"G Schullerus","year":"2006","unstructured":"Schullerus G, Supavatanakul P, Krebs V, Lunze J (2006) Modelling and hierarchical diagnosis of timed discrete-event systems. Mathematical and Computer Modelling of Dynamical Systems 12(6):519\u2013542","journal-title":"Mathematical and Computer Modelling of Dynamical Systems"},{"key":"329_CR25","unstructured":"Toguy\u00e9ni A, Craye E, Gentina JC (1990) A method of temporal analysis to perform online diagnosis in the context of flexible manufacturing system. In: 16th Annual Conference of IEEE Industrial Electronics Society"},{"key":"329_CR26","doi-asserted-by":"crossref","unstructured":"Tripakis S (2002) Fault diagnosis for timed automata. In: 7th International Symposium of Formal Techniques in Real-Time and Fault-Tolerant Systems","DOI":"10.1007\/3-540-45739-9_14"},{"issue":"9","key":"329_CR27","doi-asserted-by":"publisher","first-page":"2321","DOI":"10.1109\/TAC.2015.2405293","volume":"60","author":"X Wang","year":"2015","unstructured":"Wang X, Mahulea C, Silva M (2015) Diagnosis of time petri nets using fault diagnosis graph. IEEE Transactions on Automatic Control 60(9):2321\u20132335","journal-title":"IEEE Transactions on Automatic Control"},{"key":"329_CR28","doi-asserted-by":"crossref","unstructured":"Zad S, Kwong R, Wonham W (1999) Fault diagnosis in finite-state automata and timed discrete-event systems. In: Topics in Control and its Applications. Springer, London","DOI":"10.1007\/978-1-4471-0543-5_5"},{"issue":"2","key":"329_CR29","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1016\/j.arcontrol.2013.09.009","volume":"37","author":"J Zaytoon","year":"2013","unstructured":"Zaytoon J, Lafortune S (2013) Overview of fault diagnosis methods for discrete event systems. Annual Reviews in Control 37(2):308\u2013320","journal-title":"Annual Reviews in Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-020-00329-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-020-00329-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-020-00329-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,27]],"date-time":"2021-10-27T04:11:29Z","timestamp":1635307889000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-020-00329-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,23]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["329"],"URL":"https:\/\/doi.org\/10.1007\/s10626-020-00329-7","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,7,23]]},"assertion":[{"value":"2 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 October 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 July 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}