{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T19:04:29Z","timestamp":1770145469289,"version":"3.49.0"},"reference-count":28,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2016,11,9]],"date-time":"2016-11-09T00:00:00Z","timestamp":1478649600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1446619 (Mathematical Theory of CPS), 1329759 (COSMOI), 0931843 (ActionWebs), 0720882 (CSR-EHS: PRET) and 1035672 (CPS: Medium: Timing Centric Software)"],"award-info":[{"award-number":["1446619 (Mathematical Theory of CPS), 1329759 (COSMOI), 0931843 (ActionWebs), 0720882 (CSR-EHS: PRET) and 1035672 (CPS: Medium: Timing Centric Software)"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"IBM and United Technologies"},{"name":"Center for Hybrid and Embedded Software Systems (CHESS) at UC Berkeley"},{"name":"STARnet phase of the Focus Center Research Program"},{"name":"Semiconductor Research Corporation program sponsored by MARCO and DARPA"},{"name":"iCyPhy Research Center"},{"name":"Denso, IHI, National Instruments and Toyota"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2017,1,31]]},"abstract":"<jats:p>This article examines the role of modeling in the engineering of cyber-physical systems. It argues that the role that models play in engineering is different from the role they play in science, and that this difference should direct us to use a different class of models, where simplicity and clarity of semantics dominate over accuracy and detail. I argue that determinism in models used for engineering is a valuable property and should be preserved whenever possible, regardless of whether the system being modeled is deterministic. I then identify three classes of fundamental limits on modeling, specifically chaotic behavior, the inability of computers to numerically handle a continuum, and the incompleteness of determinism. The last of these has profound consequences.<\/jats:p>","DOI":"10.1145\/2912149","type":"journal-article","created":{"date-parts":[[2017,2,3]],"date-time":"2017-02-03T10:19:26Z","timestamp":1486117166000},"page":"1-26","source":"Crossref","is-referenced-by-count":66,"title":["Fundamental Limits of Cyber-Physical Systems Modeling"],"prefix":"10.1145","volume":"1","author":[{"given":"Edward A.","family":"Lee","sequence":"first","affiliation":[{"name":"EECS Department, UC Berkeley, Berkeley, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,11,9]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Gerard Berry. 1999. The Constructive Semantics of Pure Esterel. Draft book version 3. Available at http:\/\/www-sop.inria.fr\/meije\/esterel\/doc\/main-papers.html."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/17317"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728629"},{"key":"e_1_2_1_4_1","volume-title":"Cellier and Ernesto Kofman","author":"Fran\u00e7ois","year":"2006","unstructured":"Fran\u00e7ois E. Cellier and Ernesto Kofman. 2006. Continuous System Simulation. Springer."},{"key":"e_1_2_1_5_1","volume-title":"Finite State Machines. Ptolemy.org","author":"Feng Thomas Huining","unstructured":"Thomas Huining Feng, Edward A. Lee, Xiaojun Liu, Christian Motika, Reinhard von Hanxleden, and Haiyang Zheng. 2014. Finite State Machines. Ptolemy.org, Berkeley, CA. http:\/\/ptolemy.org\/books\/Systems."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","unstructured":"Carlo A. Furia Dino Mandrioli Angelo Morzenti and Matteo Rossi. 2010. Modeling time in computing: A taxonomy and a comparative survey. ACM Computing Surveys 42 2 6:1--6:59. 10.1145\/1667062.1667063","DOI":"10.1145\/1667062.1667063"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1971.5216113"},{"key":"e_1_2_1_8_1","volume-title":"Coroutines and networks of parallel processes","author":"Kahn G.","unstructured":"G. Kahn and D. B. MacQueen. 1977. Coroutines and networks of parallel processes. In Information Processing, B. Gilchrist (Ed.). North-Holland Publishing, 993--998."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018998524196"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2014.2345759"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.3390\/s150304837"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2830865.2830878"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT\u201910)","author":"Edward","unstructured":"Edward A. Lee and Stavros Tripakis. 2010. Modal models in Ptolemy. In Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT\u201910). 11--21. http:\/\/chess.eecs.berkeley.edu\/pubs\/700.html."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289949"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40229-6_13"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0144-6"},{"key":"e_1_2_1_18_1","unstructured":"Modelica Association. 2014. Functional Mock-up Interface for Model Exchange and Co-Simulation. Report Version 2.0. Available at https:\/\/www.fmi-standard.org\/downloads."},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the 9th Qualitative Reasoning Workshop. 139--147","author":"Pieter","unstructured":"Pieter J. Mosterman and Gautam Biswas. 1995. Modeling discontinuous behavior with hybrid bond graphs. In Proceedings of the 9th Qualitative Reasoning Workshop. 139--147."},{"key":"e_1_2_1_20_1","volume-title":"Causation, Physics, and the Constitution of Reality","author":"Norton John D.","unstructured":"John D. Norton. 2007. Causation as folk science. In Causation, Physics, and the Constitution of Reality, H. Price and R. Corry (Eds.). Clarendon Press, Oxford, England, 11--44."},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the Modelica Conference. 45--53","author":"Otter Martin","year":"2005","unstructured":"Martin Otter, Hilding Elmqvist, and Jos\u00e9 Daz L\u00f3pez. 2005. Collision handling for the Modelica multibody library. In Proceedings of the Modelica Conference. 45--53. http:\/\/elib.dlr.de\/12299\/1\/otter2005-modelica-collision.pdf."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1137\/0909014"},{"key":"e_1_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Huw Price and Richard Corry (Eds.). 2007. Causation Physics and the Constitution of Reality. Clarendon Press Oxford England.","DOI":"10.1093\/oso\/9780199278183.001.0001"},{"key":"e_1_2_1_24_1","unstructured":"Claudius Ptolemaeus (Ed.). 2014. System Design Modeling and Simulation using Ptolemy II. Ptolemy.org Berkeley CA. http:\/\/ptolemy.org\/books\/Systems."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0036144599360110"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/2830865.2830868"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1561-6"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_42"}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2912149","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2912149","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2912149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:40:26Z","timestamp":1763458826000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2912149"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,9]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1,31]]}},"alternative-id":["10.1145\/2912149"],"URL":"https:\/\/doi.org\/10.1145\/2912149","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"value":"2378-962X","type":"print"},{"value":"2378-9638","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11,9]]}}}