{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T13:19:46Z","timestamp":1778851186414,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540441656","type":"print"},{"value":"9783540457398","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45739-9_14","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T22:42:01Z","timestamp":1179268921000},"page":"205-221","source":"Crossref","is-referenced-by-count":121,"title":["Fault Diagnosis for Timed Automata"],"prefix":"10.1007","author":[{"given":"Stavros","family":"Tripakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,4]]},"reference":[{"key":"14_CR1","unstructured":"Uppaal web-site: http:\/\/www.docs.uu.se\/docs\/rtmv\/uppaal\/ ."},{"key":"14_CR2","unstructured":"Esterel web-site: http:\/\/www.esterel.org ."},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"14_CR4","unstructured":"Rajeev Alur. Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Department of Computer Science, Stanford University, 1991."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"E. Asarin, O. Maler, A. Pnueli, and J. Sifakis. Controller synthesis for timed automata. In Proc. IFAC Symposium on System Structure and Control. Elsevier, 1998.","DOI":"10.1016\/S1474-6670(17)42032-5"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"A. Balluchi, L. Benvenuti, M. Di Benedetto, and A. Sangiovanni-Vincentelli. Design of observers for hybrid systems. In Hybrid Systems: Computation and Control, 2002. To appear.","DOI":"10.1007\/3-540-45873-5_9"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella. Diagnosis of large active systems. Artificial Intelligence, 110, 1999.","DOI":"10.1016\/S0004-3702(99)00019-3"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"A. Bouajjani, S. Tripakis, and S. Yovine. On-the-fly symbolic model checking for real-time systems. In Proc. of the 18th IEEE Real-Time Systems Symposium, San Francisco, CA, pages 232\u2013243. IEEE, December 1997.","DOI":"10.1109\/REAL.1997.641266"},{"key":"14_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028779","volume-title":"Proc. of the 10th Conference on Computer-Aided Verification, CAV\u201998","author":"M. Bozga","year":"1998","unstructured":"M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine. Kronos: a model-checking tool for real-time systems. In Proc. of the 10th Conference on Computer-Aided Verification, CAV\u201998. LNCS 1427, Springer-Verlag, 1998."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"B.A. Brandin and W.M. Wonham. Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control, 39(2), 1994.","DOI":"10.1109\/9.272327"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Yi-Liang Chen and Gregory Provan. Modeling and diagnosis of timed discrete event systems-a factory automation example. In ACC, 1997.","DOI":"10.1109\/ACC.1997.611749"},{"key":"14_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems III: Verification and Control","author":"D.D. Cofer","year":"1996","unstructured":"D.D. Cofer and V.K. Garg. On controlling timed discrete event systems. In Hybrid Systems III: Verification and Control. LNCS 1066, Springer-Verlag, 1996."},{"key":"14_CR13","series-title":"Lect Notes Comput Sci","first-page":"197","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D.L. Dill","year":"1989","unstructured":"D.L. Dill. Timing assumptions and verification of finite-state concurrent systems. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, Lecture Notes in Computer Science 407, pages 197\u2013212. Springer-Verlag, 1989."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79(9), September 1991.","DOI":"10.1109\/5.97300"},{"issue":"2","key":"14_CR15","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T.A. Henzinger","year":"1994","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193\u2013244, 1994.","journal-title":"Information and Computation"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"L.E. Holloway and S. Chand. Time templates for discrete event fault monitoring in manufacturing systems. In Proc. of the 1994 American Control Conference, 1994.","DOI":"10.1109\/ACC.1994.751830"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"S. Narasimhan and G. Biswas. An approach to model-based diagnosis of hybrid systems. In Hybrid Systems: Computation and Control, 2002. To appear.","DOI":"10.1007\/3-540-45873-5_25"},{"key":"14_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems III: Verification and Control","author":"J. Raisch","year":"1996","unstructured":"J. Raisch and S. O\u2019Young. A DES approach to control of hybrid dynamical systems. In Hybrid Systems III: Verification and Control. LNCS 1066, Springer-Verlag, 1996."},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"P. Ramadge and W. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control Optim., 25(1), January 1987.","DOI":"10.1137\/0325013"},{"key":"14_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025019","volume-title":"Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA\/AIE","author":"A. K. Ray","year":"1992","unstructured":"Amit Kumar Ray and R. B. Misra. Real-time fault diagnosis-using occupancy grids and neural network techniques. In Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA\/AIE. LNCS 604, Springer-Verlag, 1992."},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 40(9), September 1995.","DOI":"10.1109\/9.412626"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete event models. IEEE Transactions on Control Systems Technology, 4(2), March 1996.","DOI":"10.1109\/87.486338"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"J. Sztipanovits, R. Carnes, and A. Misra. Finite state temporal automata modeling for fault diagnosis. In 9th AIAA Conference on Computing in Aerospace, 1993.","DOI":"10.2514\/6.1993-4528"},{"key":"14_CR24","unstructured":"J. Sztipanovits and A. Misra. Diagnosis of discrete event systems using ordered binary decision diagrams. In 7th Intl. Workshop on Principles of Diagnosis, 1996."},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"C. Tomlin, J. Lygeros, and S. Sastry. Synthesizing controllers for nonlinear hybrid systems. In Hybrid Systems: Computation and Control. LNCS 1386, Springer-Verlag, 1998.","DOI":"10.1007\/3-540-64358-3_51"},{"key":"14_CR26","unstructured":"S. Tripakis. The formal analysis of timed systems in practice. PhD thesis, Universit\u00e9 Joseph Fourrier de Grenoble, 1998."},{"key":"14_CR27","series-title":"Lect Notes Comput Sci","volume-title":"ARTS\u201999","author":"S. Tripakis","year":"1999","unstructured":"S. Tripakis. Verifying progress in timed systems. In ARTS\u201999, LNCS 1601, 1999."},{"issue":"1","key":"14_CR28","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1023\/A:1008734703554","volume":"18","author":"S. Tripakis","year":"2001","unstructured":"S. Tripakis and S. Yovine. Analysis of timed systems using time-abstracting bisim-ulations. Formal Methods in System Design, 18(1):25\u201368, January 2001.","journal-title":"Formal Methods in System Design"},{"key":"14_CR29","doi-asserted-by":"crossref","unstructured":"J.N. Tsitsiklis. On the control of discrete event dynamical systems. Mathematics of Control, Signals and Systems, 2(2), 1989.","DOI":"10.1007\/BF02551817"},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"H. Wong-Toi. The synthesis of controllers for linear hybrid automata. In Proc. of IEEE Conference on Decision and Control, 1997.","DOI":"10.1109\/CDC.1997.649708"},{"key":"14_CR31","doi-asserted-by":"crossref","unstructured":"H. Wong-Toi and G. Hoffmann. The control of dense real-time discrete event systems. In Proc. of the 30th IEEE Conference on Decision and Control, 1991.","DOI":"10.1109\/CDC.1991.261658"},{"key":"14_CR32","unstructured":"S. Hashtrudi Zad, R.H. Kwong, and W.M. Wonham. Fault diagnosis in finite-state automata and timed discrete-event systems. In 38th IEEE Conference on Decision and Control, 1999."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45739-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T20:54:43Z","timestamp":1556398483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45739-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441656","9783540457398"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-45739-9_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}