{"id":"https://openalex.org/W7151313724","doi":"https://doi.org/10.48550/arxiv.2604.03405","title":"Steering with Contingencies: Combinatorial Stabilization and Reach-Avoid Filters","display_name":"Steering with Contingencies: Combinatorial Stabilization and Reach-Avoid Filters","publication_year":2026,"publication_date":"2026-04-03","ids":{"openalex":"https://openalex.org/W7151313724","doi":"https://doi.org/10.48550/arxiv.2604.03405"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.03405","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.03405","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":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.2604.03405","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003664757","display_name":"Yana Lishkova","orcid":"https://orcid.org/0000-0002-2332-6973"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lishkova, Yana","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133064664","display_name":"Pio Ong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ong, Pio","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011942189","display_name":"Sander Tonkens","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tonkens, Sander","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071321544","display_name":"Sylvia Herbert","orcid":"https://orcid.org/0000-0002-3863-8945"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Herbert, Sylvia","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5039171820","display_name":"Aaron D. Ames","orcid":"https://orcid.org/0000-0003-0848-3177"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ames, Aaron D.","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/T11082","display_name":"Spacecraft Dynamics and Control","score":0.8174999952316284,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace 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/T11082","display_name":"Spacecraft Dynamics and Control","score":0.8174999952316284,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace 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/T12158","display_name":"Guidance and Control Systems","score":0.05909999832510948,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace 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/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.04879999905824661,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/combinatorial-explosion","display_name":"Combinatorial explosion","score":0.6180999875068665},{"id":"https://openalex.org/keywords/filter","display_name":"Filter (signal processing)","score":0.609499990940094},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.5807999968528748},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.5239999890327454},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.5184999704360962},{"id":"https://openalex.org/keywords/combinatorial-optimization","display_name":"Combinatorial optimization","score":0.4205999970436096},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.41499999165534973}],"concepts":[{"id":"https://openalex.org/C115908005","wikidata":"https://www.wikidata.org/wiki/Q2668364","display_name":"Combinatorial explosion","level":2,"score":0.6180999875068665},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.609499990940094},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.5807999968528748},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5267000198364258},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.5239999890327454},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.5184999704360962},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45590001344680786},{"id":"https://openalex.org/C52692508","wikidata":"https://www.wikidata.org/wiki/Q1333872","display_name":"Combinatorial optimization","level":2,"score":0.4205999970436096},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.41499999165534973},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4104999899864197},{"id":"https://openalex.org/C167964875","wikidata":"https://www.wikidata.org/wiki/Q17011487","display_name":"Exponential stability","level":3,"score":0.4000999927520752},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.39010000228881836},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3788999915122986},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.3718999922275543},{"id":"https://openalex.org/C2779521423","wikidata":"https://www.wikidata.org/wiki/Q3855646","display_name":"Combinatorial method","level":2,"score":0.31709998846054077},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.30630001425743103},{"id":"https://openalex.org/C97508593","wikidata":"https://www.wikidata.org/wiki/Q1359069","display_name":"Contingency","level":2,"score":0.29440000653266907},{"id":"https://openalex.org/C2988809283","wikidata":"https://www.wikidata.org/wiki/Q1514868","display_name":"Combinatorial algorithms","level":2,"score":0.27000001072883606}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.03405","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.03405","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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.03405","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.03405","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":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0,35,123],"applications":[1],"such":[2],"as":[3],"autonomous":[4],"landing":[5],"and":[6,44,131,142,163],"navigation,":[7],"it":[8],"is":[9,151],"often":[10],"desirable":[11],"to":[12,21,23,86,104,117],"steer":[13],"toward":[14],"a":[15,57],"target":[16],"while":[17,60],"retaining":[18],"the":[19,62,66,126,157],"ability":[20],"divert":[22],"at":[24,72],"least":[25,73],"$r$":[26],"(out":[27],"of":[28,56,69,71,89],"$p$)":[29],"alternative":[30],"sites":[31],"if":[32],"conditions":[33],"change.":[34],"this":[36,40,78,102],"work,":[37],"we":[38,80],"formalize":[39],"combinatorial":[41,128,132,140],"contingency":[42,162],"requirement":[43],"develop":[45],"tractable":[46],"control":[47,82],"filters":[48,158],"for":[49],"enforcement.":[50],"Combinatorial":[51,99],"stabilization":[52],"requires":[53],"asymptotic":[54],"stability":[55,129],"selected":[58],"equilibrium":[59],"ensuring":[61],"trajectory":[63],"remains":[64],"within":[65,95],"safe":[67,144,165],"region":[68],"attraction":[70],"$r$-out-of-$p$":[74],"candidates.":[75],"To":[76],"enforce":[77],"requirement,":[79],"use":[81],"Lyapunov":[83],"functions":[84],"(CLFs)":[85],"construct":[87],"regions":[88,115],"attraction,":[90],"which":[91],"are":[92],"combined":[93],"combinatorially":[94],"an":[96],"optimization-based":[97],"filter.":[98],"targeting":[100],"extends":[101],"framework":[103,150],"finite-horizon":[105],"problems":[106],"using":[107],"Hamilton-Jacobi":[108],"backward":[109],"reach-avoid":[110,133],"sets,":[111],"accommodating":[112],"shrinking":[113],"reachable":[114],"due":[116],"finite":[118],"horizons":[119],"or":[120],"resource":[121],"depletion.":[122],"both":[124],"formulations,":[125],"resulting":[127],"filter":[130,134],"require":[135],"only":[136],"$p+1$":[137],"constraints,":[138],"preventing":[139],"blow-up":[141],"enabling":[143],"real-time":[145],"switching":[146],"between":[147],"targets.":[148],"The":[149],"demonstrated":[152],"on":[153],"two":[154],"examples":[155],"where":[156],"ensure":[159],"steering":[160],"with":[161],"enable":[164],"diversion.":[166]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-08T00:00:00"}