{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:56:20Z","timestamp":1743058580248,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548475"},{"type":"electronic","value":"9783642548482"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54848-2_11","type":"book-chapter","created":{"date-parts":[[2014,7,9]],"date-time":"2014-07-09T11:35:39Z","timestamp":1404905739000},"page":"161-176","source":"Crossref","is-referenced-by-count":0,"title":["Constructive Collisions"],"prefix":"10.1007","author":[{"given":"Edward A.","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"11_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science\u00a0138(1), 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"11_CR2","unstructured":"Beer Jr., F., Johnston, E.R.: Vector equations for Engineers: Dynamics, 6th edn. McGraw Hill (1996)"},{"issue":"9","key":"11_CR3","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proceedings of the IEEE\u00a079(9), 1270\u20131282 (1991)","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"11_CR4","doi-asserted-by":"publisher","first-page":"877","DOI":"10.1016\/j.jcss.2011.08.009","volume":"78","author":"A. Benveniste","year":"2012","unstructured":"Benveniste, A., Bourke, T., Caillaud, B., Pouzet, M.: The fundamentals of hybrid systems modelers. Journal of Computer and System Sciences\u00a078(3), 877\u2013910 (2012)","journal-title":"Journal of Computer and System Sciences"},{"key":"11_CR5","unstructured":"Berry, G.: The Constructive Semantics of Pure Esterel. Draft version, 3rd edn. (2003)"},{"key":"11_CR6","unstructured":"Cardoso, J., Lee, E.A., Liu, J., Zheng, H.: Continuous-time models. In: Ptolemaeus, C. (ed.) System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley (2014)"},{"issue":"4","key":"11_CR7","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1115\/1.2791938","volume":"65","author":"A. Chatterjee","year":"1998","unstructured":"Chatterjee, A., Ruina, A.: A new algebraic rigid body collision law based on impulse space considerations. Journal of Applied Mechanics\u00a065(4), 939\u2013951 (1998)","journal-title":"Journal of Applied Mechanics"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Davey, B.A., Priestly, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press (2002)","DOI":"10.1017\/CBO9780511809088"},{"key":"11_CR9","unstructured":"Erleben, K., Sporring, J., Henriksen, K., Dohlmann, H.: Physics-Based Animation. Charles River Media, Inc., Hingham (2005)"},{"key":"11_CR10","unstructured":"Feng, T.H., Lee, E.A., Liu, X., Tripakis, S., Zheng, H., Zhou, Y.: Modal models. In: Ptolemaeus, C. (ed.) System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley (2014)"},{"key":"11_CR11","unstructured":"Glockner, C.: Scalar force potentials in rigid multibody systems. In: Pfeiffer, F., Glockner, C. (eds.) Multibody Dynamics with Unilateral Contacts. CISM Courses and Lectures, vol.\u00a0421. Springer, Vienna (2000)"},{"key":"11_CR12","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\u00a07, 25\u201345 (1999)","journal-title":"Annals of Software Engineering"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Constructive models of discrete and continuous physical phenomena. Technical report, EECS Department, UC Berkeley (February 2014)","DOI":"10.21236\/ADA604845"},{"issue":"12","key":"11_CR14","doi-asserted-by":"publisher","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 Trans. on Computer-Aided Design of Circuits and Systems\u00a017(12), 1217\u20131229 (1998)","journal-title":"IEEE Trans. on Computer-Aided Design of Circuits and Systems"},{"key":"11_CR15","unstructured":"Lee, E.A., Tripakis, S.: Modal models in Ptolemy. In: 3rd Int. Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), Oslo, Norway, vol.\u00a047, pp. 11\u201321. Link\u00f6ping University Electronic Press, Link\u00f6ping University (2010)"},{"key":"11_CR16","unstructured":"Lee, E.A., Varaiya, P.: Structure and Interpretation of Signals and Systems, 2.0 edn. LeeVaraiya.org (2011)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-31954-2_2","volume-title":"Hybrid Systems: Computation and Control","author":"E.A. Lee","year":"2005","unstructured":"Lee, E.A., Zheng, H.: Operational semantics of hybrid systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 25\u201353. Springer, Heidelberg (2005)"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Zheng, H.: Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In: EMSOFT, Salzburg, Austria. ACM (2007)","DOI":"10.1145\/1289927.1289949"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Lindstr\u00f8m, T.: An invitation to nonstandard analysis. In: Cutland, N. (ed.) Nonstandard Analysis and Its Applications, pp. 1\u2013105. Cambridge University Press (1988)","DOI":"10.1017\/CBO9781139172110.002"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/BFb0032003","volume-title":"Real-Time: Theory in Practice","author":"O. Maler","year":"1992","unstructured":"Maler, O., Manna, Z., Pnueli, A.: From timed to hybrid systems. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 447\u2013484. Springer, Heidelberg (1992)"},{"issue":"3","key":"11_CR21","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1016\/S0016-0032(96)00126-3","volume":"335","author":"P.J. Mosterman","year":"1998","unstructured":"Mosterman, P.J., Biswas, G.: A theory of discontinuities in physical system models. Journal of the Franklin Institute\u00a0335(3), 401\u2013439 (1998)","journal-title":"Journal of the Franklin Institute"},{"key":"11_CR22","unstructured":"Mosterman, P.J., Simko, G., Zande, J.: A hyperdense semantic domain for discontinuous behavior in physical system models. In: Multi-Paradigm Modeling, MPM (2013)"},{"key":"11_CR23","unstructured":"Otter, M., Elmqvist, H., L\u00f3pez, J.D.: Collision handling for the Modelica multibody library. In: Modelica Conference, Hamburg, Germany, pp. 45\u201353 (2005)"},{"key":"11_CR24","unstructured":"Ptolemaeus, C. (ed.): System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley (2014)"},{"issue":"1","key":"11_CR25","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1137\/S0036144599360110","volume":"42","author":"D.E. Stewart","year":"2000","unstructured":"Stewart, D.E.: Rigid-body dynamics with friction and impact. SIAM Review\u00a042(1), 3\u201339 (2000)","journal-title":"SIAM Review"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Tiller, M.M.: Introduction to Physical Modeling with Modelica. Kluwer Academic Publishers (2001)","DOI":"10.1007\/978-1-4615-1561-6"}],"container-title":["Lecture Notes in Computer Science","From Programs to Systems. The Systems perspective in Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54848-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T03:53:15Z","timestamp":1558929195000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54848-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548475","9783642548482"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54848-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}