{"id":"https://openalex.org/W4313598410","doi":"https://doi.org/10.48550/arxiv.2301.01526","title":"Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions","display_name":"Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions","publication_year":2023,"publication_date":"2023-01-04","ids":{"openalex":"https://openalex.org/W4313598410","doi":"https://doi.org/10.48550/arxiv.2301.01526"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2301.01526","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2301.01526","pdf_url":"https://arxiv.org/pdf/2301.01526","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/2301.01526","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":true,"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":"middle","author":{"id":"https://openalex.org/A5071014323","display_name":"David Parker","orcid":"https://orcid.org/0000-0001-5281-5146"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Parker, David","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062697455","display_name":"Hasan A. Poonawala","orcid":"https://orcid.org/0000-0003-4201-4745"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Poonawala, Hasan A.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053065289","display_name":"Mari\u00eblle Stoelinga","orcid":"https://orcid.org/0000-0001-6793-8165"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stoelinga, Marielle","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":7,"corresponding_author_ids":["https://openalex.org/A5073020318"],"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/T10142","display_name":"Formal Methods in Verification","score":0.9857000112533569,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9857000112533569,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9531999826431274,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9150999784469604,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.6820908188819885},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6200283765792847},{"id":"https://openalex.org/keywords/noise","display_name":"Noise (video)","score":0.5914096236228943},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5664270520210266},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5181421041488647},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.4999425411224365},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4899391531944275},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.4543061852455139},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.422836035490036},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.42143556475639343},{"id":"https://openalex.org/keywords/gaussian","display_name":"Gaussian","score":0.4117686152458191},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3622090220451355},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3425096869468689},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.323326051235199},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.25605568289756775},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.1509474813938141},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12026679515838623}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6820908188819885},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6200283765792847},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.5914096236228943},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5664270520210266},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5181421041488647},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.4999425411224365},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4899391531944275},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.4543061852455139},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.422836035490036},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.42143556475639343},{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.4117686152458191},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3622090220451355},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3425096869468689},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.323326051235199},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25605568289756775},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.1509474813938141},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12026679515838623},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2301.01526","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2301.01526","pdf_url":"https://arxiv.org/pdf/2301.01526","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":"pmh:oai:ora.ox.ac.uk:uuid:1c98ce26-da65-4bb3-833f-e9a5886ffe0e","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:1c98ce26-da65-4bb3-833f-e9a5886ffe0e","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symplectic Elements","raw_type":"Journal article"},{"id":"doi:10.48550/arxiv.2301.01526","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2301.01526","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-journal"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2301.01526","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2301.01526","pdf_url":"https://arxiv.org/pdf/2301.01526","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":[{"id":"https://openalex.org/G2039356335","display_name":null,"funder_award_id":"1160.18.238","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G3373991914","display_name":null,"funder_award_id":"101008233","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4371345817","display_name":null,"funder_award_id":"NWA.1160.18.238","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G578781017","display_name":"From FUnction-based TO MOdel-based automated probabilistic reasoning for DEep Learning","funder_award_id":"834115","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7274459873","display_name":null,"funder_award_id":"EP/X525777/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8491077145","display_name":"Integrating Safety and Cybersecurity through Stochastic Model Checking","funder_award_id":"864075","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4313598410.pdf","grobid_xml":"https://content.openalex.org/works/W4313598410.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4388236136","https://openalex.org/W2807018115","https://openalex.org/W4200250224","https://openalex.org/W2126560268","https://openalex.org/W2285658092","https://openalex.org/W187740018","https://openalex.org/W2482498454","https://openalex.org/W2162286586","https://openalex.org/W2947128950","https://openalex.org/W4255368532"],"abstract_inverted_index":{"Controllers":[0],"for":[1,11,218],"dynamical":[2,24],"systems":[3,254],"that":[4,30,64,86,115,237],"operate":[5],"in":[6,22,160,184],"safety-critical":[7],"settings":[8],"must":[9],"account":[10],"stochastic":[12],"disturbances.":[13],"Such":[14],"disturbances":[15],"are":[16,29,34],"often":[17],"modeled":[18],"as":[19],"process":[20,171],"noise":[21,55,74,117],"a":[23,59,84,93,112,125,148,166,177,216,233],"system,":[25],"and":[26,46,188,214],"common":[27],"assumptions":[28,42],"the":[31,53,73,80,101,107,132,154,161,185,189,192,199,212,225,239,242,248,256,264],"underlying":[32],"distributions":[33],"known":[35],"and/or":[36],"Gaussian.":[37],"In":[38,76,229],"practice,":[39],"however,":[40],"these":[41,143,158,220,245],"may":[43],"be":[44,196],"unrealistic":[45],"can":[47,195],"lead":[48],"to":[49,135,208,224],"poor":[50],"approximations":[51],"of":[52,72,82,100,151,153,165,191,201,241,244,259,268,270],"true":[54],"distribution.":[56],"We":[57,156,203],"present":[58],"novel":[60],"controller":[61,85,217],"synthesis":[62,243],"method":[63],"does":[65],"not":[66],"rely":[67],"on":[68,90,142,147,211,247,251],"any":[69],"explicit":[70],"representation":[71],"distributions.":[75],"particular,":[77],"we":[78,105,128,231],"address":[79],"problem":[81],"computing":[83],"provides":[87],"probabilistic":[88,119],"guarantees":[89,210,221,246],"safely":[91],"reaching":[92],"target,":[94],"while":[95],"also":[96],"avoiding":[97],"unsafe":[98],"regions":[99],"state":[102],"space.":[103],"First,":[104],"abstract":[106],"continuous":[108],"control":[109,227,253],"system":[110],"into":[111],"finite-state":[113],"model":[114],"captures":[116],"by":[118],"transitions":[120],"between":[121],"discrete":[122],"states.":[123],"As":[124],"key":[126],"contribution,":[127],"adapt":[129],"tools":[130],"from":[131],"scenario":[133],"approach":[134],"compute":[136,215],"probably":[137],"approximately":[138],"correct":[139],"(PAC)":[140],"bounds":[141,159],"transition":[144,162,186],"probabilities,":[145,187],"based":[146],"finite":[149],"number":[150,200],"samples":[152],"noise.":[155],"capture":[157],"probability":[163,193],"intervals":[164,194],"so-called":[167],"interval":[168],"Markov":[169],"decision":[170],"(iMDP).":[172],"This":[173],"iMDP":[174,213,265],"is,":[175],"with":[176],"user-specified":[178],"confidence":[179],"probability,":[180],"robust":[181],"against":[182],"uncertainty":[183],"tightness":[190],"controlled":[197],"through":[198],"samples.":[202],"use":[204],"state-of-the-art":[205],"verification":[206],"techniques":[207],"provide":[209],"which":[219],"carry":[222],"over":[223],"original":[226],"system.":[228],"addition,":[230],"develop":[232],"tailored":[234],"computational":[235],"scheme":[236],"reduces":[238],"complexity":[240],"iMDP.":[249],"Benchmarks":[250],"realistic":[252],"show":[255],"practical":[257],"applicability":[258],"our":[260],"method,":[261],"even":[262],"when":[263],"has":[266],"hundreds":[267],"millions":[269],"transitions.":[271]},"counts_by_year":[],"updated_date":"2026-05-11T08:15:01.531666","created_date":"2025-10-10T00:00:00"}