{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:10:24Z","timestamp":1753888224063},"publisher-location":"Berlin, Heidelberg","reference-count":9,"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_21","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T08:18:49Z","timestamp":1193473129000},"page":"229-242","source":"Crossref","is-referenced-by-count":4,"title":["On the Existence of Solutions to Controlled Hybrid Automata"],"prefix":"10.1007","author":[{"given":"Michael","family":"Lemmon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,1]]},"reference":[{"key":"21_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. Po, \u201cHybrid Automata: an Algorithmic Approach to the Specification and Verification of Hybrid Systems\u201d, Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science, vol. 736, Springer-Verlag, pp. 209\u2013229, 1993."},{"key":"21_CR2","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, Halbwachs, T.A. Henzinger, P-H Ho, X Nicollin, Olivero, J. Sifjakis, and S. Yovine, \u201cThe Algorithmic Analysis of Hybrid Systems\u201d, Theoretical Computer Science Vol. 138:, pp. 3\u201334, 1995","journal-title":"Theoretical Computer Science"},{"unstructured":"P.J. Antsaklis, A.N. Michel, Linear Systems, MacGraw-Hill, 1997.","key":"21_CR3"},{"doi-asserted-by":"crossref","unstructured":"J.P. Aubin and A. Cellina, Differential Inclusions, Springer Verlag, 1984.","key":"21_CR4","DOI":"10.1007\/978-3-642-69512-4"},{"unstructured":"M. Bazaraa, H.D. Sherali, and C.M. Shetty, Nonlinear Programming: theory and algorithms, 2nd Edition, John-Wiley, 1993.","key":"21_CR5"},{"doi-asserted-by":"crossref","unstructured":"M.D. Davis and E.J. Weyuker, Computability, Complexity, and Languages, Academic Press, 1983.","key":"21_CR6","DOI":"10.1016\/B978-0-12-206380-0.50020-1"},{"key":"21_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of Hybrid Systems: Control and Computation","author":"K.X. He","year":"1998","unstructured":"K.X. He and M.D. Lemmon, Lyapunov stability of continuous valued systems under the supervision of discrete event transition systems, in Proceedings of Hybrid Systems: Control and Computation, lecture notes in computer science Vol. 1386, Springer Verlag, 1998."},{"key":"21_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1007\/BFb0020971","volume-title":"Hybrid Systems III: Verification and Control","author":"N. Lynch","year":"1996","unstructured":"N. Lynch, R. Segala, F. Vaandrager, and H.B. Weinberg, \u201cHybrid I\/O Automata\u201d, In R. Alur, T. Henzinger, and E. Sontag, editors, Hybrid Systems III: Verification and Control (DIMACS\/SYCON Workshop on Verification and Control of Hybrid Systems), New Brunswick, New Jersey, October 1995), volume 1066 of Lecture Notes in Computer Science, pages 496\u2013510. Springer-Verlag 1996."},{"doi-asserted-by":"crossref","unstructured":"P. Zhivoglyadov and R.H. Middleton, On Stability in Hybrid Systems, Proceedings off 37th IEEE Conference on Decision and Control, Tampa Florida, USA, pp. 3687\u20133692, December 1998.","key":"21_CR9","DOI":"10.1109\/CDC.1998.761775"}],"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_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:09:34Z","timestamp":1556935774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46430-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672593","9783540464303"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-46430-1_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}