{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T15:35:52Z","timestamp":1762097752117,"version":"build-2065373602"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,1,16]],"date-time":"2024-01-16T00:00:00Z","timestamp":1705363200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,16]],"date-time":"2024-01-16T00:00:00Z","timestamp":1705363200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2024,3]]},"DOI":"10.1007\/s10626-023-00391-x","type":"journal-article","created":{"date-parts":[[2024,1,16]],"date-time":"2024-01-16T12:02:32Z","timestamp":1705406552000},"page":"53-93","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Analysis and control of timed event graphs in (max,+) algebra for the active localization of time failures"],"prefix":"10.1007","volume":"34","author":[{"given":"Ibis","family":"Velasquez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2970-914X","authenticated-orcid":false,"given":"Yannick","family":"Pencol\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8604-1377","authenticated-orcid":false,"given":"Euriell","family":"Le\u00a0Corronc","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,16]]},"reference":[{"key":"391_CR1","unstructured":"Baccelli F, Cohen G, Olsder GJ, Quadrat J-P (1992) Synchronization and Linearity: an Algebra for Discrete Event Systems. Wiley and sons, UK"},{"issue":"5","key":"391_CR2","doi-asserted-by":"publisher","first-page":"287","DOI":"10.3182\/20090610-3-IT-4004.00054","volume":"42","author":"M Bayoudh","year":"2009","unstructured":"Bayoudh M, Trav\u00e9-Massuy\u00e9s L (2009) An algorithm for active diagnosis of hybrid systems casted in the DES framework. IFAC Proc 42(5):287\u2013292. https:\/\/doi.org\/10.3182\/20090610-3-IT-4004.00054","journal-title":"IFAC Proc"},{"key":"391_CR3","doi-asserted-by":"publisher","unstructured":"Bertrand N, Fabre E, Haar S, Haddad S, H\u00e9lou\u00ebt L (2014) Active diagnosis for probabilistic systems. In: Muscholl A (ed) Foundations of software science and computation structures. Lecture Notes in Computer Science, pp 29\u201342. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-54830-7_2","DOI":"10.1007\/978-3-642-54830-7_2"},{"key":"391_CR4","doi-asserted-by":"publisher","unstructured":"B\u00f6hm S, Haar S, Haddad S, Hofman P, Schwoon S (2015) Active diagnosis with observable quiescence. In: 2015 54th IEEE conference on decision and control (CDC), pp 1663\u20131668. https:\/\/doi.org\/10.1109\/CDC.2015.7402449","DOI":"10.1109\/CDC.2015.7402449"},{"issue":"5","key":"391_CR5","doi-asserted-by":"publisher","first-page":"2568","DOI":"10.1109\/TAES.2019.2923344","volume":"55","author":"E Chanthery","year":"2019","unstructured":"Chanthery E, Trav\u00e9-Massuy\u00e8s L, Pencol\u00e9 Y, De Ferluc R, Dellandr\u00e9a B (2019) Applying active diagnosis to space systems by on-board control procedures. IEEE Trans Aerosp Electron Syst 55(5):2568\u20132580","journal-title":"IEEE Trans Aerosp Electron Syst"},{"key":"391_CR6","doi-asserted-by":"crossref","unstructured":"Chanthery E, Pencol\u00e9 Y (2009) Monitoring and active diagnosis for discrete-event systems. In: 7th IFAC Symposium on fault detection, supervision and safety of technical processes","DOI":"10.3182\/20090630-4-ES-2003.00252"},{"issue":"1","key":"391_CR7","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. https:\/\/doi.org\/10.1109\/5.21069","journal-title":"Proc IEEE"},{"key":"391_CR8","doi-asserted-by":"crossref","unstructured":"Cottenceau B, Hardouin L, Boimond J-L, Ferrier J-L (2001) Model reference control for timed event graphs in dioids. Automatica 37:1451\u20131458","DOI":"10.1016\/S0005-1098(01)00073-5"},{"key":"391_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":"391_CR10","doi-asserted-by":"publisher","unstructured":"Guo Y, He X (2023) Active diagnosis of incipient actuator faults for stochastic systems. IEEE Trans Ind Electron 1\u20139. https:\/\/doi.org\/10.1109\/TIE.2023.3247778. Conference Name: IEEE Transactions on Industrial Electronics","DOI":"10.1109\/TIE.2023.3247778"},{"issue":"1","key":"391_CR11","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.jcss.2016.04.007","volume":"83","author":"S Haar","year":"2017","unstructured":"Haar S, Haddad S, Melliti T, Schwoon S (2017) Optimal constructions for active diagnosis. J Comput Syst Sci 83(1):101\u2013120. https:\/\/doi.org\/10.1016\/j.jcss.2016.04.007","journal-title":"J Comput Syst Sci"},{"key":"391_CR12","unstructured":"Kuhn L, Price B, De\u00a0Kleer J, Do MB, Zhou R (2008) Pervasive diagnosis: the integration of diagnostic goals into production plans. In: 23rd AAAI Conference on artificial intelligence"},{"key":"391_CR13","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/s10626-020-00329-7","volume":"31","author":"E Le Corronc","year":"2021","unstructured":"Le Corronc E, Pencol\u00e9 Y, Sahugu\u00e8de A, Paya C (2021) Failure detection and localization for timed event graphs in (max,+)-algebra. J Discrete Event Dyn Syst 31:513\u2013552","journal-title":"J Discrete Event Dyn Syst"},{"key":"391_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 Workshop on discrete event systems","DOI":"10.1016\/j.ifacol.2018.06.299"},{"key":"391_CR15","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/j.automatica.2017.01.021","volume":"79","author":"GR Marseglia","year":"2017","unstructured":"Marseglia GR, Raimondo DM (2017) Active fault diagnosis: a multi-parametric approach. Automatica 79:223\u2013230. https:\/\/doi.org\/10.1016\/j.automatica.2017.01.021","journal-title":"Automatica"},{"key":"391_CR16","unstructured":"MaxPlus (1991) Second order theory of min-linear systems and its application to discrete event systems. In: 30th IEEE Conference on decision and control"},{"key":"391_CR17","doi-asserted-by":"crossref","unstructured":"Menguy E, Boimond J-L, Hardouin L, Ferrier J-L (2000) Just-in-time control of timed event graphs: update of reference input, presence of uncontrollable input. IEEE Trans Autom Control 45(11):2155\u20132159","DOI":"10.1109\/9.887652"},{"key":"391_CR18","doi-asserted-by":"crossref","unstructured":"Paya C, Le Corronc E, Pencol\u00e9 Y, Vialletelle P (2021) Observer-based detection and localization of time shift failures in (max, +)-linear systems. In: 17th IEEE International conference on automation science and engineering, Lyon France","DOI":"10.1109\/CASE49439.2021.9551625"},{"key":"391_CR19","unstructured":"Provan G (2018) An algebraic approach for diagnosing discrete-time hybrid systems. In: 28th International workshop on principles of diagnosis"},{"key":"391_CR20","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"},{"issue":"7","key":"391_CR21","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1109\/9.701089","volume":"43","author":"M Sampath","year":"1998","unstructured":"Sampath M, Lafortune S, Teneketzis D (1998) Active diagnosis of discrete-event systems. IEEE Trans Autom Control 43(7):908\u2013929","journal-title":"IEEE Trans Autom Control"},{"issue":"7","key":"391_CR22","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1515\/auto-2020-0051","volume":"68","author":"G Schafaschek","year":"2020","unstructured":"Schafaschek G, Hardouin L, Raisch J (2020) Optimal control of timed event graphs with resource sharing and output-reference update. Automatisierungstechnik 68(7):512\u2013528","journal-title":"Automatisierungstechnik"},{"issue":"9","key":"391_CR23","doi-asserted-by":"publisher","first-page":"2052","DOI":"10.1016\/j.automatica.2009.04.028","volume":"45","author":"M \u0160imandl","year":"2009","unstructured":"\u0160imandl M, Pun\u010doch\u00e1\u0159 I (2009) Active fault detection and control: unified formulation and optimal design. Automatica 45(9):2052\u20132059. https:\/\/doi.org\/10.1016\/j.automatica.2009.04.028","journal-title":"Automatica"},{"key":"391_CR24","unstructured":"Struss P (1994) Model abstraction for testing of physical systems. In: Eigth international workshop on qualitative reasoning, QR-94"},{"issue":"4","key":"391_CR25","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/s10626-007-0027-y","volume":"17","author":"D Thorsley","year":"2007","unstructured":"Thorsley D, Teneketzis D (2007) Active acquisition of information for diagnosis and supervisory control of discrete event systems. Discrete Event Dyn Syst 17(4):531\u2013583. https:\/\/doi.org\/10.1007\/s10626-007-0027-y","journal-title":"Discrete Event Dyn Syst"},{"key":"391_CR26","doi-asserted-by":"crossref","unstructured":"Van Gorp J, Giua A, Defoort M, Djemai M (2013) Active diagnosis for a class of switched systems. In: 52nd IEEE Conference on decision and control","DOI":"10.1109\/CDC.2013.6760674"},{"key":"391_CR27","doi-asserted-by":"publisher","unstructured":"Velasquez I, Le Corronc E, Pencol\u00e9 Y (2022) Active diagnosis algorithm for the localization of time failures in (Max,+)-linear systems. IFAC-PapersOnLine 55(28):276\u2013283. https:\/\/doi.org\/10.1016\/j.ifacol.2022.10.354","DOI":"10.1016\/j.ifacol.2022.10.354"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-023-00391-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-023-00391-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-023-00391-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T23:07:42Z","timestamp":1708297662000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-023-00391-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,16]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,3]]}},"alternative-id":["391"],"URL":"https:\/\/doi.org\/10.1007\/s10626-023-00391-x","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2024,1,16]]},"assertion":[{"value":"31 March 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 December 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 January 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no conflict of interest to declare that are relevant to this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}}]}}