{"id":"https://openalex.org/W4384283986","doi":"https://doi.org/10.1109/access.2023.3295421","title":"A Novel Framework for the Design of Resilient Cyber-Physical Systems Using Control Theory and Formal Methods","display_name":"A Novel Framework for the Design of Resilient Cyber-Physical Systems Using Control Theory and Formal Methods","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4384283986","doi":"https://doi.org/10.1109/access.2023.3295421"},"language":"en","primary_location":{"id":"doi:10.1109/access.2023.3295421","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3295421","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10184000.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/6514899/10184000.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012861498","display_name":"Kelvin Anto","orcid":"https://orcid.org/0000-0002-9566-2941"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Kelvin Anto","raw_affiliation_strings":["Department of Electrical Computer and Software Engineering, The University of Auckland, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0002-9566-2941","affiliations":[{"raw_affiliation_string":"Department of Electrical Computer and Software Engineering, The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039725515","display_name":"Akshya Swain","orcid":"https://orcid.org/0000-0002-5991-9033"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Akshya Kumar Swain","raw_affiliation_strings":["Department of Electrical Computer and Software Engineering, The University of Auckland, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0002-5991-9033","affiliations":[{"raw_affiliation_string":"Department of Electrical Computer and Software Engineering, The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076621370","display_name":"Partha S. Roop","orcid":"https://orcid.org/0000-0001-9654-5678"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Partha Roop","raw_affiliation_strings":["Department of Electrical Computer and Software Engineering, The University of Auckland, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0001-9654-5678","affiliations":[{"raw_affiliation_string":"Department of Electrical Computer and Software Engineering, The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I154130895"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.8178,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.72207067,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"11","issue":null,"first_page":"73556","last_page":"73567"},"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.9991999864578247,"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.9991999864578247,"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/T10142","display_name":"Formal Methods in Verification","score":0.9330000281333923,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9283999800682068,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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.8493739366531372},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7564190626144409},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.4817071557044983},{"id":"https://openalex.org/keywords/ordinary-differential-equation","display_name":"Ordinary differential equation","score":0.4762009382247925},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.4722168743610382},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.46489468216896057},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.37157300114631653},{"id":"https://openalex.org/keywords/differential-equation","display_name":"Differential equation","score":0.24277693033218384},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11342278122901917},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08748400211334229}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.8493739366531372},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7564190626144409},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.4817071557044983},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.4762009382247925},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.4722168743610382},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.46489468216896057},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.37157300114631653},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.24277693033218384},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11342278122901917},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08748400211334229},{"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2023.3295421","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3295421","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10184000.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:ecf2047980624bd9956c914df6b62d50","is_oa":true,"landing_page_url":"https://doaj.org/article/ecf2047980624bd9956c914df6b62d50","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 11, Pp 73556-73567 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2023.3295421","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3295421","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10184000.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":[{"score":0.44999998807907104,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4384283986.pdf","grobid_xml":"https://content.openalex.org/works/W4384283986.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W1543750907","https://openalex.org/W1589577058","https://openalex.org/W1962072139","https://openalex.org/W1989931931","https://openalex.org/W1994147271","https://openalex.org/W2038651258","https://openalex.org/W2039867272","https://openalex.org/W2051054517","https://openalex.org/W2061572600","https://openalex.org/W2067203096","https://openalex.org/W2082581427","https://openalex.org/W2097942312","https://openalex.org/W2105589190","https://openalex.org/W2132334337","https://openalex.org/W2138879089","https://openalex.org/W2149713648","https://openalex.org/W2157496029","https://openalex.org/W2162248886","https://openalex.org/W2165182598","https://openalex.org/W2215497025","https://openalex.org/W2289431940","https://openalex.org/W2564348914","https://openalex.org/W2594675090","https://openalex.org/W2595379004","https://openalex.org/W2762155482","https://openalex.org/W2840655364","https://openalex.org/W2905277694","https://openalex.org/W2914960106","https://openalex.org/W2981446616","https://openalex.org/W2983040754","https://openalex.org/W3022408907","https://openalex.org/W3080175098","https://openalex.org/W3100402266","https://openalex.org/W3115079017","https://openalex.org/W3117927029","https://openalex.org/W3129130651","https://openalex.org/W3132693238","https://openalex.org/W3210839039","https://openalex.org/W4200422542","https://openalex.org/W4229449137","https://openalex.org/W4362640737","https://openalex.org/W6704139216"],"related_works":["https://openalex.org/W3004173571","https://openalex.org/W2209816623","https://openalex.org/W1987127708","https://openalex.org/W2968885840","https://openalex.org/W3017360834","https://openalex.org/W3135700974","https://openalex.org/W4313307484","https://openalex.org/W2086962923","https://openalex.org/W2384495009","https://openalex.org/W2291829050"],"abstract_inverted_index":{"Cyber-Physical":[0],"Systems":[1],"(CPSs)":[2],"intertwine":[3],"distributed":[4],"controllers,":[5],"which":[6],"control":[7,55],"physical":[8],"processes.":[9],"As":[10],"these":[11],"systems":[12],"require":[13],"guarantees":[14],"on":[15,105,109],"their":[16],"stability":[17,31],"and":[18,30,54,133],"safety,":[19],"there":[20],"is":[21,59],"a":[22,41,72,84,101,114],"need":[23],"for":[24,27,44,61],"systematic":[25],"methods":[26,53],"integrated":[28],"safety":[29],"analysis":[32],"of":[33,47,74,87,126],"CPSs.":[34,88],"To":[35],"this":[36],"end,":[37],"we":[38,95,112],"have":[39],"developed":[40,81],"novel":[42],"approach":[43,82],"the":[45,80,93,97],"design":[46],"resilient":[48],"CPSs":[49],"that":[50],"combines":[51],"formal":[52],"theory.":[56],"Our":[57],"framework":[58],"suitable":[60],"CPS":[62],"with":[63,118],"real-time":[64],"requirements,":[65],"whose":[66],"dynamics":[67],"can":[68],"be":[69],"represented":[70],"as":[71],"collection":[73],"Ordinary":[75],"Differential":[76],"Equations":[77],"(ODEs).":[78],"Hence,":[79],"suits":[83],"large":[85],"class":[86],"In":[89],"addition":[90],"to":[91,123],"developing":[92],"framework,":[94],"demonstrate":[96],"practical":[98],"applicability":[99],"through":[100],"case":[102],"study":[103],"focused":[104],"mitigating":[106],"time-delay":[107],"attacks":[108],"CPS.":[110],"Specifically,":[111],"investigate":[113],"two-area":[115],"LFC":[116],"system":[117],"electric":[119],"vehicles":[120],"(EVs)":[121],"subjected":[122],"various":[124],"types":[125],"delay":[127,135],"attacks,":[128],"including":[129],"constant,":[130],"variable,":[131],"random,":[132],"cascaded":[134],"attacks.":[136]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}