{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:45:58Z","timestamp":1725493558790},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422877"},{"type":"electronic","value":"9783540482246"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48224-5_2","type":"book-chapter","created":{"date-parts":[[2007,10,28]],"date-time":"2007-10-28T02:29:04Z","timestamp":1193538544000},"page":"4-23","source":"Crossref","is-referenced-by-count":1,"title":["Automata, Circuits, and Hybrids: Facets of Continuous Time"],"prefix":"10.1007","author":[{"given":"Boris A.","family":"Trakhtenbrot","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"key":"2_CR1","series-title":"Lect Notes Comput Sci","first-page":"332","volume-title":"Proceedings of ICALP90","author":"R. Alur","year":"1990","unstructured":"Alur, R., Dill, D.: Automata for modeling real-time systems. Proceedings of ICALP90, LNCS 443 (1990) pp. 332\u2013335."},{"key":"2_CR2","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. CAV\u201994","author":"R. Alur","year":"1994","unstructured":"Alur, R., Fix, L., Henzinger, T.: A deterministic class of timed automata. Proc. CAV\u201994, LNCS 818, pp. 1\u201313."},{"key":"2_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Logics and models for real time: theory in practice","author":"R. Alur","year":"1992","unstructured":"Alur, R., Henzinger, T.: Logics and models for real time: theory in practice. LNCS 600 (1992) pp. 74\u2013106."},{"key":"2_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid automata: approach to the specification and verification of hybrid systems","author":"A. Alur","year":"1993","unstructured":"Alur, A., Courcoubetis, C., Henzinger, T., Pei-Sin, Ho.: Hybrid automata: approach to the specification and verification of hybrid systems. LNCS 736 (1993) pp. 209\u2013229."},{"key":"2_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BFb0020944","volume-title":"Examples of stabilization with hybrid feedback","author":"Z. Artstein","year":"1996","unstructured":"Artstein, Z.: Examples of stabilization with hybrid feedback. LNCS 1066 (1996) pp. 173\u2013185."},{"key":"2_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems","author":"E. Asarin","year":"1995","unstructured":"Asarin, E., Maler, O., Pnueli, A.: Symbolic controller synthesis for discrete and timed systems, in: Hybrid Systems II, LNCS 999, Springer-Verlag, 1995."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Asarin, E., Bournez, O., Dang, Th., Maler, O., Pnueli, A.: Effective synthesis of switching controllers for linear systems, Proceedings of the IEEE, vol. 88, No 7, July 2000.","DOI":"10.1109\/5.871306"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata, Proc. IFAC Symp. on System Structure and Control, pp. 469\u2013474, Elsevier, 1998.","DOI":"10.1016\/S1474-6670(17)42032-5"},{"key":"2_CR9","unstructured":"Berry, G.: The constructive semantics of Pure Esterel, Technical Report (Draft Version 1.2), April 1996."},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/BF01786252","volume":"2","author":"M. Broy","year":"1987","unstructured":"Broy, M.: Semantics of finite and infinite networks of concurrent communicating agents. Distributed Computing 2 (1987) 13\u201331.","journal-title":"Distributed Computing"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Burks, A.W., Wright, J.B.: Theory of logical nets. Proceedings of the I.R.E., 1953.","DOI":"10.1109\/JRPROC.1953.274312"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Davoren, J.M., Nerode, A.: Logics for hybrid systems, Proceedings of the IEEE, vol. 88, No 7, July 2000.","DOI":"10.1109\/5.871305"},{"key":"2_CR13","unstructured":"Henzinger, T.: The theory of hybrid automata. Proceedings of the IEEE (1996) 278\u2013292."},{"key":"2_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1007\/3-540-48523-6_39","volume-title":"Proceedings of the ICALP\u201999 colloquium","author":"Y. Hirshfeld","year":"1999","unstructured":"Hirshfeld, Y., Rabinovich, A.: A framework for decidable metric logics, Proceedings of the ICALP\u201999 colloquium, Editors J. Wiedermann, P. van Emde Boas, M. Nielsen, LNCS 1644, Springer-Verlag, 1999, pages 422\u2013432."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Hirshfeld, Y., Rabinovich, A.: Quantitative temporal logic, Proceedings of the CSL colloquium, 1999.","DOI":"10.1007\/3-540-48168-0_13"},{"key":"2_CR16","unstructured":"Kobrinsky, N., Trakhtenbrot, B.A.: Introduction to the Theory of Finite Automata (Russian edition, 1962), Transl. North Holland, 1965."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Maler, O.: A unified approach for studying discrete and continuous dynamical systems, Proc. 37th IEEE Conf.Dec. Contr., Tampa, USA, Dec. 1998, pp. 37\u201342.","DOI":"10.1109\/CDC.1998.758641"},{"key":"2_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/3-540-60385-9_12","volume-title":"Proceedings CHARME\u201995","author":"O. Maler","year":"1995","unstructured":"Maler, O., Pnueli, A.: Timing analysis of asynchronous circuits using timed automata. Proceedings CHARME\u201995, LNCS 987, pp. 189\u2013205."},{"key":"2_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","volume-title":"Proceedings of STACS\u201995","author":"O. Maler","year":"1995","unstructured":"Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems, Proceedings of STACS\u201995, LNCS 900, pp. 229\u2013242."},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/BF01191722","volume":"30","author":"Z. Manna","year":"1993","unstructured":"Manna, Z., Pnueli, A.: Models for reactivity. Acta Informatica 30 (1993) 609\u2013678.","journal-title":"Acta Informatica"},{"key":"2_CR22","unstructured":"McNaughton R.: Badly timed elements and well timed nets. Technical Report 65-02, Moore-School, 1964."},{"key":"2_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/BFb0014732","volume-title":"Functional specification of real-time and hybrid systems","author":"O. M\u00fcller","year":"1997","unstructured":"M\u00fcller O., Scholz P.: Functional specification of real-time and hybrid systems, LNCS 1201, pp. 273\u2013285, 1997."},{"key":"2_CR24","series-title":"Lect Notes Comput Sci","first-page":"465","volume-title":"Intern. Symp. COMPOS\u201997","author":"E.R. Olderog","year":"1997","unstructured":"Olderog, E.R., Dierks, H.: Decomposing real-time specifications. Intern. Symp. COMPOS\u201997. LNCS 1536, pp. 465\u2013489."},{"key":"2_CR25","unstructured":"Pardo, D.: Timed Automata: Transducers and Circuits, M.Sc. Thesis, Tel-Aviv Univ., 1997."},{"key":"2_CR26","unstructured":"Pardo, D., Rabinovich, A., Trakhtenbrot, B.A.: On synchronous circuits over continuous time, Technical Report, Tel Aviv University, 1997."},{"key":"2_CR27","unstructured":"Rabinovich, A.: Finite automata over continuous time, Technical Report, Tel Aviv University, 1996."},{"key":"2_CR28","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings FCT\u201997","author":"A. Rabinovich","year":"1997","unstructured":"Rabinovich, A., Trakhtenbrot, B.: From finite automata toward hybrid systems. Proceedings FCT\u201997, LNCS."},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Ramadge P.J., Wonham W.M.: The control of discrete event systems, Proc. of the IEEE\u201977, pp. 81\u201398","DOI":"10.1109\/5.21072"},{"key":"2_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0374-9","volume-title":"Mathematical Control Theory: Deterministic Finite Dimensional Systems","author":"E. Sontag","year":"1990","unstructured":"Sontag, E.: Mathematical Control Theory: Deterministic Finite Dimensional Systems, Springer, N.Y., 1990."},{"key":"2_CR31","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/BFb0020966","volume-title":"Interconnected automata and linear systems","author":"E. Sontag","year":"1996","unstructured":"Sontag, E.: Interconnected automata and linear systems. LNCS, No. 1066 (1996) pp. 436\u2013448."},{"key":"2_CR32","unstructured":"Trakhtenbrot, B.A.: Automata and hybrid systems. Lecture Notes on a course at Uppsala University, Fall 1997."},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Trakhtenbrot, B.A.: Automata, Circuits and Hybrids: Facets of Continuous Time. Work in progress. Manuscript, pp 1\u201377, Draft March 2001.","DOI":"10.1145\/380752.380884"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Trakhtenbrot, B.A.: Origins and metamorphose of the trinity: Logics, nets, automata, Proceedings, LICS\u201995.","DOI":"10.1109\/LICS.1995.523284"},{"key":"2_CR35","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/3-540-48321-7_4","volume-title":"FCT99","author":"B.A. Trakhtenbrot","year":"1999","unstructured":"Trakhtenbrot, B.A.: Automata and their interaction: definitional suggestions, FCT99, LNCS 1684, pp. 54\u201389, 1999."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48224-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:28:35Z","timestamp":1556922515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48224-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422877","9783540482246"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-48224-5_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}