{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T15:47:15Z","timestamp":1743349635624},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418665"},{"type":"electronic","value":"9783540453512"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45351-2_33","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T23:27:49Z","timestamp":1194996469000},"page":"403-417","source":"Crossref","is-referenced-by-count":36,"title":["Hybrid I\/O Automata Revisited"],"prefix":"10.1007","author":[{"given":"Nancy","family":"Lynch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Segala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frits","family":"Vaandrager","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"key":"33_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"R. Alur and T.A. Henzinger. Reactive modules. Proc. LICS\u201996, pp. 207\u2013218, 1996.","key":"33_CR2","DOI":"10.1109\/LICS.1996.561320"},{"key":"33_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/3-540-63141-0_6","volume-title":"Proc. of CONCUR\u201997","author":"R. Alur","year":"1997","unstructured":"R. Alur and T.A. Henzinger. Modularity for timed and hybrid systems. In Proc. of CONCUR\u201997, LNCS 1243, pp. 74\u201388, 1997."},{"key":"33_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/3-540-58468-4_165","volume-title":"Proc. of FTRTFT\u201994","author":"D.J.B. Bosscher","year":"1994","unstructured":"D.J.B. Bosscher, I. Polak, and F.W. Vaandrager. Verification of an audio control protocol. In Proc. of FTRTFT\u201994, LNCS 863, pp. 170\u2013192, 1994."},{"doi-asserted-by":"crossref","unstructured":"D. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM Distinguished Dissertations. MIT Press, 1988.","key":"33_CR5","DOI":"10.7551\/mitpress\/6874.001.0001"},{"key":"33_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/BFb0014723","volume-title":"Proc. of HART\u201997","author":"E. Dolginova","year":"1997","unstructured":"E. Dolginova and N.A. Lynch. Safety verification for automated platoon maneuvers: A case study. Proc. of HART\u201997, LNCS 1201, pp. 154\u2013170, 1997."},{"key":"33_CR7","volume-title":"Semantics of Programming Languages: Structures and Techniques","author":"C.A. Gunter","year":"1992","unstructured":"C.A. Gunter. Semantics of Programming Languages: Structures and Techniques. MIT Press, Cambridge, Massachusetts, 1992."},{"key":"33_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/3-540-58468-4_177","volume-title":"Proc. of FTRTFT\u201994","author":"A. Kapur","year":"1994","unstructured":"A. Kapur, T.A. Henzinger, Z. Manna, and A. Pnueli. Proving safety properties of hybrid systems. In Proc. of FTRTFT\u201994, LNCS 863, pp. 431\u2013454, 1994."},{"unstructured":"C. Livadas, J. Lygeros, and N.A. Lynch. High-level modelling and analysis of TCAS. In Proc. of RTSS\u201999, 1999.","key":"33_CR9"},{"key":"33_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/3-540-64358-3_44","volume-title":"Proc. of HSCC\u201998","author":"C. Livadas","year":"1998","unstructured":"C. Livadas and N.A. Lynch. Formal verification of safety-critical hybrid systems. In Proc. of HSCC\u201998, LNCS 1386, pp. 253\u2013272, 1998."},{"doi-asserted-by":"crossref","unstructured":"J. Lygeros and N.A. Lynch. On the formal verification of the TCAS conflict resolution algorithms. In Proc. of 36th IEEE Conference on Decision and Control, pp. 1829\u20131834, 1997. Extended abstract.","key":"33_CR11","DOI":"10.1109\/CDC.1997.657846"},{"key":"33_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/3-540-64358-3_45","volume-title":"Proc. of HSCC\u201998","author":"J. Lygeros","year":"1998","unstructured":"J. Lygeros and N.A. Lynch. Strings of vehicles: Modeling and safety conditions. In Proc. of HSCC\u201998, LNCS 1386, pp. 273\u2013288, 1998."},{"key":"33_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems III","author":"N.A. Lynch","year":"1996","unstructured":"N.A. Lynch. Modelling and verification of automated transit systems, using timed automata, invariants and simulations. In Hybrid Systems III, LNCS 1066, 1996."},{"unstructured":"N.A. Lynch. A three-level analysis of a simple acceleration maneuver, with uncertainties. Proc. of 3 rd AMAST Workshop on Real-Time Systems, pp. 1\u201322, 1996.","key":"33_CR14"},{"key":"33_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1007\/BFb0020971","volume-title":"Hybrid Systems III","author":"N.A. Lynch","year":"1996","unstructured":"N.A. Lynch, R. Segala, F.W. Vaandrager, and H.B. Weinberg. Hybrid I\/O automata. In Hybrid Systems III, LNCS 1066, pp. 496\u2013510, 1996."},{"unstructured":"N.A. Lynch, R. Segala, F.W. Vaandrager, and H.B. Weinberg. Hybrid I\/O automata. Report CSI-R9907, Computing Science Institute, Univ. of Nijmegen, 1999.","key":"33_CR16"},{"issue":"5","key":"33_CR17","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/BF01211907","volume":"8","author":"N.A. Lynch","year":"1996","unstructured":"N.A. Lynch and F.W. Vaandrager. Action transducers and timed automata. Formal Aspects of Computing, 8(5):499\u2013538, 1996.","journal-title":"Formal Aspects of Computing"},{"unstructured":"N.A. Lynch and H.B. Weinberg. Proving correctness of a vehicle maneuver: Deceleration. Proc. 2 nd European Workshop on Real-Time and Hybrid Systems, 1995.","key":"33_CR18"},{"key":"33_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/BFb0032003","volume-title":"Proc. REX Workshop on Real-Time: Theory in Practice","author":"O. Maler","year":"1992","unstructured":"O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Proc. REX Workshop on Real-Time: Theory in Practice, LNCS 600, pp. 447\u2013484, 1992."},{"issue":"2","key":"33_CR20","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1006\/inco.1997.2671","volume":"141","author":"R. Segala","year":"1998","unstructured":"R. Segala, R. Gawlick, J.F. S\u00f8gaard-Andersen, and N.A. Lynch. Liveness in timed and untimed systems. Information and Computation, 141(2):119\u2013171, March 1998.","journal-title":"Information and Computation"},{"unstructured":"E.D. Sontag. Mathematical Control Theory \u2014 Deterministic Finite Dimensional Systems, volume 6 of Texts in Applied Mathematics. Springer-Verlag, 1990.","key":"33_CR21"},{"doi-asserted-by":"crossref","unstructured":"H.B. Weinberg and N.A. Lynch. Correctness of vehicle control systems: A case study. In Proc. RTSS\u201996, pp. 62\u201372, 1996.","key":"33_CR22","DOI":"10.1109\/REAL.1996.563701"},{"key":"33_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/BFb0020938","volume-title":"Hybrid Systems III","author":"H.B. Weinberg","year":"1996","unstructured":"H.B. Weinberg, N.A. Lynch, and N. Delisle. Verification of automated vehicle protection systems. In Hybrid Systems III, LNCS 1066, pp. 101\u2013113,1996."}],"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-45351-2_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T11:24:39Z","timestamp":1556969079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45351-2_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418665","9783540453512"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45351-2_33","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}