{"id":"https://openalex.org/W4410140552","doi":"https://doi.org/10.1145/3716550.3725153","title":"Physics-Informed Safety Verification of Nonlinear Systems: A Scenario Approach with Data Mitigation","display_name":"Physics-Informed Safety Verification of Nonlinear Systems: A Scenario Approach with Data Mitigation","publication_year":2025,"publication_date":"2025-05-06","ids":{"openalex":"https://openalex.org/W4410140552","doi":"https://doi.org/10.1145/3716550.3725153"},"language":"en","primary_location":{"id":"doi:10.1145/3716550.3725153","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3716550.3725153","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3716550.3725153","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)","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/3716550.3725153","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5115023935","display_name":"MohammadHossein Ashoori","orcid":"https://orcid.org/0009-0004-3635-1985"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"MohammadHossein Ashoori","raw_affiliation_strings":["Newcastle University, United Kingdom"],"raw_orcid":"https://orcid.org/0009-0004-3635-1985","affiliations":[{"raw_affiliation_string":"Newcastle University, United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036898913","display_name":"Ali Aminzadeh","orcid":"https://orcid.org/0000-0003-2994-9650"},"institutions":[{"id":"https://openalex.org/I80543232","display_name":"K.N.Toosi University of Technology","ror":"https://ror.org/0433abe34","country_code":"IR","type":"education","lineage":["https://openalex.org/I80543232"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Ali Aminzadeh","raw_affiliation_strings":["K. N. Toosi University of Technology, Iran"],"raw_orcid":"https://orcid.org/0000-0003-2994-9650","affiliations":[{"raw_affiliation_string":"K. N. Toosi University of Technology, Iran","institution_ids":["https://openalex.org/I80543232"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011080021","display_name":"Abolfazl Lavaei","orcid":"https://orcid.org/0000-0003-4993-3170"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Abolfazl Lavaei","raw_affiliation_strings":["Newcastle University, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-4993-3170","affiliations":[{"raw_affiliation_string":"Newcastle University, United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061394007","display_name":"Ameneh Nejati","orcid":"https://orcid.org/0000-0002-9065-1282"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Amy Nejati","raw_affiliation_strings":["Newcastle University, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-9065-1282","affiliations":[{"raw_affiliation_string":"Newcastle University, United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08998607,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"2"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9976999759674072,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9976999759674072,"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/T11357","display_name":"Risk and Safety Analysis","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"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/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.6158249974250793},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5253414511680603},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.33633023500442505},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.32275646924972534},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.30381470918655396},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11737430095672607}],"concepts":[{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.6158249974250793},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5253414511680603},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.33633023500442505},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.32275646924972534},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.30381470918655396},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11737430095672607},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3716550.3725153","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3716550.3725153","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3716550.3725153","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3716550.3725153","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3716550.3725153","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3716550.3725153","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","score":0.8899999856948853,"display_name":"Climate action"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410140552.pdf","grobid_xml":"https://content.openalex.org/works/W4410140552.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W1607353007","https://openalex.org/W2164261482","https://openalex.org/W2167412190","https://openalex.org/W3098173350","https://openalex.org/W4323914099","https://openalex.org/W4400946269","https://openalex.org/W4405094777"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2935759653","https://openalex.org/W3105167352","https://openalex.org/W54078636","https://openalex.org/W2954470139","https://openalex.org/W1501425562","https://openalex.org/W2902782467","https://openalex.org/W3084825885"],"abstract_inverted_index":{"Designing":[0],"barrier":[1],"certificates":[2],"(BCs)":[3],"to":[4,29,51,99],"ensure":[5],"system":[6],"safety":[7,24],"often":[8,42],"relies":[9],"on":[10],"an":[11],"accurate":[12],"dynamical":[13,35],"model.":[14],"In":[15],"such":[16,72],"cases,":[17],"while":[18,127],"scenario":[19,66,96,125],"approaches":[20],"effectively":[21],"address":[22],"the":[23,57,74,77,82,95,106,112,119],"problem":[25],"using":[26],"collected":[27],"data":[28,70,84,122],"construct":[30],"a":[31,64,89],"guaranteed":[32],"BC":[33],"for":[34,124],"systems":[36],"with":[37],"unknown":[38],"mathematical":[39],"models,":[40],"they":[41],"require":[43],"substantial":[44],"amounts":[45],"of":[46,49,60,76,114,121],"data---sometimes":[47],"millions":[48],"samples---due":[50],"exponential":[52],"sample":[53],"complexity.":[54],"To":[55],"mitigate":[56],"required":[58,107,123],"number":[59],"data,":[61],"we":[62],"propose":[63],"physics-informed":[65],"approach":[67,93,116],"that":[68,73],"selects":[69],"samples":[71,102],"outputs":[75],"(imprecise)":[78],"physics-based":[79],"model":[80],"and":[81,103],"observed":[83],"are":[85],"sufficiently":[86],"close":[87],"(within":[88],"specified":[90],"threshold).":[91],"This":[92],"guides":[94],"optimization":[97],"process":[98],"eliminate":[100],"redundant":[101],"significantly":[104],"reduce":[105],"dataset":[108],"size.":[109],"We":[110],"demonstrate":[111],"capability":[113],"our":[115],"in":[117],"mitigating":[118],"amount":[120],"optimizations":[126],"providing":[128],"correctness":[129],"guarantees.":[130]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}