{"id":"https://openalex.org/W2090836972","doi":"https://doi.org/10.1145/2593458.2593463","title":"Towards a theory for cyber-physical systems modeling","display_name":"Towards a theory for cyber-physical systems modeling","publication_year":2014,"publication_date":"2014-04-08","ids":{"openalex":"https://openalex.org/W2090836972","doi":"https://doi.org/10.1145/2593458.2593463","mag":"2090836972"},"language":"en","primary_location":{"id":"doi:10.1145/2593458.2593463","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2593458.2593463","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050938071","display_name":"Gabor Simko","orcid":null},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gabor Simko","raw_affiliation_strings":["Vanderbilt University, Nashville, TN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, TN","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074203243","display_name":"Tiham\u00e9r Levendovszky","orcid":null},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tihamer Levendovszky","raw_affiliation_strings":["Vanderbilt University, Nashville, TN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, TN","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015747959","display_name":"Mikl\u00f3s Mar\u00f3ti","orcid":"https://orcid.org/0000-0002-3326-2512"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Miklos Maroti","raw_affiliation_strings":["Vanderbilt University, Nashville, TN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, TN","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013237840","display_name":"J\u00e1nos Sztipanovits","orcid":"https://orcid.org/0000-0002-8360-6299"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Janos Sztipanovits","raw_affiliation_strings":["Vanderbilt University, Nashville, TN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, TN","institution_ids":["https://openalex.org/I200719446"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I200719446"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"56","last_page":"61"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"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.9998000264167786,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9980000257492065,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9905999898910522,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/cyber-physical-system","display_name":"Cyber-physical system","score":0.8292433023452759},{"id":"https://openalex.org/keywords/causality","display_name":"Causality (physics)","score":0.7627343535423279},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.7587568759918213},{"id":"https://openalex.org/keywords/physical-system","display_name":"Physical system","score":0.6932892203330994},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6525406837463379},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6107795238494873},{"id":"https://openalex.org/keywords/physical-law","display_name":"Physical law","score":0.5374579429626465},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47129857540130615},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.43589144945144653},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2233332395553589},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09337559342384338}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.8292433023452759},{"id":"https://openalex.org/C64357122","wikidata":"https://www.wikidata.org/wiki/Q1149766","display_name":"Causality (physics)","level":2,"score":0.7627343535423279},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.7587568759918213},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.6932892203330994},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6525406837463379},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6107795238494873},{"id":"https://openalex.org/C194583477","wikidata":"https://www.wikidata.org/wiki/Q408891","display_name":"Physical law","level":2,"score":0.5374579429626465},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47129857540130615},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.43589144945144653},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2233332395553589},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09337559342384338},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2593458.2593463","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2593458.2593463","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5351290411","display_name":null,"funder_award_id":"CNS-1035655","funder_id":"https://openalex.org/F4320337388","funder_display_name":"Division of Computer and Network Systems"},{"id":"https://openalex.org/G5522231757","display_name":null,"funder_award_id":"TAMOP-4.2.2.C-11/1/KONV-2012-0013","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"}],"funders":[{"id":"https://openalex.org/F4320337388","display_name":"Division of Computer and Network Systems","ror":"https://ror.org/02rdzmk74"},{"id":"https://openalex.org/F4320338080","display_name":"European Social Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W67767776","https://openalex.org/W143863397","https://openalex.org/W158423033","https://openalex.org/W407097379","https://openalex.org/W1512910073","https://openalex.org/W1542375738","https://openalex.org/W1552098139","https://openalex.org/W1576874213","https://openalex.org/W1578262153","https://openalex.org/W1756169151","https://openalex.org/W1803216217","https://openalex.org/W1823037702","https://openalex.org/W1978110380","https://openalex.org/W2090950090","https://openalex.org/W2098346263","https://openalex.org/W2099165995","https://openalex.org/W2119355229","https://openalex.org/W2127335869","https://openalex.org/W2133038101","https://openalex.org/W2148443868","https://openalex.org/W2149466802","https://openalex.org/W2156938039","https://openalex.org/W2165550854","https://openalex.org/W2294350777","https://openalex.org/W2340141392","https://openalex.org/W2404118354","https://openalex.org/W6634521841","https://openalex.org/W6703974116"],"related_works":["https://openalex.org/W2994120531","https://openalex.org/W2108326965","https://openalex.org/W2756692340","https://openalex.org/W2086962923","https://openalex.org/W3099113830","https://openalex.org/W4229048927","https://openalex.org/W190251865","https://openalex.org/W2152192540","https://openalex.org/W3017360834","https://openalex.org/W2133522624"],"abstract_inverted_index":{"Modeling":[0],"the":[1,20,41,54,64,72,83,112],"heterogeneous":[2],"composition":[3,113],"of":[4,23,43,66,82,104,114],"physical,":[5],"computational":[6,57,107],"and":[7,29,58,68,77,101],"communication":[8,59],"systems":[9,45,60],"is":[10,75,102],"an":[11],"important":[12],"challenge":[13],"in":[14],"engineering":[15],"Cyber-Physical":[16],"Systems":[17],"(CPS),":[18],"where":[19],"major":[21],"sources":[22],"heterogeneity":[24],"are":[25,46,61],"causality,":[26],"time":[27],"semantics,":[28],"different":[30],"physical":[31,34,44,96],"domains.":[32],"Classical":[33],"laws":[35],"capture":[36],"acausal":[37,50,95],"continuous-time":[38,51],"dynamics,":[39],"thus":[40],"behavior":[42],"inherently":[47],"characterized":[48],"by":[49],"equations.":[52],"On":[53],"other":[55],"hand,":[56],"based":[62],"on":[63],"notion":[65],"causality":[67],"discrete-time":[69],"semantics.":[70],"Connecting":[71],"two":[73],"worlds":[74],"challenging,":[76],"calls":[78],"for":[79],"proper":[80],"formalization":[81],"composition.":[84],"In":[85],"this":[86],"paper,":[87],"we":[88],"discuss":[89],"a":[90],"formalism":[91],"that":[92],"captures":[93],"both":[94],"laws,":[97],"unidirectional":[98],"analog":[99],"signals,":[100],"capable":[103],"describing":[105],"causal":[106],"systems,":[108],"as":[109,111],"well":[110],"CPS":[115],"models.":[116]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}