{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T21:40:01Z","timestamp":1736545201890,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540409304"},{"type":"electronic","value":"9783540409311"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11861461_27","type":"book-chapter","created":{"date-parts":[[2006,9,13]],"date-time":"2006-09-13T15:45:47Z","timestamp":1158162347000},"page":"255-264","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Monitoring and Diagnosis Chip for Embedded Systems"],"prefix":"10.1007","author":[{"given":"Satoshi","family":"Hiratsuka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hsin-Hung","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akira","family":"Fusaoka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-540-24743-2_6","volume-title":"Hybrid Systems: Computation and Control","author":"A. Balluchi","year":"2004","unstructured":"Balluchi, A., Di Natale, F., Sangiovanni-Vincentelli, A.L., van Schuppen, J.H.: Synthesis for Idle Speed Control of an Automotive Engine. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 80\u201394. Springer, Heidelberg (2004)"},{"key":"27_CR2","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1613\/jair.1194","volume":"19","author":"L. Console","year":"2003","unstructured":"Console, L., Picardi, C., Dupre, D.T.: Temporal Decision Tree: Model-based Diagnosis of Dynamic System On-Board. Journal of Artificial Intelligence Research\u00a019, 469\u2013512 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"1","key":"27_CR3","first-page":"33","volume":"12","author":"F. Cascio","year":"1999","unstructured":"Cascio, F., Console, L., Guagliumi, M., Osella, M., Panati, A., Sottano, S., Dupre, D.T.: Generating on-board diagnosis of dynamic automotive systems based on qualitative models. AI Communications\u00a012(1), 33\u201343 (1999)","journal-title":"AI Communications"},{"key":"27_CR4","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.462","volume":"8","author":"A. Darwiche","year":"1998","unstructured":"Darwiche, A.: Model-based diagnosis using structured system descriptions. Journal of Artificial Intelligence Research\u00a08, 165\u2013222 (1998)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"27_CR5","unstructured":"Dressler, O.: On-Line Diagnosis and Monitoring of Dynamic Systems based on Qualitative Models and Dependency-recording Diagnosis Engines. In: Proc. of 12th European Conference on Artificial Intelligence, pp. 461\u2013465 (1996)"},{"key":"27_CR6","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/3-540-45049-1_24","volume-title":"Intelligent Problem Solving. Methodologies and Approaches","author":"S. Hiratsuka","year":"2000","unstructured":"Hiratsuka, S., Fusaoka, A.: On a Model-Based Diagnosis for Synchronous Boolean Network. In: Logananthara, R., Palm, G., Ali, M. (eds.) IEA\/AIE 2000. LNCS (LNAI), vol.\u00a01821, pp. 198\u2013204. Springer, Heidelberg (2000)"},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1147\/rd.104.0278","volume":"10","author":"J.P. Roth","year":"1966","unstructured":"Roth, J.P.: Diagnosis of Automata Failures: A Calculus and a Methods. IBM Journal of Research and Development\u00a010, 278\u2013291 (1966)","journal-title":"IBM Journal of Research and Development"},{"issue":"2","key":"27_CR8","first-page":"83","volume":"13","author":"M. Sachenbacher","year":"2000","unstructured":"Sachenbacher, M., Struss, P., Calen, C.M.: A prototype for model-based on-board diagnosis of automotive systems. AI Communications\u00a013(2), 83\u201397 (2000); IEEE trans. on Automatic Control\u00a040(9), 1555\u20131575","journal-title":"AI Communications"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Struss, P.: Fundamentals of Model-based Diagnosis of Dynamic Systems. In: Proc. 15th International Conf. on Artificial Intelligence, pp. 480\u2013485 (1997)","DOI":"10.1049\/ic:19971142"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence: Methodology, Systems, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11861461_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T21:06:50Z","timestamp":1736543210000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11861461_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540409304","9783540409311"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11861461_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}