{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:12:16Z","timestamp":1761487936701,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672593"},{"type":"electronic","value":"9783540464303"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46430-1_25","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T08:18:49Z","timestamp":1193473129000},"page":"282-295","source":"Crossref","is-referenced-by-count":37,"title":["Hybrid Systems Diagnosis"],"prefix":"10.1007","author":[{"given":"Sheila","family":"McIlraith","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gautam","family":"Biswas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Clancy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vineet","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,1]]},"reference":[{"unstructured":"L. Alenius and V. Gupta. Modeling an AERCam: A case study in modeling with concurrent constraint languages. In Proceedings of the CP\u201997 Workshop on Modeling and Computation in the Concurrent Constraint Languages, 1998.","key":"25_CR1"},{"doi-asserted-by":"crossref","unstructured":"V. I. Arnold. Mathematical Methods of Classical Mechanics. Springer Verlag, 1978.","key":"25_CR2","DOI":"10.1007\/978-1-4757-1693-1"},{"issue":"1","key":"25_CR3","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0004-3702(99)00019-3","volume":"110","author":"P. Baroni","year":"1999","unstructured":"P. Baroni, G. Lamperti, P. Pogliano and M. Zanella Diagnosis of large active systems Artificial Intelligence, 110(1):135\u2013183, 1999.","journal-title":"Artificial Intelligence"},{"key":"25_CR4","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/S0005-1098(98)00086-7","volume":"34","author":"M. Basseville","year":"1998","unstructured":"M. Basseville. On-board component fault detection and isolation using a statistical local approach. Automatica, vol. 34, no. 11, 1998.","journal-title":"Automatica"},{"key":"25_CR5","volume-title":"Detection of Abrupt Changes: Theory and Applications","author":"M. Basseville","year":"1993","unstructured":"M. Basseville and I.V. Nikiforov. Detection of Abrupt Changes: Theory and Applications. Prentice Hall, Englewood Cliffs, NJ, 1993."},{"key":"25_CR6","series-title":"Technical Report","volume-title":"A gentle tutorial of the EM algorithm and its application to parameter estimation for gaussian mixture and hidden markov models","author":"J. A. Blimes","year":"1998","unstructured":"J. A. Blimes. A gentle tutorial of the EM algorithm and its application to parameter estimation for gaussian mixture and hidden markov models. Technical Report TR-97-021, International Computer Science Institute (ICSI) and Computer Science Division, Dept. of Electrical Engineering and Computer Science, U.C. Berkeley, 1998."},{"doi-asserted-by":"crossref","unstructured":"M. Branicky. Studies in Hybrid Systems: Modeling, Analysis, and Control. PhD thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 1995.","key":"25_CR7","DOI":"10.1007\/BFb0020945"},{"key":"25_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.2517-6161.1977.tb01600.x","volume":"39","author":"A. P. Dempster","year":"1977","unstructured":"A. P. Dempster, N. M. Laird, and D. B. Rubin. Maximum likelihood from incomplete data. Journal of the Royal Statistical Society Ser. B, 39:1\u201338, 1977.","journal-title":"Journal of the Royal Statistical Society"},{"unstructured":"B. Etkin and L. D. Reid. Dynamics of Flight:Stability and Control. John Wiley and Sons, 1995.","key":"25_CR9"},{"issue":"2","key":"25_CR10","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1008241818642","volume":"8","author":"E. Fabre","year":"1998","unstructured":"E. Fabre, A. Aghasaryan, A. Benveniste, R. Boubour and C. Jard. Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets. Journal of Discrete Event Dynamic Systems, vol. 8, no. 2, pp. 203\u2013231, 1998.","journal-title":"Journal of Discrete Event Dynamic Systems"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1016\/0005-1098(90)90018-D","volume":"26","author":"P.M. Frank","year":"1990","unstructured":"P.M. Frank. Fault diagnosis in dynamic systems using analytic and knowledge-based redundancy: a survey and some new results. Automatica, vol. 26, pp. 459\u2013474, 1990.","journal-title":"Automatica"},{"issue":"5","key":"25_CR12","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1016\/S0967-0661(97)00048-8","volume":"5","author":"E.A. Garcia","year":"1999","unstructured":"E.A. Garcia and P.M. Frank. Deterministic nonlinear observer-based approaches to fault diagnosis: a survey. Control Engineering Practice, 5(5):663\u2013670, 1999.","journal-title":"Control Engineering Practice"},{"key":"25_CR13","volume-title":"Fault Detection and Diagnosis in Engineering Systems","author":"J.J. Gertler","year":"1988","unstructured":"J.J. Gertler. Fault Detection and Diagnosis in Engineering Systems. Marcel Dekker, New York, 1988."},{"unstructured":"W. Hamscher, L. Console and J. de Kleer Readings in Model-based Diagnosis. Morgan Kaufmann, 1992.","key":"25_CR14"},{"issue":"13","key":"25_CR15","doi-asserted-by":"publisher","first-page":"1147","DOI":"10.1080\/002071799220317","volume":"72","author":"J. Lunze","year":"1999","unstructured":"J. Lunze. A timed discrete-event abstraction of continuous-variable systems. Intl. Jour. of Control, vol. 72, no. 13, pp. 1147\u20131164, 1999.","journal-title":"Intl. Jour. of Control"},{"unstructured":"E.J. Manders, P.J. Mosterman, and G. Biswas. Signal to symbol transformation techniques for robust diagnosis in transcend. In 10th Int. Workshop on Principles of Diagnosis, pp. 155\u2013165, 1999.","key":"25_CR16"},{"unstructured":"S. McIlraith. Explanatory diagnosis: Conjecturing actions to explain observations. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201998), pp. 167\u2013177, 1998.","key":"25_CR17"},{"issue":"6","key":"25_CR18","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1109\/3468.798059","volume":"29","author":"P. Mosterman","year":"1999","unstructured":"P. Mosterman and G. Biswas. Diagnosis of continuous valued systems in transient operating regions. IEEE Transactions on Systems, Man, and Cybernetics, 1999. vol. 29, no. 6, pp. 554\u2013565, 1999.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"doi-asserted-by":"crossref","unstructured":"P. Mosterman and G. Biswas. Building hybrid observers for complex dynamic systems using model abstractions. In International Workshop on Hybrid Systems: Computation and Control, Nijmegen, Netherlands, March 1999.","key":"25_CR19","DOI":"10.1007\/3-540-48983-5_18"},{"issue":"5","key":"25_CR20","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1016\/S0967-0661(97)00049-X","volume":"5","author":"R.J. Patton","year":"1997","unstructured":"R.J. Patton and J. Chen. Observer-based fault detection and isolation: robustness and applications. Control Engineering Practice, 5(5):671\u2013682, 1997.","journal-title":"Control Engineering Practice"},{"unstructured":"B. Rinner and B. Kuipers. Monitoring piecewise continuous behavior by refining trackers and models. In Hybrid Systems and AI:Modeling, Analysis and Control of Discrete + Continuous Systems, AAAI Technical Report SS-99-05, pp. 164\u2013169, 1999.","key":"25_CR21"},{"issue":"2","key":"25_CR22","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M. Sampath","year":"1996","unstructured":"M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis. Failure diagnosis using discrete-event models. IEEE Trans. on Control Systems Technology, vol. 4, no. 2, pp. 105\u2013124, 1996.","journal-title":"IEEE Trans. on Control Systems Technology"},{"doi-asserted-by":"crossref","unstructured":"W. Sweet. The glass cockpit. IEEE Spectrum, pages 30\u201338, September 1995.","key":"25_CR23","DOI":"10.1109\/6.406460"},{"unstructured":"Y. Weiss. Motion segmentation using EM \u2014 a short tutorial. http:\/\/wwwbcs.mit.edu\/people\/yweiss\/tutorials.html, 1997.","key":"25_CR24"},{"unstructured":"B. Williams and P.P. Nayak. A model-based approach to reactive self-configuring systems. In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), pages 971\u2013978, 1996.","key":"25_CR25"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46430-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T23:26:38Z","timestamp":1737501998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46430-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672593","9783540464303"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-46430-1_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}