{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:15:12Z","timestamp":1761488112396},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540855620"},{"type":"electronic","value":"9783540855637"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85563-7_48","type":"book-chapter","created":{"date-parts":[[2008,8,31]],"date-time":"2008-08-31T21:00:37Z","timestamp":1220216437000},"page":"362-374","source":"Crossref","is-referenced-by-count":9,"title":["Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems"],"prefix":"10.1007","author":[{"given":"Gianfranco","family":"Lamperti","sequence":"first","affiliation":[]},{"given":"Marina","family":"Zanella","sequence":"additional","affiliation":[]},{"given":"Giovanni","family":"Chiodi","sequence":"additional","affiliation":[]},{"given":"Lorenzo","family":"Chiodi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"48_CR1","series-title":"The Kluwer International Series in Engineering and Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0257-7","volume-title":"Diagnosis of Active Systems \u2013 Principles and Techniques","author":"G. Lamperti","year":"2003","unstructured":"Lamperti, G., Zanella, M.: Diagnosis of Active Systems \u2013 Principles and Techniques. The Kluwer International Series in Engineering and Computer Science, vol.\u00a0741. Kluwer Academic Publisher, Dordrecht (2003)"},{"issue":"5","key":"48_CR2","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"},{"issue":"4","key":"48_CR3","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1002\/spe.773","volume":"37","author":"S. Cerutti","year":"2007","unstructured":"Cerutti, S., Lamperti, G., Scaroni, M., Zanella, M., Zanni, D.: A diagnostic environment for automaton networks. Software \u2013 Practice and Experience\u00a037(4), 365\u2013415 (2007)","journal-title":"Software \u2013 Practice and Experience"},{"issue":"1","key":"48_CR4","first-page":"27","volume":"20","author":"G. Lamperti","year":"2007","unstructured":"Lamperti, G., Zanella, M., Zanni, D.: Incremental processing of temporal observations in model-based reasoning. AI Communications\u00a020(1), 27\u201337 (2007)","journal-title":"AI Communications"},{"key":"48_CR5","unstructured":"Revuz, D.: Dictionnaires et lexiques: m\u00e9thodes et algorithmes. PhD thesis, Institut Blaise Pascal, Paris, France (1991)"},{"key":"48_CR6","doi-asserted-by":"crossref","unstructured":"Daciuk, J.: Incremental construction of finite-state automata and transducers, and their use in the natural language processing. PhD thesis, University of Gdansk, Poland (1998)","DOI":"10.3115\/1611533.1611538"},{"key":"48_CR7","doi-asserted-by":"crossref","unstructured":"Daciuk, J., Watson, B., Watson, R.: Incremental construction of minimal acyclic finite state automata and transducers. In: International Workshop on Finite State Methods in Natural Language Processing, Ankara, Turkey, pp. 48\u201356 (1998)","DOI":"10.3115\/1611533.1611538"},{"issue":"1","key":"48_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1162\/089120100561601","volume":"26","author":"J. Daciuk","year":"2000","unstructured":"Daciuk, J., Mihov, S., Watson, B., Watson, R.: Incremental construction of minimal acyclic finite state automata. Computational Linguistics\u00a026(1), 3\u201316 (2000)","journal-title":"Computational Linguistics"},{"issue":"2","key":"48_CR9","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1162\/089120102760173652","volume":"28","author":"R. Carrasco","year":"2002","unstructured":"Carrasco, R., Forcada, M.: Incremental construction and maintenance of minimal finite-state automata. Computational Linguistics\u00a028(2), 207\u2013216 (2002)","journal-title":"Computational Linguistics"},{"key":"48_CR10","first-page":"201","volume-title":"Advances in Soft Computing","author":"J. Daciuk","year":"2004","unstructured":"Daciuk, J.: Semi-incremental addition of strings to a cyclic finite automaton. In: Klopotek, M., Wierzchon, S., Trojanowski, K. (eds.) Advances in Soft Computing, pp. 201\u2013207. Springer, Heidelberg (2004)"},{"issue":"1","key":"48_CR11","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1017\/S1351324903003127","volume":"9","author":"B. Watson","year":"2003","unstructured":"Watson, B., Daciuk, J.: An efficient incremental dfa minimization algorithm. Natural Language Engineering\u00a09(1), 49\u201364 (2003)","journal-title":"Natural Language Engineering"},{"issue":"4","key":"48_CR12","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1145\/1042046.1042051","volume":"29","author":"T. Green","year":"2004","unstructured":"Green, T., Gupta, A., Miklau, G., Onizuka, M., Suciu, D.: Processing xml streams with deterministic automata and stream indexes. ACM Transactions on Database Systems\u00a029(4), 752\u2013788 (2004)","journal-title":"ACM Transactions on Database Systems"},{"key":"48_CR13","unstructured":"Lamperti, G., Zanella, M.: Monitoring and diagnosis of discrete-event systems with uncertain symptoms. In: Sixteenth International Workshop on Principles of Diagnosis \u2013 DX 2005, Monterey, CA, pp. 145\u2013105 (2005)"},{"volume-title":"Readings in Model-Based Diagnosis","year":"1992","key":"48_CR14","unstructured":"Hamscher, W., Console, L., de Kleer, J. (eds.): Readings in Model-Based Diagnosis. Morgan Kaufmann, San Mateo (1992)"},{"key":"48_CR15","unstructured":"Dvorak, D., Kuipers, B.: Model-based monitoring of dynamic systems. In: Eleventh International Joint Conference on Artificial Intelligence \u2013 IJCAI 1989, Detroit, MI, pp. 1238\u20131243 (1989)"},{"key":"48_CR16","unstructured":"Lackinger, F., Nejdl, W.: Integrating model-based monitoring and diagnosis of complex dynamic systems. In: Twelfth International Joint Conference on Artificial Intelligence \u2013 IJCAI 1991, Sydney, Australia, pp. 2893\u20132898 (1991)"},{"key":"48_CR17","first-page":"480","volume-title":"Fifteenth International Joint Conference on Artificial Intelligence \u2013 IJCAI 1997","author":"P. Struss","year":"1997","unstructured":"Struss, P.: Fundamentals of model-based diagnosis of dynamic systems. In: Fifteenth International Joint Conference on Artificial Intelligence \u2013 IJCAI 1997, Nagoya, Japan, pp. 480\u2013485. Morgan Kaufmann, S. Francisco (1997)"},{"key":"48_CR18","series-title":"The Kluwer International Series in Discrete Event Dynamic Systems","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"C. Cassandras","year":"1999","unstructured":"Cassandras, C., Lafortune, S.: Introduction to Discrete Event Systems. The Kluwer International Series in Discrete Event Dynamic Systems, vol.\u00a011. Kluwer Academic Publisher, Boston (1999)"},{"issue":"2","key":"48_CR19","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. Journal of ACM\u00a030(2), 323\u2013342 (1983)","journal-title":"Journal of ACM"},{"issue":"1","key":"48_CR20","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\u20132","key":"48_CR21","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\u20132), 91\u2013163 (2002)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85563-7_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:32:24Z","timestamp":1606185144000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85563-7_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540855620","9783540855637"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85563-7_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}