{"id":"https://openalex.org/W4410556159","doi":"https://doi.org/10.1145/3716863.3718028","title":"Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Cyber-Physical Systems","display_name":"Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Cyber-Physical Systems","publication_year":2025,"publication_date":"2025-05-06","ids":{"openalex":"https://openalex.org/W4410556159","doi":"https://doi.org/10.1145/3716863.3718028"},"language":"en","primary_location":{"id":"doi:10.1145/3716863.3718028","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3716863.3718028","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3716863.3718028","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3716863.3718028","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112388825","display_name":"Karen G. Wilson","orcid":"https://orcid.org/0009-0006-3154-8302"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kurt Wilson","raw_affiliation_strings":["North Carolina State University, Raleigh, North Carolina, USA"],"affiliations":[{"raw_affiliation_string":"North Carolina State University, Raleigh, North Carolina, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053332315","display_name":"Abdullah Al Arafat","orcid":"https://orcid.org/0000-0002-7017-0158"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Abdullah Al Arafat","raw_affiliation_strings":["North Carolina State University, Raleigh, North Carolina, USA"],"affiliations":[{"raw_affiliation_string":"North Carolina State University, Raleigh, North Carolina, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061119573","display_name":"John W. Baugh","orcid":"https://orcid.org/0000-0002-4999-7505"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Baugh","raw_affiliation_strings":["North Carolina State University, Raleigh, North Carolina, USA"],"affiliations":[{"raw_affiliation_string":"North Carolina State University, Raleigh, North Carolina, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039743876","display_name":"Ruozhou Yu","orcid":"https://orcid.org/0000-0003-0905-5158"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ruozhou Yu","raw_affiliation_strings":["North Carolina State University, Raleigh, North Carolina, USA"],"affiliations":[{"raw_affiliation_string":"North Carolina State University, Raleigh, North Carolina, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100372152","display_name":"Xue Liu","orcid":"https://orcid.org/0000-0001-5252-3442"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Xue Liu","raw_affiliation_strings":["McGill University, Montr\u00e9al, Canada"],"affiliations":[{"raw_affiliation_string":"McGill University, Montr\u00e9al, Canada","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067621571","display_name":"Zhishan Guo","orcid":"https://orcid.org/0000-0002-5967-1058"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhishan Guo","raw_affiliation_strings":["North Carolina State University, Raleigh, North Carolina, USA"],"affiliations":[{"raw_affiliation_string":"North Carolina State University, Raleigh, North Carolina, USA","institution_ids":["https://openalex.org/I137902535"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5112388825"],"corresponding_institution_ids":["https://openalex.org/I137902535"],"apc_list":null,"apc_paid":null,"fwci":2.7664,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.89135465,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9988999962806702,"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"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9988999962806702,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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.9941999912261963,"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/cyber-physical-system","display_name":"Cyber-physical system","score":0.7116918563842773},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6814721822738647},{"id":"https://openalex.org/keywords/safety-assurance","display_name":"Safety assurance","score":0.5491698384284973},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.5258384346961975},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4395098388195038},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.43869078159332275},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.42463892698287964},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3340262174606323},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.25874173641204834},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17968344688415527},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.1344439685344696},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1274460256099701},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.11141565442085266},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10372209548950195}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7116918563842773},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6814721822738647},{"id":"https://openalex.org/C112805685","wikidata":"https://www.wikidata.org/wiki/Q10566551","display_name":"Safety assurance","level":2,"score":0.5491698384284973},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.5258384346961975},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4395098388195038},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.43869078159332275},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.42463892698287964},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3340262174606323},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.25874173641204834},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17968344688415527},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.1344439685344696},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1274460256099701},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.11141565442085266},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10372209548950195}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3716863.3718028","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3716863.3718028","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3716863.3718028","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3716863.3718028","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3716863.3718028","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3716863.3718028","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3727486995","display_name":null,"funder_award_id":"CMMI 2246672","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4834495204","display_name":"Collaborative Research: An Integrated, Proactive, and Ubiquitous Prosthetic Care Robot for People with Lower Limb Amputation: Sensing, Device Designing, and Control","funder_award_id":"2246672","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5963144776","display_name":"Collaborative Research: FMitF: Track-1: Correctness at Both Ends: Rigorous ML Meets Efficient Sparse Implementations","funder_award_id":"2124205","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8433381717","display_name":null,"funder_award_id":"224667","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337391","display_name":"Division of Civil, Mechanical and Manufacturing Innovation","ror":"https://ror.org/028yd4c30"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410556159.pdf","grobid_xml":"https://content.openalex.org/works/W4410556159.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W172589331","https://openalex.org/W2101508170","https://openalex.org/W2120179083","https://openalex.org/W2127240436","https://openalex.org/W2141440050","https://openalex.org/W2166423024","https://openalex.org/W2405841950","https://openalex.org/W2740508249","https://openalex.org/W2946016889","https://openalex.org/W2964130946","https://openalex.org/W2965712325","https://openalex.org/W3021958118","https://openalex.org/W3092400727","https://openalex.org/W3113924024","https://openalex.org/W3115079017","https://openalex.org/W3115474368","https://openalex.org/W3182259309","https://openalex.org/W3202635380","https://openalex.org/W3204683753","https://openalex.org/W3214558361","https://openalex.org/W3214592159","https://openalex.org/W4200589313","https://openalex.org/W4233730793","https://openalex.org/W4244639836","https://openalex.org/W4285228542","https://openalex.org/W4293023309","https://openalex.org/W4312199171","https://openalex.org/W4323922752","https://openalex.org/W4386806345","https://openalex.org/W4404101790","https://openalex.org/W4404102512","https://openalex.org/W4411086851"],"related_works":["https://openalex.org/W2152752131","https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2037121848","https://openalex.org/W2391979747","https://openalex.org/W2981877881","https://openalex.org/W2171674700"],"abstract_inverted_index":{"Verifying":[0],"the":[1,14,44,109,142,148,172],"safety":[2,37,159,181],"of":[3,122,174],"latency-aware":[4],"cyber-physical":[5],"systems":[6],"is":[7],"both":[8,43,91],"critical":[9],"and":[10,20,47,68,86,93,113,147,182],"challenging":[11],"due":[12],"to":[13,129,151],"interaction":[15],"between":[16,111],"continuous":[17],"physical":[18,45,67,114],"dynamics":[19,46,82],"discrete":[21],"computational":[22,48,69,84,112],"constraints.":[23],"This":[24,58,169],"paper":[25],"introduces":[26],"SOTERIA,":[27],"a":[28,54,119,123,138],"formal":[29,106],"framework":[30],"that":[31,64,161],"integrates":[32],"digital":[33],"twins":[34],"for":[35,179],"ensuring":[36],"in":[38,155,184],"these":[39],"systems.":[40,186],"SOTERIA":[41,89,100],"models":[42,85],"behavior,":[49],"enabling":[50,158],"integrated":[51,176],"verification":[52,98,160,177],"within":[53],"specific":[55],"operating":[56,87],"environment.":[57],"approach":[59,178],"goes":[60],"beyond":[61],"conventional":[62,166],"methods":[63],"either":[65],"treat":[66],"aspects":[70],"separately":[71],"or":[72],"rely":[73],"on":[74],"overly":[75],"conservative":[76],"worst-case":[77],"analyses.":[78,168],"By":[79],"modeling":[80],"hybrid":[81],"alongside":[83],"environments,":[88],"verifies":[90],"functional":[92],"timing":[94],"correctness.":[95],"Leveraging":[96],"established":[97],"tools,":[99],"determines":[101],"whether":[102],"end-to-end":[103],"latencies":[104],"meet":[105],"specifications,":[107],"bridging":[108],"gap":[110],"requirements.":[115],"We":[116,133],"first":[117],"introduce":[118],"simple":[120],"example":[121],"1D":[124],"adaptive":[125],"cruise":[126],"control":[127],"system":[128],"illustrate":[130],"its":[131],"effectiveness.":[132],"then":[134],"present":[135],"findings":[136],"from":[137],"case":[139],"study":[140],"using":[141],"F1Tenth":[143],"racing":[144],"car":[145],"platform":[146],"UPPAAL":[149],"tool":[150],"demonstrate":[152],"SOTERIA's":[153],"effectiveness":[154],"realistic":[156],"scenarios,":[157],"was":[162],"previously":[163],"infeasible":[164],"with":[165],"schedulability":[167],"work":[170],"underscores":[171],"importance":[173],"an":[175],"enhancing":[180],"reliability":[183],"autonomous":[185]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}