{"id":"https://openalex.org/W3203094162","doi":"https://doi.org/10.15439/2021f125","title":"Towards Energy-aware Cyber-Physical Systems Verification and Optimization","display_name":"Towards Energy-aware Cyber-Physical Systems Verification and Optimization","publication_year":2021,"publication_date":"2021-09-26","ids":{"openalex":"https://openalex.org/W3203094162","doi":"https://doi.org/10.15439/2021f125","mag":"3203094162"},"language":"en","primary_location":{"id":"doi:10.15439/2021f125","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2021f125","pdf_url":"https://annals-csis.org/proceedings/2021/drp/pdf/125.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://annals-csis.org/proceedings/2021/drp/pdf/125.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050711470","display_name":"Reza Soltani","orcid":"https://orcid.org/0000-0003-4585-1602"},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]},{"id":"https://openalex.org/I184886455","display_name":"Maersk (Denmark)","ror":"https://ror.org/046gbzb64","country_code":"DK","type":"company","lineage":["https://openalex.org/I184886455"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Reza Soltani","raw_affiliation_strings":["University of Southern Denmark The Maersk Mc-Kinney Mller Institute SDU Software Engineering, Odense, Denmark","University of Southern Denmark The Maersk Mc-Kinney M\u00f8ller Institute SDU Software Engineering, Odense, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Southern Denmark The Maersk Mc-Kinney Mller Institute SDU Software Engineering, Odense, Denmark","institution_ids":["https://openalex.org/I184886455"]},{"raw_affiliation_string":"University of Southern Denmark The Maersk Mc-Kinney M\u00f8ller Institute SDU Software Engineering, Odense, Denmark","institution_ids":["https://openalex.org/I184886455","https://openalex.org/I177969490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004303721","display_name":"Eun-Young Kang","orcid":"https://orcid.org/0000-0002-4589-2378"},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]},{"id":"https://openalex.org/I184886455","display_name":"Maersk (Denmark)","ror":"https://ror.org/046gbzb64","country_code":"DK","type":"company","lineage":["https://openalex.org/I184886455"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Eun-Young Kang","raw_affiliation_strings":["University of Southern Denmark The Maersk Mc-Kinney Mller Institute SDU Software Engineering, Odense, Denmark","University of Southern Denmark The Maersk Mc-Kinney M\u00f8ller Institute SDU Software Engineering, Odense, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Southern Denmark The Maersk Mc-Kinney Mller Institute SDU Software Engineering, Odense, Denmark","institution_ids":["https://openalex.org/I184886455"]},{"raw_affiliation_string":"University of Southern Denmark The Maersk Mc-Kinney M\u00f8ller Institute SDU Software Engineering, Odense, Denmark","institution_ids":["https://openalex.org/I184886455","https://openalex.org/I177969490"]}]},{"author_position":"last","author":{"id":null,"display_name":"Juan Esteban Heredia Mena","orcid":null},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]},{"id":"https://openalex.org/I184886455","display_name":"Maersk (Denmark)","ror":"https://ror.org/046gbzb64","country_code":"DK","type":"company","lineage":["https://openalex.org/I184886455"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Juan Esteban Heredia Mena","raw_affiliation_strings":["University of Southern Denmark The Maersk Mc-Kinney M\u00f8ller Institute SDU Software Engineering, Odense, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Southern Denmark The Maersk Mc-Kinney M\u00f8ller Institute SDU Software Engineering, Odense, Denmark","institution_ids":["https://openalex.org/I184886455","https://openalex.org/I177969490"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.612,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.90537802,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"26","issue":null,"first_page":"205","last_page":"210"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9987000226974487,"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"}},"topics":[{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9987000226974487,"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"}},{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9965999722480774,"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/computer-science","display_name":"Computer science","score":0.751213550567627},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.6802310943603516},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.6672636866569519},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5071980953216553},{"id":"https://openalex.org/keywords/energy-consumption","display_name":"Energy consumption","score":0.49543988704681396},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.46140968799591064},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.445687860250473},{"id":"https://openalex.org/keywords/energy","display_name":"Energy (signal processing)","score":0.4259622097015381},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10426521301269531}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.751213550567627},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.6802310943603516},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.6672636866569519},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5071980953216553},{"id":"https://openalex.org/C2780165032","wikidata":"https://www.wikidata.org/wiki/Q16869822","display_name":"Energy consumption","level":2,"score":0.49543988704681396},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.46140968799591064},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.445687860250473},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.4259622097015381},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10426521301269531},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","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/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.15439/2021f125","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2021f125","pdf_url":"https://annals-csis.org/proceedings/2021/drp/pdf/125.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:sdu.dk:openaire/9538f8d7-b54b-4884-bbf3-50b5c927f458","is_oa":true,"landing_page_url":"https://portal.findresearcher.sdu.dk/da/publications/9538f8d7-b54b-4884-bbf3-50b5c927f458","pdf_url":"https://findresearcher.sdu.dk/ws/files/203658329/125.pdf","source":{"id":"https://openalex.org/S4306400424","display_name":"University of Southern Denmark Research Portal (University of Southern Denmark)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177969490","host_organization_name":"University of Southern Denmark","host_organization_lineage":["https://openalex.org/I177969490"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Soltani, R, Kang, E-Y & Heredia Mena, J E 2021, Towards Energy-aware Cyber-Physical Systems Verification and Optimization. in Position and Communication Papers of the 16th Conference on Computer Science and Intelligence Systems. vol. 26, Polish Information Processing Society, Annals of Computer Science and Information Systems, vol. 26, pp. 205-210, 16th Conference on Computer Science and Intelligence Systems, FedCSIS 2021, Virtual, Sofia, Bulgaria, 02/09/2021. https://doi.org/10.15439/2021F125","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:doaj.org/article:f3900e863155407ab089a5a8e517bc94","is_oa":false,"landing_page_url":"https://doaj.org/article/f3900e863155407ab089a5a8e517bc94","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Annals of computer science and information systems, Vol 26, Pp 205-210 (2021)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.15439/2021f125","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2021f125","pdf_url":"https://annals-csis.org/proceedings/2021/drp/pdf/125.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.8500000238418579,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3203094162.pdf","grobid_xml":"https://content.openalex.org/works/W3203094162.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W1678655289","https://openalex.org/W2011911028","https://openalex.org/W2074603479","https://openalex.org/W2093317237","https://openalex.org/W2111414790","https://openalex.org/W2141522820","https://openalex.org/W2741295347","https://openalex.org/W2743847386","https://openalex.org/W2744130510","https://openalex.org/W2811396066","https://openalex.org/W2887573968","https://openalex.org/W2903706082","https://openalex.org/W3118374075","https://openalex.org/W3159397996","https://openalex.org/W6684573946"],"related_works":["https://openalex.org/W2033512842","https://openalex.org/W4233600955","https://openalex.org/W4322734194","https://openalex.org/W3116237489","https://openalex.org/W4404996554","https://openalex.org/W2913665393","https://openalex.org/W2369695847","https://openalex.org/W3005535424","https://openalex.org/W2994319598","https://openalex.org/W2047067935"],"abstract_inverted_index":{"Optimizing":[0],"CPS":[1],"behavior":[2,26,46,71,96,101],"in":[3],"terms":[4],"of":[5,47,57,94],"energy":[6,77],"consumption":[7],"can":[8],"have":[9],"a":[10,88,110],"significant":[11],"impact":[12,31],"on":[13,32],"system":[14,95],"reliability.":[15],"The":[16,60,83],"environment":[17,49],"influences":[18],"the":[19,24,34,42,45,48,55,68,92,99],"system's":[20,35,43],"behavior,":[21,76],"and":[22,72],"neglecting":[23],"environmental":[25,70,100],"has":[27,102],"an":[28,114],"indirect":[29],"negative":[30],"optimizing":[33],"behavior.":[36,59],"In":[37],"this":[38],"work,":[39],"to":[40,53],"increase":[41],"flexibility,":[44],"is":[50,79,107],"modeled":[51],"dynamically":[52],"apply":[54],"disorderliness":[56],"its":[58,74],"resulting":[61],"models":[62],"are":[63],"formally":[64],"verified.":[65],"By":[66],"examining":[67],"past":[69],"predicting":[73,98],"future":[75],"optimization":[78,93],"done":[80],"more":[81],"dynamically.":[82],"verification":[84],"results":[85],"acquired":[86],"using":[87,109],"UPPAAL-SMC":[89],"show":[90],"that":[91],"by":[97],"been":[103],"successful.":[104],"Our":[105],"approach":[106],"demonstrated":[108],"case":[111],"study":[112],"within":[113],"I4":[115],"setting.":[116]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}