{"id":"https://openalex.org/W2587835409","doi":"https://doi.org/10.1109/liss.2016.7854561","title":"Declarative modeling cases of cyber physical systems","display_name":"Declarative modeling cases of cyber physical systems","publication_year":2016,"publication_date":"2016-07-01","ids":{"openalex":"https://openalex.org/W2587835409","doi":"https://doi.org/10.1109/liss.2016.7854561","mag":"2587835409"},"language":"en","primary_location":{"id":"doi:10.1109/liss.2016.7854561","is_oa":false,"landing_page_url":"https://doi.org/10.1109/liss.2016.7854561","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 International Conference on Logistics, Informatics and Service Sciences (LISS)","raw_type":"proceedings-article"},"type":"article","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/A5088432110","display_name":"Wei Ding","orcid":"https://orcid.org/0000-0002-3383-551X"},"institutions":[{"id":"https://openalex.org/I32480017","display_name":"Florida Polytechnic University","ror":"https://ror.org/01e5mdj42","country_code":"US","type":"education","lineage":["https://openalex.org/I32480017"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Wei Ding","raw_affiliation_strings":["Florida Polytechnic University, Lakeland, USA"],"affiliations":[{"raw_affiliation_string":"Florida Polytechnic University, Lakeland, USA","institution_ids":["https://openalex.org/I32480017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024191541","display_name":"William Engel","orcid":null},"institutions":[{"id":"https://openalex.org/I32480017","display_name":"Florida Polytechnic University","ror":"https://ror.org/01e5mdj42","country_code":"US","type":"education","lineage":["https://openalex.org/I32480017"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"William Engel","raw_affiliation_strings":["Florida Polytechnic University, Lakeland, USA"],"affiliations":[{"raw_affiliation_string":"Florida Polytechnic University, Lakeland, USA","institution_ids":["https://openalex.org/I32480017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019914576","display_name":"Andre Goode","orcid":null},"institutions":[{"id":"https://openalex.org/I32480017","display_name":"Florida Polytechnic University","ror":"https://ror.org/01e5mdj42","country_code":"US","type":"education","lineage":["https://openalex.org/I32480017"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andre Goode","raw_affiliation_strings":["Florida Polytechnic University, Lakeland, USA"],"affiliations":[{"raw_affiliation_string":"Florida Polytechnic University, Lakeland, USA","institution_ids":["https://openalex.org/I32480017"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036714098","display_name":"Giovanni Santostasi","orcid":null},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Giovanni Santostasi","raw_affiliation_strings":["Northwestern University, Chicago, USA"],"affiliations":[{"raw_affiliation_string":"Northwestern University, Chicago, USA","institution_ids":["https://openalex.org/I111979921"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5088432110"],"corresponding_institution_ids":["https://openalex.org/I32480017"],"apc_list":null,"apc_paid":null,"fwci":0.3485,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.70157068,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"34","issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.996999979019165,"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"}},{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8505384922027588},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.749182403087616},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.5911445617675781},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.5809609293937683},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5796158313751221},{"id":"https://openalex.org/keywords/aerospace","display_name":"Aerospace","score":0.4845368266105652},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.40023303031921387},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3641946017742157},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.34389883279800415},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.16988545656204224},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13857728242874146}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.8505384922027588},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.749182403087616},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.5911445617675781},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.5809609293937683},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5796158313751221},{"id":"https://openalex.org/C167740415","wikidata":"https://www.wikidata.org/wiki/Q2876213","display_name":"Aerospace","level":2,"score":0.4845368266105652},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.40023303031921387},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3641946017742157},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.34389883279800415},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.16988545656204224},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13857728242874146},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/liss.2016.7854561","is_oa":false,"landing_page_url":"https://doi.org/10.1109/liss.2016.7854561","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 International Conference on Logistics, Informatics and Service Sciences (LISS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6600000262260437,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":55,"referenced_works":["https://openalex.org/W3986271","https://openalex.org/W24056068","https://openalex.org/W1535996098","https://openalex.org/W1539142478","https://openalex.org/W1575661665","https://openalex.org/W1749713674","https://openalex.org/W1819216168","https://openalex.org/W1965272459","https://openalex.org/W1971962972","https://openalex.org/W1975348168","https://openalex.org/W1976050737","https://openalex.org/W1977316278","https://openalex.org/W2022649085","https://openalex.org/W2038074450","https://openalex.org/W2042780115","https://openalex.org/W2062829369","https://openalex.org/W2072962100","https://openalex.org/W2073904762","https://openalex.org/W2077099824","https://openalex.org/W2078237437","https://openalex.org/W2083966857","https://openalex.org/W2099933231","https://openalex.org/W2101024916","https://openalex.org/W2105170773","https://openalex.org/W2106355650","https://openalex.org/W2130442140","https://openalex.org/W2131862387","https://openalex.org/W2136575791","https://openalex.org/W2139452643","https://openalex.org/W2139616859","https://openalex.org/W2140299844","https://openalex.org/W2141308526","https://openalex.org/W2142240692","https://openalex.org/W2143075222","https://openalex.org/W2144014493","https://openalex.org/W2145521016","https://openalex.org/W2149713648","https://openalex.org/W2151250495","https://openalex.org/W2157937308","https://openalex.org/W2169239645","https://openalex.org/W2170794871","https://openalex.org/W2242823443","https://openalex.org/W2322346655","https://openalex.org/W2336113587","https://openalex.org/W2339351027","https://openalex.org/W2520858206","https://openalex.org/W4205945437","https://openalex.org/W4237397829","https://openalex.org/W4242692807","https://openalex.org/W4296313421","https://openalex.org/W6631907502","https://openalex.org/W6637879954","https://openalex.org/W6660133213","https://openalex.org/W6685611305","https://openalex.org/W6690474065"],"related_works":["https://openalex.org/W4225795411","https://openalex.org/W2809744190","https://openalex.org/W2511013388","https://openalex.org/W2044192478","https://openalex.org/W2064861618","https://openalex.org/W4378695326","https://openalex.org/W29956273","https://openalex.org/W2356599848","https://openalex.org/W3021648695","https://openalex.org/W1974379742"],"abstract_inverted_index":{"A":[0,90],"Cyber-physical":[1],"system":[2,7],"(CPS)":[3],"is":[4,45],"an":[5],"engineering":[6,56],"made":[8],"of":[9,49,69,107,122,135],"computational":[10],"components,":[11],"i.e.":[12],"cyber":[13,109],"elements,":[14,17],"and":[15,54,75,105,110,120,138],"physical":[16,111],"that":[18],"are":[19,127,141],"connected":[20],"by":[21],"a":[22],"communication":[23],"network.":[24],"CPSs":[25,60],"have":[26,61],"emerged":[27],"as":[28,38],"the":[29,47,80,84,118,123],"contemporarily":[30],"leading":[31],"technology":[32],"in":[33,87,98,113,129],"major":[34],"industry":[35],"sectors":[36],"such":[37],"manufacture,":[39],"aerospace,":[40],"automotive,":[41],"etc.":[42],"Nowadays":[43],"CPS":[44,88],"almost":[46],"synonym":[48],"control":[50,140],"systems":[51],"for":[52],"large":[53],"complex":[55],"systems.":[57],"In":[58,115,131],"addition,":[59,132],"inevitably":[62],"interweaved":[63],"with":[64,143],"new":[65],"technologies":[66],"like":[67],"Internet":[68],"Things,":[70],"cloud":[71],"computing,":[72,74],"ubiquitous":[73],"big":[76],"data":[77],"processing.":[78],"Taming":[79],"complexity":[81],"has":[82],"been":[83],"key":[85],"challenge":[86],"design.":[89],"novel":[91],"declarative":[92,125,136,139],"computing":[93],"based":[94],"platform":[95,126],"was":[96],"proposed":[97,124],"our":[99],"previous":[100],"paper":[101],"to":[102],"unify":[103],"modeling":[104,133],"design":[106],"both":[108],"components":[112],"CPSs.":[114],"this":[116],"paper,":[117],"concepts":[119],"principles":[121],"depicted":[128],"details.":[130],"techniques":[134],"networking":[137],"showcased":[142],"concrete":[144],"simulation":[145],"examples.":[146]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}