{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:13:35Z","timestamp":1771697615634,"version":"3.50.1"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/emsoft.2015.7318266","type":"proceedings-article","created":{"date-parts":[[2015,11,9]],"date-time":"2015-11-09T17:52:50Z","timestamp":1447091570000},"page":"115-124","source":"Crossref","is-referenced-by-count":24,"title":["Modeling and simulating cyber-physical systems using CyPhySim"],"prefix":"10.1109","author":[{"given":"Edward A.","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehrdad","family":"Niknami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry S.","family":"Nouidui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Wetter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018998524196"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2014.2345759"},{"key":"ref12","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":"ref13","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-540-31954-2_2","article-title":"Operational semantics of hybrid systems","volume":"lncs 3414","author":"lee","year":"2005","journal-title":"Hybrid Systems Computation and Control (HSCC)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289949"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36580-X_25"},{"key":"ref16","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 REX Workshop"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40229-6_13"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2013.03.004"},{"key":"ref19","article-title":"Modelica Association. Functional mock-up interface for model exchange and co-simulation","year":"2014","journal-title":"Version 2 0 Research Report"},{"key":"ref4","article-title":"Continuous-time models","author":"cardoso","year":"2014","journal-title":"System Design Modeling and Simulation Using Ptolemy II"},{"key":"ref27","author":"zeigler","year":"2000","journal-title":"Theory of Modeling and Simulation"},{"key":"ref3","article-title":"Requirements for hybrid cosimulation standards","author":"broman","year":"0","journal-title":"Hybrid Systems Computation and Control (HSCC)"},{"key":"ref6","author":"cellier","year":"2006","journal-title":"Continuous System Simulation"},{"key":"ref5","author":"cassandras","year":"1993","journal-title":"Discrete Event Systems Modeling and Performance Analysis"},{"key":"ref8","article-title":"Discretizing time or states? a comparative study between dassl and qss - work in progress paper","author":"floros","year":"0","journal-title":"Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT) (2010)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3552-9"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658580"},{"key":"ref9","first-page":"2","article-title":"Quantized-state systems: A DEVS approach for continuous system simulation","volume":"1","author":"kofman","year":"2001","journal-title":"Transactions of The Society for Modeling and Simulation International"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.3384\/ecp14096693"},{"key":"ref20","article-title":"Spice (simulation program with integrated circuit emphasis)","author":"nagel","year":"1973","journal-title":"Technical memorandum Electronics Research Laboratory University of California Berkeley"},{"key":"ref22","author":"paynter","year":"1961","journal-title":"Analysis and Design of Engineering Systems"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1137\/0909014"},{"key":"ref24","first-page":"259","article-title":"Co-simulating Event-B and continuous models via FMI","author":"savicks","year":"2014","journal-title":"Summer Simulation Multi-Conference (SummerSim)"},{"key":"ref23","article-title":"System Design, Modeling, and Simulation using Ptolemy II","author":"ptolemaeus","year":"2014","journal-title":"Ptolemy org Berkeley CA"},{"key":"ref26","first-page":"49","article-title":"Theory of quantized systems: Formal basis for DEVS\/HLA distributed simulation environment","volume":"3369","author":"zeigler","year":"0","journal-title":"SPIE Conference on Enabling Technology for Simulation Science (1998) vol SPIE"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1561-6"}],"event":{"name":"2015 International Conference on Embedded Software (EMSOFT)","location":"Amsterdam, Netherlands","start":{"date-parts":[[2015,10,4]]},"end":{"date-parts":[[2015,10,9]]}},"container-title":["2015 International Conference on Embedded Software (EMSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7313572\/7318008\/07318266.pdf?arnumber=7318266","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T19:14:41Z","timestamp":1498245281000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7318266\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2015.7318266","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}