{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:29:39Z","timestamp":1742995779947,"version":"3.40.3"},"publisher-location":"London","reference-count":7,"publisher":"Springer London","isbn-type":[{"type":"electronic","value":"9781447151029"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4471-5102-9_56-1","type":"book-chapter","created":{"date-parts":[[2014,10,2]],"date-time":"2014-10-02T02:12:15Z","timestamp":1412215935000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Diagnosis of Discrete Event Systems"],"prefix":"10.1007","author":[{"given":"St\u00e9phane","family":"Lafortune","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,26]]},"reference":[{"volume-title":"Formal methods in manufacturing","year":"2013","key":"56-1_CR1","unstructured":"Campos J, Seatzu C, Xie X (eds) (2013) Formal methods in manufacturing. Series on industrial information technology. CRC\/Taylor and Francis, Boca Raton"},{"key":"56-1_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer, New\u00a0York","edition":"2"},{"key":"56-1_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0257-7","volume-title":"Diagnosis of active systems: principles and techniques","author":"G Lamperti","year":"2003","unstructured":"Lamperti G, Zanella M (2003) Diagnosis of active systems: principles and techniques. Kluwer, Dordrecht"},{"issue":"2","key":"56-1_CR4","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/BF01441211","volume":"4","author":"F Lin","year":"1994","unstructured":"Lin F (1994) Diagnosability of discrete event systems and its applications. Discret Event Dyn Syst Theory Appl 4(2):197\u2013212","journal-title":"Discret Event Dyn Syst Theory Appl"},{"issue":"9","key":"56-1_CR5","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete event systems. IEEE Trans Autom Control 40(9):1555\u20131575","journal-title":"IEEE Trans Autom Control"},{"key":"56-1_CR6","doi-asserted-by":"crossref","unstructured":"Seatzu C, Silva M, van Schuppen J (eds) (2013) Control of discrete-event systems. Automata and Petri net perspectives. Lecture notes in control and information sciences, vol 433. Springer, London","DOI":"10.1007\/978-1-4471-4276-8"},{"issue":"2","key":"56-1_CR7","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. Annu Rev Control 37(2):308\u2013320","journal-title":"Annu Rev Control"}],"container-title":["Encyclopedia of Systems and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-5102-9_56-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T23:29:27Z","timestamp":1676849367000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-5102-9_56-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781447151029"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-5102-9_56-1","relation":{},"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"30 September 2013, 18:52:08","order":1,"name":"received","label":"Received","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"30 September 2013, 18:52:08","order":2,"name":"accepted","label":"Accepted","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"26 February 2014","order":3,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}