{"id":"https://openalex.org/W4406033120","doi":"https://doi.org/10.48550/arxiv.2501.01191","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","display_name":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","publication_year":2025,"publication_date":"2025-01-02","ids":{"openalex":"https://openalex.org/W4406033120","doi":"https://doi.org/10.48550/arxiv.2501.01191"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2501.01191","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.01191","pdf_url":"https://arxiv.org/pdf/2501.01191","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2501.01191","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5115757221","display_name":"Mahdi Nazeri","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Nazeri, Mahdi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","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":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017334634","display_name":"Sadegh Soudjani","orcid":"https://orcid.org/0000-0003-1922-6678"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Soudjani, Sadegh","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5104312411","display_name":"Alessandro Abate","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Abate, Alessandro","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5115757221"],"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/T11810","display_name":"Complex Systems and Decision Making","score":0.6671000123023987,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11810","display_name":"Complex Systems and Decision Making","score":0.6671000123023987,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"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/T11195","display_name":"Simulation Techniques and Applications","score":0.6572999954223633,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"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.6112682223320007},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4926210045814514},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.4444971978664398},{"id":"https://openalex.org/keywords/statistical-physics","display_name":"Statistical physics","score":0.3321187496185303},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.14581206440925598}],"concepts":[{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.6112682223320007},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4926210045814514},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.4444971978664398},{"id":"https://openalex.org/C121864883","wikidata":"https://www.wikidata.org/wiki/Q677916","display_name":"Statistical physics","level":1,"score":0.3321187496185303},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.14581206440925598},{"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:2501.01191","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.01191","pdf_url":"https://arxiv.org/pdf/2501.01191","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2501.01191","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2501.01191","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":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2501.01191","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.01191","pdf_url":"https://arxiv.org/pdf/2501.01191","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4406033120.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"The":[0],"automated":[1],"synthesis":[2,123],"of":[3,22,54,80,90,101,111,124,140,154],"control":[4,144,160],"policies":[5,125],"for":[6,67,126],"stochastic":[7,75],"dynamical":[8,71],"systems":[9,72],"presents":[10],"significant":[11],"challenges.":[12],"A":[13],"standard":[14],"approach":[15,156],"is":[16,37],"to":[17,93],"construct":[18],"a":[19,29,62,84,142],"finite-state":[20],"abstraction":[21,65],"the":[23,41,55,91,95,102,122,127,138,150],"continuous":[24,70],"system,":[25,130],"typically":[26],"represented":[27],"as":[28,107,115],"Markov":[30],"decision":[31],"process":[32],"(MDP).":[33],"However,":[34],"generating":[35],"abstractions":[36,106,120],"challenging":[38],"when":[39],"(1)":[40],"system's":[42],"dynamics":[43,92],"are":[44],"nonlinear,":[45],"and/or":[46],"(2)":[47],"we":[48,60,87],"do":[49],"not":[50],"have":[51],"complete":[52],"knowledge":[53],"dynamics.":[56],"In":[57],"this":[58],"work,":[59],"introduce":[61],"novel":[63],"data-driven":[64],"technique":[66],"nonlinear":[68,129],"Lipschitz":[69],"with":[73,109,131],"additive":[74],"noise":[76],"that":[77],"addresses":[78],"both":[79],"these":[81],"issues.":[82],"As":[83],"key":[85],"step,":[86],"use":[88],"samples":[89],"learn":[94],"enabled":[96],"actions":[97],"and":[98,152],"transition":[99,112],"probabilities":[100],"abstraction.":[103],"We":[104],"represent":[105],"MDPs":[108,117],"intervals":[110],"probabilities,":[113],"known":[114],"interval":[116],"(IMDPs).":[118],"These":[119],"enable":[121],"concrete":[128],"probably":[132],"approximately":[133],"correct":[134],"(PAC)":[135],"guarantees":[136],"on":[137],"probability":[139],"satisfying":[141],"specified":[143],"objective.":[145],"Our":[146],"numerical":[147],"experiments":[148],"illustrate":[149],"effectiveness":[151],"robustness":[153],"our":[155],"in":[157],"achieving":[158],"reliable":[159],"under":[161],"uncertainty.":[162]},"counts_by_year":[],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}