{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T18:22:28Z","timestamp":1758824548934},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633587"},{"type":"electronic","value":"9783540695233"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0031554","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T07:10:54Z","timestamp":1134285054000},"page":"31-56","source":"Crossref","is-referenced-by-count":12,"title":["Simulation of hybrid systems"],"prefix":"10.1007","author":[{"given":"Michael S.","family":"Branicky","sequence":"first","affiliation":[]},{"given":"Sven Erik","family":"Mattsson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"volume-title":"Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science","year":"1996","key":"3_CR1","unstructured":"R. Alur, T. A. Henzinger, and E. D. Sontag, editors. Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science. Springer, New York, 1996."},{"key":"3_CR2","unstructured":"M. Andersson. Object-Oriented Modeling and Simulation of Hybrid Systems. PhD thesis, Lund Institute of Technology, Dept. of Automatic Control, 1994."},{"volume-title":"Hybrid Systems II, volume 999 of Lecture Notes in Computer Science","year":"1995","key":"3_CR3","unstructured":"P. Anstaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems II, volume 999 of Lecture Notes in Computer Science. Springer, New York, 1995."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"P. J. Antsaklis, J. A. Stiver, and M. D. Lemmon. Hybrid system modeling and autonomous control systems. In Grossman et al. [12], pages 366\u2013392.","DOI":"10.1007\/3-540-57318-6_37"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Z. Artstein. Examples of stabilization with hybrid feedback. In [1] pages 173\u2013185.","DOI":"10.1007\/BFb0020944"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"A. Back, J. Guckenheimer, and M. Myers. A dynamical simulation facility for hybrid systems. In Grossman et al. [12], pages 255\u2013267.","DOI":"10.1007\/3-540-57318-6_32"},{"key":"3_CR7","volume-title":"Systems with Impulse Effect","author":"D. D. Bainov","year":"1989","unstructured":"D. D. Bainov and P. S. Simeonov. Systems with Impulse Effect. Ellis Horwood, Chichester, England, 1989."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"M. S. Branicky. Studies in Hybrid Systems: Modeling, Analysis, and Control. ScD thesis, Massachusetts Institute of Technology, Dept. of Electrical Eng. and Comp. Science, June 1995.","DOI":"10.1007\/BFb0020945"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"M. S. Branicky, V. S. Borkar, and S. K. Mitter. A unified framework for hybrid control. In Proc. IEEE Conf. Decision and Control, pages 4228\u20134234, Lake Buena Vista, FL, Dec. 1994.","DOI":"10.1109\/CDC.1994.411615"},{"key":"3_CR10","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/978-1-4612-0313-1_2","volume-title":"Essays in Control: Perspectives in the Theory and its Applications","author":"R. W. Brockett","year":"1993","unstructured":"R. W. Brockett. Hybrid models for motion control systems. In H. L. Trentelman and J. C. Willems, editors, Essays in Control: Perspectives in the Theory and its Applications, pages 29\u201353. Birkh\u00e4user, Boston, 1993."},{"key":"3_CR11","unstructured":"A. Deshpande. Control of Hybrid Systems. PhD thesis, Univ. of California at Berkeley, 1994."},{"volume-title":"Hybrid Systems, volume 736 of Lecture Notes in Computer Science","year":"1993","key":"3_CR12","unstructured":"R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors. Hybrid Systems, volume 736 of Lecture Notes in Computer Science. Springer, New York, 1993."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, stability. In Grossman et al. [12], pages 317\u2013356.","DOI":"10.1007\/3-540-57318-6_35"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"K. S. Sibirsky. Introduction to Topological Dynamics. Noordhoff International Publishing, Leyden, The Netherlands, 1975. Translated by Leo F. Boron.","DOI":"10.1007\/978-94-010-2308-5_1"},{"key":"3_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0374-9","volume-title":"Mathematical Control Theory: Deterministic Finite Dimensional Systems, volume 6 of Texts in Applied Mathematics","author":"E. D. Sontag","year":"1990","unstructured":"E. D. Sontag. Mathematical Control Theory: Deterministic Finite Dimensional Systems, volume 6 of Texts in Applied Mathematics. Springer, New York, 1990."},{"issue":"6","key":"3_CR16","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1016\/0362-546X(87)90034-4","volume":"11","author":"L. Tavernini","year":"1987","unstructured":"L. Tavernini. Differential automata and their discrete simulators. Nonlinear Analysis, Theory, Methods, and Applications, 11(6):665\u2013683, 1987.","journal-title":"Nonlinear Analysis, Theory, Methods, and Applications"},{"issue":"2","key":"3_CR17","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1109\/TAC.1966.1098336","volume":"11","author":"H. S. Witsenhausen","year":"1966","unstructured":"H. S. Witsenhausen. A class of hybrid-state continuous-time dynamic systems. IEEE Trans. Automatic Control, 11(2):161\u2013167, 1966.","journal-title":"IEEE Trans. Automatic Control"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031554","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T21:21:49Z","timestamp":1683321709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031554"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633587","9783540695233"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0031554","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}