{"id":"https://openalex.org/W4321089640","doi":"https://doi.org/10.1145/3584364","title":"Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime","display_name":"Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime","publication_year":2023,"publication_date":"2023-02-16","ids":{"openalex":"https://openalex.org/W4321089640","doi":"https://doi.org/10.1145/3584364"},"language":"en","primary_location":{"id":"doi:10.1145/3584364","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3584364","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3584364","source":{"id":"https://openalex.org/S16632050","display_name":"ACM Transactions on Autonomous and Adaptive Systems","issn_l":"1556-4665","issn":["1556-4665","1556-4703"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Autonomous and Adaptive Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3584364","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068010595","display_name":"Matteo Camilli","orcid":"https://orcid.org/0000-0003-2491-5267"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Matteo Camilli","raw_affiliation_strings":["Politecnico di Milano, Italy"],"raw_orcid":"https://orcid.org/0000-0003-2491-5267","affiliations":[{"raw_affiliation_string":"Politecnico di Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055586939","display_name":"Raffaela Mirandola","orcid":"https://orcid.org/0000-0003-3154-2438"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Raffaela Mirandola","raw_affiliation_strings":["Politecnico di Milano, Italy"],"raw_orcid":"https://orcid.org/0000-0003-3154-2438","affiliations":[{"raw_affiliation_string":"Politecnico di Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064186815","display_name":"Patrizia Scandurra","orcid":"https://orcid.org/0000-0002-9209-3624"},"institutions":[{"id":"https://openalex.org/I11039511","display_name":"University of Bergamo","ror":"https://ror.org/02mbd5571","country_code":"IT","type":"education","lineage":["https://openalex.org/I11039511"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Patrizia Scandurra","raw_affiliation_strings":["University of Bergamo, Italy"],"raw_orcid":"https://orcid.org/0000-0002-9209-3624","affiliations":[{"raw_affiliation_string":"University of Bergamo, Italy","institution_ids":["https://openalex.org/I11039511"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.4459,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.93137255,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"18","issue":"3","first_page":"1","last_page":"32"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8536174893379211},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.810884952545166},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.8095409274101257},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.7409631609916687},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.5961562395095825},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5300968289375305},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.5019862651824951},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience (materials science)","score":0.4531084895133972},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4379199743270874},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.32672905921936035},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.19542938470840454},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.17955303192138672},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1629689633846283},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1501687467098236},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10760655999183655}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8536174893379211},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.810884952545166},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.8095409274101257},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.7409631609916687},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.5961562395095825},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5300968289375305},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.5019862651824951},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.4531084895133972},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4379199743270874},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.32672905921936035},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.19542938470840454},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.17955303192138672},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1629689633846283},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1501687467098236},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10760655999183655},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3584364","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3584364","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3584364","source":{"id":"https://openalex.org/S16632050","display_name":"ACM Transactions on Autonomous and Adaptive Systems","issn_l":"1556-4665","issn":["1556-4665","1556-4703"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Autonomous and Adaptive Systems","raw_type":"journal-article"},{"id":"pmh:oai:aisberg.unibg.it:10446/262956","is_oa":true,"landing_page_url":"https://hdl.handle.net/10446/262956","pdf_url":"https://aisberg.unibg.it/bitstream/10446/262956/1/ACM_TAAS.pdf","source":{"id":"https://openalex.org/S4377196347","display_name":"Aisberg (University of Bergamo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I11039511","host_organization_name":"University of Bergamo","host_organization_lineage":["https://openalex.org/I11039511"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:re.public.polimi.it:11311/1259380","is_oa":true,"landing_page_url":"https://hdl.handle.net/11311/1259380","pdf_url":"https://re.public.polimi.it/bitstream/11311/1259380/2/11311-1259380_Camilli.pdf","source":{"id":"https://openalex.org/S4306400312","display_name":"Virtual Community of Pathological Anatomy (University of Castilla La Mancha)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79189158","host_organization_name":"University of Castilla-La Mancha","host_organization_lineage":["https://openalex.org/I79189158"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3584364","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3584364","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3584364","source":{"id":"https://openalex.org/S16632050","display_name":"ACM Transactions on Autonomous and Adaptive Systems","issn_l":"1556-4665","issn":["1556-4665","1556-4703"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Autonomous and Adaptive Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4321089640.pdf","grobid_xml":"https://content.openalex.org/works/W4321089640.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W1559540003","https://openalex.org/W1886563687","https://openalex.org/W1898469110","https://openalex.org/W1971908606","https://openalex.org/W1972203711","https://openalex.org/W1988520084","https://openalex.org/W1990911977","https://openalex.org/W2015736851","https://openalex.org/W2027986690","https://openalex.org/W2028369901","https://openalex.org/W2033014924","https://openalex.org/W2054104130","https://openalex.org/W2056653303","https://openalex.org/W2058783477","https://openalex.org/W2069856523","https://openalex.org/W2070644478","https://openalex.org/W2086502833","https://openalex.org/W2096765395","https://openalex.org/W2133859873","https://openalex.org/W2138428785","https://openalex.org/W2145071552","https://openalex.org/W2162429446","https://openalex.org/W2162773911","https://openalex.org/W2291637985","https://openalex.org/W2334782222","https://openalex.org/W2740162891","https://openalex.org/W2742532491","https://openalex.org/W2792133590","https://openalex.org/W2884304627","https://openalex.org/W2886168462","https://openalex.org/W2901644511","https://openalex.org/W2948503307","https://openalex.org/W2953930572","https://openalex.org/W2956500526","https://openalex.org/W3004493782","https://openalex.org/W3085737849","https://openalex.org/W3089494795","https://openalex.org/W3111353915","https://openalex.org/W3166742961","https://openalex.org/W4206705953","https://openalex.org/W4230027996","https://openalex.org/W4230388127","https://openalex.org/W4245376853","https://openalex.org/W4291213652","https://openalex.org/W4313547571"],"related_works":["https://openalex.org/W2068403437","https://openalex.org/W2128865566","https://openalex.org/W4248771687","https://openalex.org/W2406499533","https://openalex.org/W2809618173","https://openalex.org/W3036403349","https://openalex.org/W4383898361","https://openalex.org/W2950360254","https://openalex.org/W1563456403","https://openalex.org/W2006962382"],"abstract_inverted_index":{"Cyber-physical":[0],"systems":[1,185],"often":[2],"operate":[3],"in":[4,82],"dynamic":[5],"environments":[6],"where":[7],"unexpected":[8],"events":[9],"should":[10],"be":[11],"managed":[12],"while":[13],"guaranteeing":[14],"acceptable":[15,49],"behavior.":[16],"Providing":[17],"comprehensive":[18],"evidence":[19],"of":[20,37,43,109,117,136,157,170],"their":[21],"dependability":[22],"under":[23],"change":[24],"represents":[25],"a":[26,90,122,144],"major":[27],"open":[28],"challenge.":[29],"In":[30],"this":[31],"article,":[32],"we":[33],"exploit":[34],"the":[35,41,44,72,78,97,107,110,115,118,134,137,150,155,158,161,171],"notion":[36],"equilibrium,":[38],"that":[39,93,127,148],"is,":[40],"ability":[42,135],"system":[45,79,91,138,159],"to":[46,68,76,80,100,113,131,139,153],"maintain":[47],"an":[48,65,176],"behavior":[50],"within":[51],"its":[52,83],"multidimensional":[53],"viability":[54,84,119,162],"zone":[55],"and":[56,63,75,103,142,168,183],"propose":[57],"RUNE":[58,86],"2":[59,87],"(RUNtime":[60],"Equilibrium":[61],"verification":[62,125],"Enforcement),":[64],"approach":[66,173],"able":[67],"verify":[69],"at":[70],"runtime":[71,123],"equilibrium":[73,111,124],"condition":[74,112],"enforce":[77],"stay":[81],"zone.":[85,163],"includes":[88],"(i)":[89],"specification":[92],"takes":[94],"into":[95],"account":[96],"uncertainties":[98],"related":[99],"partial":[101],"knowledge":[102,152],"possible":[104],"changes;":[105],"(ii)":[106],"computation":[108],"define":[114],"boundaries":[116],"zone;":[120],"(iii)":[121],"method":[126],"leverages":[128],"Bayesian":[129],"inference":[130],"reason":[132],"about":[133],"remain":[140],"viable;":[141],"(iv)":[143],"resilience":[145],"enforcement":[146],"mechanism":[147],"exploits":[149],"posterior":[151],"steer":[154],"execution":[156],"inside":[160],"We":[164],"demonstrate":[165],"both":[166],"benefits":[167],"costs":[169],"proposed":[172],"by":[174],"conducting":[175],"empirical":[177],"evaluation":[178],"using":[179],"two":[180],"case":[181],"studies":[182],"24":[184],"synthetically":[186],"generated":[187],"from":[188],"pseudo-random":[189],"models":[190],"with":[191],"increasing":[192],"structural":[193],"complexity.":[194]},"counts_by_year":[{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2023-02-17T00:00:00"}