{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:14:41Z","timestamp":1773656081056,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540643586","type":"print"},{"value":"9783540697541","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64358-3_52","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:37:25Z","timestamp":1330281445000},"page":"374-383","source":"Crossref","is-referenced-by-count":11,"title":["A sufficient condition for controllability of a class of hybrid systems"],"prefix":"10.1007","author":[{"given":"Jan H.","family":"Schuppen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","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. Henainger, 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"},{"key":"25_CR2","volume-title":"Studies in hybrid systems: Modeling, analysis, and control","author":"M.S. Branicky","year":"1995","unstructured":"M.S. Branicky. Studies in hybrid systems: Modeling, analysis, and control. PhD thesis, M.I.T., Cambridge, MA, 1995."},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BFb0014718","volume-title":"Hybrid and real-time systems-Proceedings of International Workshop HART97","author":"M.S. Branicky","year":"1997","unstructured":"M.S. Branicky. On-line, reflexive constraint satisfaction for hybrid systems: First Steps. In O. Maler, editor, Hybrid and real-time systems-Proceedings of International Workshop HART97, number 1201 in Lecture Notes in Computer Science, pages 93\u2013107, Berlin, 1997. Springer."},{"key":"25_CR4","series-title":"Report LIDS-P-2239","volume-title":"Laboratory for Information and Decision Systems","author":"M.S. Branicky","year":"1994","unstructured":"M.S. Branicky, V.S. Borkar, and S.K. Mitter. A unified framework for hybrid control: Background, model, and theory. Report LIDS-P-2239, Laboratory for Information and Decision Systems, M.I.T., Cambridge, MA, 1994."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"A. Deshpande and P. Varaiya. Information structures for control and verification of hybrid systems. In Proceedings American Control Conference, pages 2642\u20132647. American Control Council, 1995.","DOI":"10.1109\/ACC.1995.532327"},{"key":"25_CR6","series-title":"Lecure Notes in Computer Science","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-60472-3_7","volume-title":"Hybrid systems 11, volume 999","author":"A. Deshpande","year":"1995","unstructured":"A. Deshpande and P. Varaiya. Viable control of hybrid systems. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid systems 11, volume 999 of Lecure Notes in Computer Science, pages 128\u2013147, Berlin, 1995. Springer."},{"key":"25_CR7","unstructured":"J.J.H. Fey. Control and verification of industrial hybrid systems using models specified with the formalism X. Note BS-N9601, CWI, Amsterdam, 1996."},{"key":"25_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/BFb0014739","volume-title":"Hybrid and real-time systems-Proceedings of International Workshop HART97","author":"M. Heymann","year":"1997","unstructured":"M. Heymann, Feng Lin, and G. Meyer. Control synthesis for a class of hybrid systems subject to configuration-based safety constraints. In O. Maler, editor, Hybrid and real-time systems-Proceedings of International Workshop HART97, number 1201 in Lecture Notes in Computer Science, pages 376\u2013390, Berlin, 1997. Springer."},{"key":"25_CR9","volume-title":"Hierarchical, hybrid control of large scale systems","author":"J. Lygeros","year":"1996","unstructured":"J. Lygeros. Hierarchical, hybrid control of large scale systems. PhD thesis, University of California, Berkeley, 1996."},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BFb0014720","volume-title":"Hybrid and real-time systems-Proceedings of International Workshop HART97","author":"J. Lygeros","year":"1997","unstructured":"J. Lygeros, C. Tomlin, and S. Sastry. Multiobjective hybrid controller synthesis. In O. Maler, editor, Hybrid and real-time systems-Proceedings of International Workshop HART97, number 1201 in Lecture Notes in Computer Science, pages 109\u2013123, Berlin, 1997. Springer."},{"key":"25_CR11","volume-title":"Introduction to the theory of computation","author":"M. Sipser","year":"1997","unstructured":"M. Sipser. Introduction to the theory of computation. PWS Publishing Company, Boston, 1997."},{"key":"25_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0374-9","volume-title":"Mathematical control theory: Deterministic finite dimensional systems","author":"E.D. Sontag","year":"1990","unstructured":"E.D. Sontag. Mathematical control theory: Deterministic finite dimensional systems. Springer-Verlag, New York, 1990."},{"key":"25_CR13","volume-title":"Control for a class of hybrid systems","author":"J.H. Schuppen van","year":"1997","unstructured":"J.H. van Schuppen. Control for a class of hybrid systems. Report PNA-R9716, CWI, Amsterdam, 1997."}],"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-64358-3_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:45:16Z","timestamp":1619559916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64358-3_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643586","9783540697541"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-64358-3_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}