{"id":"https://openalex.org/W4388684900","doi":"https://doi.org/10.48550/arxiv.2311.06769","title":"Learning Predictive Safety Filter via Decomposition of Robust Invariant Set","display_name":"Learning Predictive Safety Filter via Decomposition of Robust Invariant Set","publication_year":2023,"publication_date":"2023-11-12","ids":{"openalex":"https://openalex.org/W4388684900","doi":"https://doi.org/10.48550/arxiv.2311.06769"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2311.06769","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.06769","pdf_url":"https://arxiv.org/pdf/2311.06769","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2311.06769","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100779780","display_name":"Zeyang Li","orcid":"https://orcid.org/0009-0002-1448-1573"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Li, Zeyang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079033650","display_name":"Chuxiong Hu","orcid":"https://orcid.org/0000-0002-3504-3065"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hu, Chuxiong","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061774277","display_name":"Weiye Zhao","orcid":"https://orcid.org/0000-0002-8426-5238"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhao, Weiye","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5040156274","display_name":"Changliu Liu","orcid":"https://orcid.org/0000-0002-3767-5517"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Changliu","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100779780"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9519000053405762,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9519000053405762,"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/T10409","display_name":"Fuel Cells and Related Materials","score":0.9401000142097473,"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/model-predictive-control","display_name":"Model predictive control","score":0.6973845362663269},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6601055860519409},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6130546927452087},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.5911441445350647},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.537990391254425},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4525753855705261},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.43957841396331787},{"id":"https://openalex.org/keywords/filter","display_name":"Filter (signal processing)","score":0.4279245138168335},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.41640517115592957},{"id":"https://openalex.org/keywords/monotone-polygon","display_name":"Monotone polygon","score":0.4144657552242279},{"id":"https://openalex.org/keywords/robust-control","display_name":"Robust control","score":0.4134730100631714},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.26758480072021484},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.2614588737487793},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2225360870361328},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17904096841812134},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15529188513755798}],"concepts":[{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.6973845362663269},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6601055860519409},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6130546927452087},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.5911441445350647},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.537990391254425},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4525753855705261},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.43957841396331787},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.4279245138168335},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.41640517115592957},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.4144657552242279},{"id":"https://openalex.org/C31531917","wikidata":"https://www.wikidata.org/wiki/Q915157","display_name":"Robust control","level":3,"score":0.4134730100631714},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.26758480072021484},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2614588737487793},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2225360870361328},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17904096841812134},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15529188513755798},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2311.06769","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.06769","pdf_url":"https://arxiv.org/pdf/2311.06769","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"doi:10.48550/arxiv.2311.06769","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2311.06769","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2311.06769","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.06769","pdf_url":"https://arxiv.org/pdf/2311.06769","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[{"score":0.4099999964237213,"display_name":"No poverty","id":"https://metadata.un.org/sdg/1"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4388684900.pdf","grobid_xml":"https://content.openalex.org/works/W4388684900.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1990079087","https://openalex.org/W2101188133","https://openalex.org/W4306904969","https://openalex.org/W3202234113","https://openalex.org/W4248731570","https://openalex.org/W2138720691","https://openalex.org/W4362501864","https://openalex.org/W4380318855","https://openalex.org/W2031695474","https://openalex.org/W2389214306"],"abstract_inverted_index":{"Ensuring":[0],"safety":[1,57,76,221,235],"of":[2,54,69,105,116,215,239],"nonlinear":[3,79],"systems":[4,80],"under":[5],"model":[6,23],"uncertainty":[7],"and":[8,39,72,83,107,128,156,230],"external":[9],"disturbances":[10,190],"is":[11,166,242],"crucial,":[12],"especially":[13],"for":[14,78,113,124,138,172,201,210],"real-world":[15],"control":[16,25],"tasks.":[17],"Predictive":[18],"methods":[19],"such":[20],"as":[21],"robust":[22,89,125,234],"predictive":[24],"(RMPC)":[26],"require":[27],"solving":[28],"nonconvex":[29],"optimization":[30],"problems":[31,127],"online,":[32],"which":[33,145,175,208],"leads":[34],"to":[35,74,168],"high":[36],"computational":[37,226],"burden":[38],"poor":[40],"scalability.":[41],"Reinforcement":[42],"learning":[43],"(RL)":[44],"works":[45],"well":[46],"with":[47,81,101],"complex":[48],"systems,":[49],"but":[50],"pays":[51],"the":[52,67,88,114,136,183,211],"price":[53],"losing":[55],"rigorous":[56],"guarantee.":[58,236],"This":[59,133],"paper":[60],"presents":[61],"a":[62,96,108,120,148,152,157,195,245],"theoretical":[63],"framework":[64],"that":[65,99,111,180],"bridges":[66],"advantages":[68],"both":[70],"RMPC":[71,229],"RL":[73,143],"synthesize":[75],"filters":[77,176],"state-":[82],"action-dependent":[84],"uncertainty.":[85],"We":[86,118,193],"decompose":[87],"invariant":[90],"set":[91,98,110],"(RIS)":[92],"into":[93,185],"two":[94],"parts:":[95],"target":[97],"aligns":[100],"terminal":[102],"region":[103],"design":[104],"RMPC,":[106],"reach-avoid":[109,126,149,158,163,213],"accounts":[112],"rest":[115],"RIS.":[117],"propose":[119],"policy":[121,150,154,164],"iteration":[122],"approach":[123,200],"establish":[129],"its":[130],"monotone":[131],"convergence.":[132],"method":[134,241],"sets":[135],"stage":[137],"an":[139],"adversarial":[140],"actor-critic":[141],"deep":[142],"algorithm,":[144],"simultaneously":[146],"synthesizes":[147],"network,":[151,155],"disturbance":[153],"value":[159,214],"network.":[160],"The":[161,219,237],"learned":[162],"network":[165],"utilized":[167],"generate":[169],"nominal":[170],"trajectories":[171],"online":[173,202],"verification,":[174],"potentially":[177],"unsafe":[178,186],"actions":[179],"may":[181],"drive":[182],"system":[184,205],"regions":[187],"when":[188],"worst-case":[189,212],"are":[191],"applied.":[192],"formulate":[194],"second-order":[196],"cone":[197],"programming":[198],"(SOCP)":[199],"verification":[203],"using":[204],"level":[206],"synthesis,":[207],"optimizes":[209],"any":[216],"possible":[217],"trajectories.":[218],"proposed":[220],"filter":[222],"requires":[223],"much":[224],"lower":[225],"complexity":[227],"than":[228],"still":[231],"enjoys":[232],"persistent":[233],"effectiveness":[238],"our":[240],"illustrated":[243],"through":[244],"numerical":[246],"example.":[247]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-13T16:22:10.518609","created_date":"2023-11-15T00:00:00"}