{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:24:51Z","timestamp":1725531891212},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642013461"},{"type":"electronic","value":"9783642013478"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01347-8_30","type":"book-chapter","created":{"date-parts":[[2009,5,4]],"date-time":"2009-05-04T17:06:48Z","timestamp":1241456808000},"page":"348-362","source":"Crossref","is-referenced-by-count":1,"title":["Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations"],"prefix":"10.1007","author":[{"given":"Gianfranco","family":"Lamperti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"Zanella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"30_CR1","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0004-3702(99)00019-3","volume":"110","author":"P. Baroni","year":"1999","unstructured":"Baroni, P., Lamperti, G., Pogliano, P., Zanella, M.: Diagnosis of Large Active Systems. Artificial Intelligence\u00a0110(1), 135\u2013183 (1999)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"30_CR2","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/S0004-3702(02)00292-8","volume":"142","author":"L. Console","year":"2002","unstructured":"Console, L., Picardi, C., Ribaudo, M.: Process Algebras for Systems Diagnosis. Artificial Intelligence\u00a0142(1), 19\u201351 (2002)","journal-title":"Artificial Intelligence"},{"key":"30_CR3","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1023\/A:1008335115538","volume":"10","author":"R. Debouk","year":"2000","unstructured":"Debouk, R., Lafortune, S., Teneketzis, D.: Coordinated Decentralized Protocols for Failure Diagnosis of Discrete-Event Systems. Journal of Discrete Event Dynamic Systems: Theory and Application\u00a010, 33\u201386 (2000)","journal-title":"Journal of Discrete Event Dynamic Systems: Theory and Application"},{"key":"30_CR4","unstructured":"Grastien, A., Cordier, M.O., Largou\u00ebt, C.: Incremental Diagnosis of Discrete-Event Systems. In: 16th International Workshop on Principles of Diagnosis \u2013 DX 2005, Monterey, CA, pp. 119\u2013124 (2005)"},{"issue":"1-2","key":"30_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0004-3702(02)00123-6","volume":"137","author":"G. Lamperti","year":"2002","unstructured":"Lamperti, G., Zanella, M.: Diagnosis of Discrete-Event Systems from Uncertain Temporal Observations. Artificial Intelligence\u00a0137(1-2), 91\u2013163 (2002)","journal-title":"Artificial Intelligence"},{"issue":"5","key":"30_CR6","doi-asserted-by":"publisher","first-page":"2222","DOI":"10.1109\/TSMCB.2004.835008","volume":"34","author":"G. Lamperti","year":"2004","unstructured":"Lamperti, G., Zanella, M.: A Bridged Diagnostic Method for the Monitoring of Polymorphic Discrete-Event Systems. IEEE Transactions on Systems, Man, and Cybernetics \u2013 Part B: Cybernetics\u00a034(5), 2222\u20132244 (2004)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics \u2013 Part B: Cybernetics"},{"key":"30_CR7","unstructured":"Lamperti, G., Zanella, M.: Monitoring and Diagnosis of Discrete-Event Systems with Uncertain Symptoms. In: 16th International Workshop on Principles of Diagnosis \u2013 DX 2005, Monterey, CA, pp. 145\u2013150 (2005)"},{"issue":"3","key":"30_CR8","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1016\/j.artint.2005.08.002","volume":"170","author":"G. Lamperti","year":"2006","unstructured":"Lamperti, G., Zanella, M.: Flexible Diagnosis of Discrete-Event Systems by Similarity-Based Reasoning Techniques. Artificial Intelligence\u00a0170(3), 232\u2013297 (2006)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"30_CR9","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1109\/3468.844356","volume":"30","author":"J. Lunze","year":"2000","unstructured":"Lunze, J.: Diagnosis of Quantized Systems Based on a Timed Discrete-Event Model. IEEE Transactions on Systems, Man, and Cybernetics \u2013 Part A: Systems and Humans\u00a030(3), 322\u2013335 (2000)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics \u2013 Part A: Systems and Humans"},{"key":"30_CR10","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.artint.2005.01.002","volume":"164","author":"Y. Pencol\u00e9","year":"2005","unstructured":"Pencol\u00e9, Y., Cordier, M.O.: A Formal Framework for the Decentralized Diagnosis of Large Scale Discrete Event Systems and its Application to Telecommunication Networks. Artificial Intelligence\u00a0164, 121\u2013170 (2005)","journal-title":"Artificial Intelligence"},{"key":"30_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1023\/A:1013335803945","volume":"12","author":"L. Roz\u00e9","year":"2002","unstructured":"Roz\u00e9, L., Cordier, M.O.: Diagnosing Discrete-Event Systems: Extending the \u2018Diagnoser Approach\u2019 to Deal with Telecommunication Networks. Journal of Discrete Event Dynamic Systems: Theory and Application\u00a012, 43\u201381 (2002)","journal-title":"Journal of Discrete Event Dynamic Systems: Theory and Application"},{"issue":"7","key":"30_CR12","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.C.: Active Diagnosis of Discrete-Event Systems. IEEE Transactions on Automatic Control\u00a043(7), 908\u2013929 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2","key":"30_CR13","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M. Sampath","year":"1996","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.C.: Failure Diagnosis Using Discrete-Event Models. IEEE Transactions on Control Systems Technology\u00a04(2), 105\u2013124 (1996)","journal-title":"IEEE Transactions on Control Systems Technology"},{"issue":"12","key":"30_CR14","doi-asserted-by":"publisher","first-page":"1923","DOI":"10.1109\/TAC.2005.860291","volume":"50","author":"R. Su","year":"2005","unstructured":"Su, R., Wonham, W.M.: Global and Local Consistencies in Distributed Fault Diagnosis for Discrete-Event Systems. IEEE Transactions on Automatic Control\u00a050(12), 1923\u20131935 (2005)","journal-title":"IEEE Transactions on Automatic Control"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01347-8_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T02:00:55Z","timestamp":1552010455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01347-8_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642013461","9783642013478"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01347-8_30","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}