{"id":"https://openalex.org/W2101232706","doi":"https://doi.org/10.1109/access.2014.2345759","title":"Constructive Models of Discrete and Continuous Physical Phenomena","display_name":"Constructive Models of Discrete and Continuous Physical Phenomena","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2101232706","doi":"https://doi.org/10.1109/access.2014.2345759","mag":"2101232706"},"language":"en","primary_location":{"id":"doi:10.1109/access.2014.2345759","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2014.2345759","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6705689/06873221.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/6705689/06873221.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009831760","display_name":"Edward A. Lee","orcid":"https://orcid.org/0000-0002-5663-0584"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Edward A. Lee","raw_affiliation_strings":["Department of Electrical and Engineering Computer Sciences, University of California at Berkeley, Berkeley, CA, USA","ORCiD"],"raw_orcid":"https://orcid.org/0000-0002-5663-0584","affiliations":[{"raw_affiliation_string":"Department of Electrical and Engineering Computer Sciences, University of California at Berkeley, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"ORCiD","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5009831760"],"corresponding_institution_ids":["https://openalex.org/I95457486"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":6.4685,"has_fulltext":true,"cited_by_count":44,"citation_normalized_percentile":{"value":0.96992349,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"2","issue":null,"first_page":"797","last_page":"821"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13286","display_name":"Modeling and Simulation Systems","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.7596442699432373},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7171877026557922},{"id":"https://openalex.org/keywords/physical-system","display_name":"Physical system","score":0.5829054117202759},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5435817241668701},{"id":"https://openalex.org/keywords/physical-law","display_name":"Physical law","score":0.4607236683368683},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4567207098007202},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4512540102005005},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18516558408737183},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.11655613780021667},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.09611791372299194}],"concepts":[{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.7596442699432373},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7171877026557922},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.5829054117202759},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5435817241668701},{"id":"https://openalex.org/C194583477","wikidata":"https://www.wikidata.org/wiki/Q408891","display_name":"Physical law","level":2,"score":0.4607236683368683},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4567207098007202},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4512540102005005},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18516558408737183},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.11655613780021667},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.09611791372299194},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/access.2014.2345759","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2014.2345759","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6705689/06873221.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:005338691c664c95bd2dadc5c316c523","is_oa":true,"landing_page_url":"https://doaj.org/article/005338691c664c95bd2dadc5c316c523","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 2, Pp 797-821 (2014)","raw_type":"article"},{"id":"pmh:oai:escholarship.org/ark:/13030/qt5d24w5jw","is_oa":false,"landing_page_url":"https://escholarship.org/uc/item/5d24w5jw","pdf_url":null,"source":{"id":"https://openalex.org/S4306400115","display_name":"eScholarship (California Digital Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2801248553","host_organization_name":"California Digital Library","host_organization_lineage":["https://openalex.org/I2801248553"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"},{"id":"pmh:qt5d24w5jw","is_oa":false,"landing_page_url":"http://www.escholarship.org/uc/item/5d24w5jw","pdf_url":null,"source":{"id":"https://openalex.org/S4306400115","display_name":"eScholarship (California Digital Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2801248553","host_organization_name":"California Digital Library","host_organization_lineage":["https://openalex.org/I2801248553"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lee, EA. (2014). Constructive Models of Discrete and Continuous Physical Phenomena. IEEE ACCESS, 2, 797 - 821. doi: 10.1109/ACCESS.2014.2345759. UC Berkeley: Retrieved from: http://www.escholarship.org/uc/item/5d24w5jw","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2014.2345759","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2014.2345759","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6705689/06873221.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G298080217","display_name":"CPS: Large: ActionWebs","funder_award_id":"0931843","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3857850046","display_name":null,"funder_award_id":"N0013-12-1-G015","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G4207775169","display_name":null,"funder_award_id":"N0013-12-1-G015","funder_id":"https://openalex.org/F4320337628","funder_display_name":"U.S. Naval Research Laboratory"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320337628","display_name":"U.S. Naval Research Laboratory","ror":"https://ror.org/04d23a975"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2101232706.pdf","grobid_xml":"https://content.openalex.org/works/W2101232706.grobid-xml"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W66289639","https://openalex.org/W137744920","https://openalex.org/W333252456","https://openalex.org/W635058499","https://openalex.org/W1483834314","https://openalex.org/W1507695589","https://openalex.org/W1512417606","https://openalex.org/W1519701469","https://openalex.org/W1522992359","https://openalex.org/W1530901031","https://openalex.org/W1549644356","https://openalex.org/W1554228597","https://openalex.org/W1555104280","https://openalex.org/W1585912566","https://openalex.org/W1823037702","https://openalex.org/W1841557491","https://openalex.org/W1885037678","https://openalex.org/W1942707058","https://openalex.org/W1959069981","https://openalex.org/W1963975008","https://openalex.org/W1978110380","https://openalex.org/W1978113628","https://openalex.org/W1978438088","https://openalex.org/W1978909743","https://openalex.org/W1983438352","https://openalex.org/W1984563958","https://openalex.org/W1991698050","https://openalex.org/W2000836282","https://openalex.org/W2004463571","https://openalex.org/W2029294123","https://openalex.org/W2039994115","https://openalex.org/W2076345644","https://openalex.org/W2093397547","https://openalex.org/W2098885896","https://openalex.org/W2099529102","https://openalex.org/W2101808924","https://openalex.org/W2103684726","https://openalex.org/W2104673546","https://openalex.org/W2113239343","https://openalex.org/W2114781590","https://openalex.org/W2117166466","https://openalex.org/W2119355229","https://openalex.org/W2125415493","https://openalex.org/W2149466802","https://openalex.org/W2159542925","https://openalex.org/W2159756676","https://openalex.org/W2163862895","https://openalex.org/W2165550854","https://openalex.org/W2294350777","https://openalex.org/W2793366120","https://openalex.org/W2981211355","https://openalex.org/W3043074253","https://openalex.org/W3141112769","https://openalex.org/W3148930403","https://openalex.org/W4246404081","https://openalex.org/W4388357269","https://openalex.org/W6611442388","https://openalex.org/W6630717248","https://openalex.org/W6631764527","https://openalex.org/W6638854470","https://openalex.org/W6639600413","https://openalex.org/W6675811592","https://openalex.org/W6677921698","https://openalex.org/W6697215298","https://openalex.org/W6749921928"],"related_works":["https://openalex.org/W3037664319","https://openalex.org/W2945599743","https://openalex.org/W3149970480","https://openalex.org/W1659546960","https://openalex.org/W4252762046","https://openalex.org/W1577064658","https://openalex.org/W170013976","https://openalex.org/W2386652184","https://openalex.org/W2543363198","https://openalex.org/W4280625105"],"abstract_inverted_index":{"This":[0,21,97],"paper":[1,22,98,167],"studies":[2],"the":[3,27,75,81,84,91,94,114,124,130,150,171],"semantics":[4,37],"of":[5,72,74,83,93,113,129,152],"models":[6,76,112,121,135,164],"for":[7,61],"discrete":[8],"physical":[9,55,85,116,161],"phenomena,":[10],"such":[11,49,133],"as":[12,65],"rigid":[13],"body":[14],"collisions":[15],"and":[16,35,44,68,175,178],"switching":[17],"in":[18,80,146,165,170],"electronic":[19],"circuits.":[20],"combines":[23],"generalized":[24],"functions":[25],"(specifically":[26],"Dirac":[28],"delta":[29],"function),":[30],"superdense":[31],"time,":[32],"modal":[33],"models,":[34,67],"constructive":[36,70],"to":[38,47,126,156],"get":[39],"a":[40,138],"rich,":[41],"flexible,":[42],"efficient,":[43],"rigorous":[45],"approach":[46],"modeling":[48,62,102,153,174],"systems.":[50],"It":[51],"shows":[52],"that":[53,57,69,87,100],"many":[54],"scenarios":[56],"have":[58],"been":[59],"problematic":[60],"techniques":[63],"manifest":[64],"nonconstructive":[66],"versions":[71],"some":[73],"properly":[77],"reflect":[78],"uncertainty":[79,125],"behavior":[82],"systems":[86],"plausibly":[88],"arise":[89],"from":[90],"principles":[92],"underlying":[95,115],"physics.":[96],"argues":[99],"these":[101,158],"difficulties":[103],"are":[104,168],"not":[105],"reasonably":[106],"solved":[107],"by":[108],"more":[109,119,159],"detailed":[110,120,134,160],"continuous":[111],"phenomena.":[117],"Such":[118],"simply":[122],"shift":[123],"other":[127],"aspects":[128],"model.":[131],"Since":[132],"come":[136],"with":[137],"high":[139],"computational":[140],"cost,":[141],"there":[142],"is":[143,154],"little":[144],"justification":[145],"using":[147],"them":[148],"unless":[149],"goal":[151],"specifically":[155],"understand":[157],"processes.":[162],"All":[163],"this":[166],"implemented":[169],"Ptolemy":[172],"II":[173],"simulation":[176],"environment":[177],"made":[179],"available":[180],"online.":[181]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":8},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":8},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}