{"id":"https://openalex.org/W7140217835","doi":"https://doi.org/10.48550/arxiv.2603.21523","title":"SafePilot: A Framework for Assuring LLM-enabled Cyber-Physical Systems","display_name":"SafePilot: A Framework for Assuring LLM-enabled Cyber-Physical Systems","publication_year":2026,"publication_date":"2026-03-23","ids":{"openalex":"https://openalex.org/W7140217835","doi":"https://doi.org/10.48550/arxiv.2603.21523"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.21523","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.21523","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.21523","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Xu, Weizhe","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xu, Weizhe","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Liu, Mengyu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Mengyu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Kong, Fanxin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kong, Fanxin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.6195999979972839,"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"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.6195999979972839,"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"}},{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.0348999984562397,"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"}},{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.0272000003606081,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive 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/task","display_name":"Task (project management)","score":0.767799973487854},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.7529000043869019},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6439999938011169},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.444599986076355},{"id":"https://openalex.org/keywords/adaptability","display_name":"Adaptability","score":0.42570000886917114},{"id":"https://openalex.org/keywords/task-analysis","display_name":"Task analysis","score":0.33809998631477356}],"concepts":[{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.767799973487854},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.7529000043869019},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6694999933242798},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6439999938011169},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.444599986076355},{"id":"https://openalex.org/C177606310","wikidata":"https://www.wikidata.org/wiki/Q5674297","display_name":"Adaptability","level":2,"score":0.42570000886917114},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40369999408721924},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.33809998631477356},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.335099995136261},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.29170000553131104},{"id":"https://openalex.org/C2776187449","wikidata":"https://www.wikidata.org/wiki/Q1513879","display_name":"Natural language generation","level":3,"score":0.26649999618530273},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.2653999924659729},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2535000145435333},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.25279998779296875}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.21523","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.21523","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.21523","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.21523","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.589971661567688,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"Language":[1],"Models":[2],"(LLMs),":[3],"deep":[4],"learning":[5],"architectures":[6],"with":[7,131,153,237],"typically":[8],"over":[9],"10":[10],"billion":[11],"parameters,":[12],"have":[13],"recently":[14],"begun":[15],"to":[16,58,76,114,148],"be":[17],"integrated":[18],"into":[19,167,178,190],"various":[20],"cyber-physical":[21],"systems":[22],"(CPS)":[23],"such":[24],"as":[25],"robotics,":[26],"industrial":[27],"automation,":[28],"and":[29,35,46,116,122,175,193,212,240,245],"autopilot":[30],"systems.":[31],"The":[32,182],"abstract":[33],"knowledge":[34],"reasoning":[36],"capabilities":[37],"of":[38,56,170],"LLMs":[39,57],"are":[40,64,202,247],"employed":[41],"for":[42,110],"tasks":[43],"like":[44],"planning":[45],"navigation.":[47],"However,":[48],"a":[49,101,120,128,132,161,179,221,227],"significant":[50],"challenge":[51],"arises":[52],"from":[53],"the":[54,82,90,139,157,165,195,206,209,214],"tendency":[55],"produce":[59],"\"hallucinations\"":[60],"-":[61],"outputs":[62],"that":[63,106,134],"coherent":[65],"yet":[66],"factually":[67],"incorrect":[68],"or":[69,78,226],"contextually":[70],"unsuitable.":[71],"This":[72,216],"characteristic":[73],"can":[74],"lead":[75],"undesirable":[77],"unsafe":[79],"actions":[80],"in":[81],"CPS.":[83],"Therefore,":[84],"our":[85],"research":[86],"focuses":[87],"on":[88],"assuring":[89],"LLM-enabled":[91,111,235],"CPS":[92,112,236],"by":[93],"enhancing":[94],"their":[95],"critical":[96],"properties.":[97],"We":[98],"propose":[99],"SafePilot,":[100],"novel":[102],"hierarchical":[103,129,158],"neuro-symbolic":[104],"framework":[105,233],"provides":[107],"end-to-end":[108],"assurance":[109],"according":[113],"attribute-based":[115,239],"temporal":[117,241],"specifications.":[118],"Given":[119],"task":[121,136,140,151,166,184],"its":[123],"specification,":[124],"SafePilot":[125],"first":[126],"invokes":[127],"planner":[130,152,159,185],"discriminator":[133],"assesses":[135],"complexity.":[137],"If":[138,200],"is":[141,145,172,224,230],"deemed":[142],"manageable,":[143],"it":[144,204],"passed":[146],"directly":[147],"an":[149],"LLM-based":[150,183],"built-in":[154],"verification.":[155],"Otherwise,":[156],"applies":[160],"divide-and-conquer":[162],"strategy,":[163],"decomposing":[164],"sub-tasks,":[168],"each":[169],"which":[171],"individually":[173],"planned":[174],"later":[176],"merged":[177],"final":[180],"solution.":[181],"translates":[186],"natural":[187],"language":[188],"constraints":[189],"formal":[191],"specifications":[192],"verifies":[194],"LLM's":[196],"output":[197],"against":[198],"them.":[199],"violations":[201],"detected,":[203],"identifies":[205],"flaw,":[207],"adjusts":[208],"prompt":[210],"accordingly,":[211],"re-invokes":[213],"LLM.":[215],"iterative":[217],"process":[218],"continues":[219],"until":[220],"valid":[222],"plan":[223],"produced":[225],"predefined":[228],"limit":[229],"reached.":[231],"Our":[232],"supports":[234],"both":[238],"constraints.":[242],"Its":[243],"effectiveness":[244],"adaptability":[246],"demonstrated":[248],"through":[249],"two":[250],"illustrative":[251],"case":[252],"studies.":[253]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-03-25T00:00:00"}