{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T22:05:41Z","timestamp":1766268341053,"version":"3.37.3"},"reference-count":57,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"funder":[{"name":"iCyPhy Research Center, through IBM, Armonk, NY, USA, and United Technologies, Hartford, CT, USA"},{"name":"Center for Hybrid and Embedded Software Systems, University of California at Berkeley, Berkeley, CA, USA, through the National Science Foundation, ActionWebs","award":["0931843"],"award-info":[{"award-number":["0931843"]}]},{"DOI":"10.13039\/100009917","name":"Naval Research Laboratory","doi-asserted-by":"crossref","award":["N0013-12-1-G015"],"award-info":[{"award-number":["N0013-12-1-G015"]}],"id":[{"id":"10.13039\/100009917","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Denso International America, Southfield, MI, USA, National Instruments Corporation, Austin, TX, USA, and Toyota, Torrance, CA, USA"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2014]]},"DOI":"10.1109\/access.2014.2345759","type":"journal-article","created":{"date-parts":[[2014,8,7]],"date-time":"2014-08-07T18:45:32Z","timestamp":1407437132000},"page":"797-821","source":"Crossref","is-referenced-by-count":32,"title":["Constructive Models of Discrete and Continuous Physical Phenomena"],"prefix":"10.1109","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5663-0584","authenticated-orcid":false,"given":"Edward A.","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0144-6"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/3-540-57318-6_22","article-title":"Verifying hybrid systems","volume":"736","author":"manna","year":"1993","journal-title":"Hybrid Systems"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172110.002"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289949"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-540-31954-2_2","article-title":"Operational semantics of hybrid systems","author":"lee","year":"2005","journal-title":"Proc 8th Int Workshop Hybrid Syst Comput Control (HSCC)"},{"journal-title":"Structure and Interpretation of Signals and Systems","year":"2011","author":"lee","key":"ref30"},{"key":"ref37","first-page":"249","article-title":"The uncertainty relation between energy and time in nonrelativistic quantum mechanics","volume":"9","author":"mandelshtam","year":"1945","journal-title":"J Phys"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/43.293952"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BFb0032003","article-title":"From timed to hybrid systems","author":"maler","year":"1992","journal-title":"Real-Time Theory and Practice"},{"key":"ref34","article-title":"On the causality of mixed-signal and hybrid models","author":"liu","year":"2003","journal-title":"Proc 6th Int Workshop Hybrid Syst Comput Control (HSCC)"},{"journal-title":"Introduction to Embedded Systems—A Cyber- Physical Systems Approach","year":"2011","author":"lee","key":"ref28"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref29","first-page":"11","article-title":"Modal models in Ptolemy","volume":"47","author":"lee","year":"2010","journal-title":"Proc 3rd Int Workshop Equation-Based Object-Oriented Model Lang Tools"},{"key":"ref2","first-page":"74","article-title":"Logics and models of real time: A survey","author":"alur","year":"1991","journal-title":"Proc REX Workshop"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1971.5216113"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"article-title":"Interval and point-based approaches to hybrid systems verification","year":"1997","author":"kapur","key":"ref24"},{"key":"ref23","first-page":"1773","article-title":"Modeling time in hybrid systems: How fast is ’instantaneous’?","author":"iwasaki","year":"1995","journal-title":"in Proc Int l Workshop Qualitative Reasoning"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000751"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018998524196"},{"key":"ref50","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780199278183.001.0001","author":"price","year":"2007","journal-title":"Causation Physics and the Constitution of Reality"},{"journal-title":"System Design Modeling and Simulation Using Ptolemy II","year":"2014","author":"ptolemaeus","key":"ref51"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1561-6"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/78.229900"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1990.0125"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1137\/S0036144599360110"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1996.494321"},{"key":"ref52","first-page":"1","article-title":"Execution of UML state machines using Modelica","volume":"47","author":"schamai","year":"2010","journal-title":"Proc 3rd Int Workshop Equation-Based Object-Oriented Model Lang Tools"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3384\/ecp14096693"},{"journal-title":"Empirical Model-Building and Response Surfaces (Probability and Statistics)","year":"1987","author":"box","key":"ref11"},{"key":"ref40","first-page":"139","article-title":"Modeling discontinuous behavior with hybrid bond graphs","author":"mosterman","year":"1995","journal-title":"Proc Qualitative Reasoning Workshop"},{"key":"ref12","article-title":"Continuous-time models","author":"cardoso","year":"2014","journal-title":"System Design Modeling and Simulation Using Ptolemy II"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678403"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1115\/1.2791938"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00096-5"},{"journal-title":"Physics-Based Animation","year":"2005","author":"erleben","key":"ref17"},{"key":"ref18","article-title":"Modal models","author":"feng","year":"2014","journal-title":"System Design Modeling and Simulation Using Ptolemy II"},{"key":"ref19","article-title":"Scalar force potentials in rigid multibody systems","volume":"421","author":"glockner","year":"2000","journal-title":"Multibody Dynamics With Unilateral Contacts (CISM Courses and Lectures)"},{"journal-title":"VHDL Design Representation and Synthesis","year":"2000","author":"armstrong","key":"ref4"},{"article-title":"SyncCharts: A visual representation of reactive behaviors","year":"1996","author":"andr\u00e9","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"journal-title":"Vector Equations for Engineers Dynamics","year":"1996","author":"beer","key":"ref5"},{"key":"ref8","article-title":"Index theory for hybrid DAE systems","author":"benveniste","year":"2013","journal-title":"Proc Synchron Program (Synchron)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.009"},{"journal-title":"Analysis and Design of Engineering Systems","year":"1961","author":"paynter","key":"ref49"},{"journal-title":"The Constructive Semantics of Pure Esterel","year":"1999","author":"berry","key":"ref9"},{"key":"ref46","first-page":"45","article-title":"Collision handling for the Modelica multibody library","author":"otter","year":"2005","journal-title":"Proc 4th Int Modelica Conf"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2013.2295764"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1137\/0909014"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.3384\/ecp09430108"},{"key":"ref42","article-title":"A hyperdense semantic domain for discontinuous behavior in physical system models","author":"mosterman","year":"2013","journal-title":"Proc Multi-Paradigm Model (MPM)"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/S0016-0032(96)00126-3"},{"key":"ref44","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1093\/oso\/9780199278183.003.0002","article-title":"Causation as folk science","author":"norton","year":"2007","journal-title":"Causation Physics and the Constitution of Reality"},{"article-title":"SPICE (simulation program with integrated circuit emphasis)","year":"1973","author":"nagel","key":"ref43"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/6705689\/06873221.pdf?arnumber=6873221","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T01:19:09Z","timestamp":1717204749000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6873221\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"references-count":57,"URL":"https:\/\/doi.org\/10.1109\/access.2014.2345759","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2014]]}}}