{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:46:51Z","timestamp":1725497211659},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540009139"},{"type":"electronic","value":"9783540365808"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36580-x_25","type":"book-chapter","created":{"date-parts":[[2007,12,9]],"date-time":"2007-12-09T07:13:36Z","timestamp":1197184416000},"page":"328-342","source":"Crossref","is-referenced-by-count":8,"title":["On the Causality of Mixed-Signal and Hybrid Models"],"prefix":"10.1007","author":[{"given":"Jie","family":"Liu","sequence":"first","affiliation":[]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"25_CR1","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS). IEEE Computer Society Press (1996) 278\u2013292"},{"key":"25_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/3-540-64358-3_31","volume-title":"Hybrid Systems: Computation and Control","author":"S. Bornot","year":"1998","unstructured":"Bornot, S., Sifakis, J.: On the composition of hybrid systems. In: Hybrid Systems: Computation and Control, HSCC\u201998, Berkeley, CA, April, 1998. Volume 1386 of Lecture Notes in Computer Science. Springer (1998) 49\u201363"},{"issue":"1","key":"25_CR3","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TAC.2002.806650","volume":"48","author":"J. Lygeros","year":"2003","unstructured":"Lygeros, J., Johansson, K.H., Simic, S.N., Zhang, J., Sastry, S.: Dynamical properties of hybrid automata. IEEE Transactions on Automatic Control 48 (2003), to appear.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1109\/9.664151","volume":"43","author":"A. Schaft van der","year":"1998","unstructured":"van der Schaft, A., Schumacher, J.: Complementarity modeling of hybrid systems. IEEE Transactions on Automatic Control 43 (1998) 483\u2013490","journal-title":"IEEE Transactions on Automatic Control"},{"key":"25_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_21","volume-title":"Hybrid Systems: Computation and Control","author":"M. Lemmon","year":"2000","unstructured":"Lemmon, M.: On the existence of solutions to controlled hybrid automata. In: Hybrid Systems: Computation and Control, HSCC\u201900, Pittsburgh, PA, USA, March, 2000. Volume 1790 of Lecture Notes in Computer Science. Springer (2000) 229-242"},{"key":"25_CR6","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1109\/9.664162","volume":"43","author":"A. Benveniste","year":"1998","unstructured":"Benveniste, A.: Compositional and uniform modeling of hybrid systems. IEEE Transactions on Automatic Control 43 (1998) 579\u2013584","journal-title":"IEEE Transactions on Automatic Control"},{"key":"25_CR7","unstructured":"IEEE 1076.1 Working Group: VHDL 1076.1-1999: Analog and mixed-signal extensions to VHDL (1999)"},{"key":"25_CR8","unstructured":"Harman, T.L., Dabney, J.B.: Mastering Simulink 4. Prentice Hall (2001)"},{"key":"25_CR9","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E.A. Lee","year":"1998","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Transactions on CAD 17 (1998) 1217\u20131229","journal-title":"IEEE Transactions on CAD"},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1018998524196","volume":"7","author":"E.A. Lee","year":"1999","unstructured":"Lee, E.A.: Modeling concurrent real-time processes using discrete events. Annals of Software Engineering 7 (1999) 25\u201345","journal-title":"Annals of Software Engineering"},{"key":"25_CR11","volume-title":"Real Analysis","author":"H. Royden","year":"1988","unstructured":"Royden, H.: Real Analysis. 3rd edn. Prentice Hall, Englewood Cliffs, NJ (1988)","edition":"3rd edn."},{"key":"25_CR12","unstructured":"Sastry, S.: Nonlinear Systems, Analysis, Stability and Control. Springer-Verlag (1999)"},{"key":"25_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_37","volume-title":"Hybrid Systems: Computation and Control","author":"J. Zhang","year":"2000","unstructured":"Zhang, J., Johansson, K.H., Lygeros, J., Sastry, S.: Dynamical systems revisited: Hybrid systems with Zeno executions. In Krogh, B., Lynch, N., eds.: Hybrid Systems: Computation and Control, LNCS 1790. Springer-Verlag (2000)"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Bryant, V.: Metric Spaces. Cambridge University Press (1985)","DOI":"10.1017\/9781139171854"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0167-6911(99)00059-6","volume":"38","author":"K. Johansson","year":"1999","unstructured":"Johansson, K., Egerstedt, M., Lygeros, J., Sastry, S.: On the regularization of Zeno hybrid automata. Systems and Control Letters 38 (1999) 141\u2013150","journal-title":"Systems and Control Letters"},{"key":"25_CR16","unstructured":"Liu, J., Lee, E.A.: Component-based hierarchical modeling of systems with continuous and discrete dynamics,. In: IEEE Symposium on Computer-Aided Control System Design (CACSD\u201900), Anchorage, Alaska, USA. (2000) 95\u2013100"}],"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-36580-X_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T16:16:29Z","timestamp":1557072989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36580-X_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540009139","9783540365808"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-36580-x_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}