{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:14:52Z","timestamp":1743041692392,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":7,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811627644"},{"type":"electronic","value":"9789811627651"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"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":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-981-16-2765-1_45","type":"book-chapter","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T19:09:34Z","timestamp":1625684974000},"page":"545-555","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Model-Based Diagnosis of Time Shift Failures in Discrete Event Systems: A (Max,+) Observer-Based Approach"],"prefix":"10.1007","author":[{"given":"Claire","family":"Paya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Euriell","family":"Le Corronc","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yannick","family":"Pencol\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Vialletelle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,8]]},"reference":[{"key":"45_CR1","volume-title":"Synchronization and Linearity: An Algebra for Discrete Event Systems","author":"F Baccelli","year":"1992","unstructured":"Baccelli, F., Cohen, G., Olsder, G.J., Quadrat, J.-P.: Synchronization and Linearity: An Algebra for Discrete Event Systems. Wiley, New York (1992)"},{"issue":"2","key":"45_CR2","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1109\/TAC.2009.2037477","volume":"55","author":"L Hardouin","year":"2010","unstructured":"Hardouin, L., Maia, C.A., Cottenceau, B., Lhommeau, M.: Observer design for (max,+) linear systems. IEEE Trans. Autom. Control 55(2), 538\u2013543 (2010)","journal-title":"IEEE Trans. Autom. Control"},{"doi-asserted-by":"crossref","unstructured":"Hardouin, L., Maia, C.A., Cottenceau, B., Santos-Mendes, R.: Max-plus linear observer: application to manufacturing systems. In: 10th International Workshop on Discrete Event Systems, WODES\u201910, pp. 161\u2013166 (2010)","key":"45_CR3","DOI":"10.3182\/20100830-3-DE-4013.00028"},{"issue":"2","key":"45_CR4","doi-asserted-by":"publisher","first-page":"1189","DOI":"10.1109\/TASE.2015.2404921","volume":"13","author":"C Kim","year":"2015","unstructured":"Kim, C., Lee, T.E.: Feedback control of cluster tools for regulating wafer delays. IEEE Trans. Autom. Sci. Eng. 13(2), 1189\u20131199 (2015)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"45_CR5","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1016\/j.arcontrol.2018.04.004","volume":"45","author":"J Komenda","year":"2018","unstructured":"Komenda, J., Lahaye, S., Boimond, J.-L., van den Boom, T.: Max-plus algebra in the history of discrete event systems. Annu. Rev. Control. 45, 240\u2013249 (2018)","journal-title":"Annu. Rev. Control."},{"unstructured":"MaxPlus.: 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. CDC\u201991, pp. 1511\u20131516 (1991)","key":"45_CR6"},{"doi-asserted-by":"crossref","unstructured":"Sahugu\u00e8de, A., Le\u00a0Corronc, E., Pencol\u00e9, Y.: Design of indicators for the detection of time shift failures in (max, +)-linear systems. In: 20th World Congress of the International Federation of Automatic Control, pp. 6813\u20136818 (2017)","key":"45_CR7","DOI":"10.1016\/j.ifacol.2017.08.1200"}],"container-title":["Smart Innovation, Systems and Technologies","Intelligent Decision Technologies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-16-2765-1_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T19:29:12Z","timestamp":1625686152000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-16-2765-1_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9789811627644","9789811627651"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-981-16-2765-1_45","relation":{},"ISSN":["2190-3018","2190-3026"],"issn-type":[{"type":"print","value":"2190-3018"},{"type":"electronic","value":"2190-3026"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"8 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}