{"id":"https://openalex.org/W4393929678","doi":"https://doi.org/10.48550/arxiv.2404.01726","title":"A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions","display_name":"A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions","publication_year":2024,"publication_date":"2024-04-02","ids":{"openalex":"https://openalex.org/W4393929678","doi":"https://doi.org/10.48550/arxiv.2404.01726"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2404.01726","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2404.01726","pdf_url":"https://arxiv.org/pdf/2404.01726","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/2404.01726","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073020318","display_name":"Thom Badings","orcid":"https://orcid.org/0000-0002-5235-1967"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Badings, Thom","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011771160","display_name":"Licio Romao","orcid":"https://orcid.org/0000-0002-5716-6162"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Romao, Licio","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091718585","display_name":"Alessandro Abate","orcid":"https://orcid.org/0000-0002-5627-9093"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Abate, Alessandro","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5012669709","display_name":"Nils Jansen","orcid":"https://orcid.org/0000-0003-1318-8973"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jansen, Nils","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":true,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9103000164031982,"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.9103000164031982,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7509366273880005},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.6633118391036987},{"id":"https://openalex.org/keywords/noise","display_name":"Noise (video)","score":0.6362273097038269},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.6158669590950012},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5155189037322998},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.48317161202430725},{"id":"https://openalex.org/keywords/stochastic-control","display_name":"Stochastic control","score":0.4589977562427521},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.4312421679496765},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33098161220550537},{"id":"https://openalex.org/keywords/statistical-physics","display_name":"Statistical physics","score":0.32373160123825073},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.1887030005455017},{"id":"https://openalex.org/keywords/optimal-control","display_name":"Optimal control","score":0.14699190855026245},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.13592684268951416},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13455376029014587},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.06187838315963745}],"concepts":[{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7509366273880005},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.6633118391036987},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.6362273097038269},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.6158669590950012},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5155189037322998},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.48317161202430725},{"id":"https://openalex.org/C170131372","wikidata":"https://www.wikidata.org/wiki/Q7617811","display_name":"Stochastic control","level":3,"score":0.4589977562427521},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.4312421679496765},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33098161220550537},{"id":"https://openalex.org/C121864883","wikidata":"https://www.wikidata.org/wiki/Q677916","display_name":"Statistical physics","level":1,"score":0.32373160123825073},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.1887030005455017},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.14699190855026245},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.13592684268951416},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13455376029014587},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.06187838315963745},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2404.01726","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2404.01726","pdf_url":"https://arxiv.org/pdf/2404.01726","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.2404.01726","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2404.01726","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":"pmh:oai:arXiv.org:2404.01726","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2404.01726","pdf_url":"https://arxiv.org/pdf/2404.01726","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":[],"awards":[{"id":"https://openalex.org/G4371345817","display_name":"PrimaVera: Predictive maintenance for Very effective asset management","funder_award_id":"NWA.1160.18.238","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4393929678.pdf","grobid_xml":"https://content.openalex.org/works/W4393929678.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2045155990","https://openalex.org/W4313163053","https://openalex.org/W3045811229","https://openalex.org/W4300973204","https://openalex.org/W1483408780","https://openalex.org/W4284884309","https://openalex.org/W2908749798","https://openalex.org/W2105980483","https://openalex.org/W4243842598","https://openalex.org/W1514435881"],"abstract_inverted_index":{"Finite-state":[0],"abstractions":[1,95,177],"are":[2],"widely":[3],"studied":[4],"for":[5,12,37,89],"the":[6,43,59,79,90,108,114,119,129,135,142,153,156,160,171,174],"automated":[7],"synthesis":[8],"of":[9,78,103,131,144,173,176],"correct-by-construction":[10],"controllers":[11],"stochastic":[13,38,91],"dynamical":[14],"systems.":[15],"However,":[16],"existing":[17],"abstraction":[18,35,157],"methods":[19],"often":[20],"lead":[21],"to":[22,46,73,87,123,180],"prohibitively":[23],"large":[24],"finite-state":[25],"models.":[26,51],"To":[27],"address":[28],"this":[29],"issue,":[30],"we":[31,56,110],"propose":[32],"a":[33,53,63,70,75,84,147],"novel":[34],"scheme":[36],"linear":[39,64],"systems":[40],"that":[41,166],"exploits":[42],"system's":[44],"stability":[45],"obtain":[47],"significantly":[48],"smaller":[49,124],"abstract":[50,74,125],"As":[52],"unique":[54],"feature,":[55],"first":[57],"stabilize":[58],"open-loop":[60],"dynamics":[61,81],"using":[62,83],"feedback":[65,137],"gain.":[66],"We":[67,93],"then":[68,146],"use":[69],"model-based":[71],"approach":[72,168],"known":[76],"part":[77],"stabilized":[80],"while":[82,127],"data-driven":[85],"method":[86],"account":[88],"uncertainty.":[92],"formalize":[94],"as":[96],"Markov":[97],"decision":[98],"processes":[99],"(MDPs)":[100],"with":[101,141,182],"intervals":[102],"transition":[104],"probabilities.":[105],"By":[106],"stabilizing":[107,136],"dynamics,":[109],"can":[111,169],"further":[112],"constrain":[113],"control":[115],"input":[116],"modeled":[117],"in":[118,155],"abstraction,":[120],"which":[121],"leads":[122],"models":[126],"retaining":[128],"correctness":[130],"controllers.":[132],"Moreover,":[133],"when":[134],"controller":[138],"is":[139,150],"aligned":[140],"property":[143],"interest,":[145],"good":[148],"trade-off":[149],"achieved":[151],"between":[152],"reduction":[154],"size":[158,172],"and":[159],"performance":[161,184],"loss.":[162,185],"The":[163],"experiments":[164],"show":[165],"our":[167],"reduce":[170],"graph":[175],"by":[178],"up":[179],"90%":[181],"negligible":[183]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2024-04-05T00:00:00"}