{"id":"https://openalex.org/W4317716378","doi":"https://doi.org/10.1613/jair.1.14253","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-21","ids":{"openalex":"https://openalex.org/W4317716378","doi":"https://doi.org/10.1613/jair.1.14253"},"language":"en","primary_location":{"id":"doi:10.1613/jair.1.14253","is_oa":true,"landing_page_url":"https://doi.org/10.1613/jair.1.14253","pdf_url":"https://jair.org/index.php/jair/article/download/14253/26893","source":{"id":"https://openalex.org/S139930977","display_name":"Journal of Artificial Intelligence Research","issn_l":"1076-9757","issn":["1076-9757","1943-5037"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315760","host_organization_name":"AI Access Foundation","host_organization_lineage":["https://openalex.org/P4310315760"],"host_organization_lineage_names":["AI Access Foundation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Artificial Intelligence Research","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://jair.org/index.php/jair/article/download/14253/26893","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":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Thom Badings","raw_affiliation_strings":["a:1:{s:5:\"en_US\";s:18:\"Radboud University\";}","a:1:{s:5:\"en_US\"","s:18:\"Radboud University\""],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"a:1:{s:5:\"en_US\";s:18:\"Radboud University\";}","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"a:1:{s:5:\"en_US\"","institution_ids":[]},{"raw_affiliation_string":"s:18:\"Radboud University\"","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011771160","display_name":"Licio Romao","orcid":"https://orcid.org/0000-0002-5716-6162"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Licio Romao","raw_affiliation_strings":["University of Oxford"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091718585","display_name":"Alessandro Abate","orcid":"https://orcid.org/0000-0002-5627-9093"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alessandro Abate","raw_affiliation_strings":["University of Oxford"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071014323","display_name":"David Parker","orcid":"https://orcid.org/0000-0001-5281-5146"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Parker","raw_affiliation_strings":["University of Oxford"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062697455","display_name":"Hasan A. Poonawala","orcid":"https://orcid.org/0000-0003-4201-4745"},"institutions":[{"id":"https://openalex.org/I143302722","display_name":"University of Kentucky","ror":"https://ror.org/02k3smh20","country_code":"US","type":"education","lineage":["https://openalex.org/I143302722"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hasan A. Poonawala","raw_affiliation_strings":["University of Kentucky"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Kentucky","institution_ids":["https://openalex.org/I143302722"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053065289","display_name":"Mari\u00eblle Stoelinga","orcid":"https://orcid.org/0000-0001-6793-8165"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marielle Stoelinga","raw_affiliation_strings":["Radboud University; University of Twente","Radboud University","University of Twente"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Radboud University; University of Twente","institution_ids":["https://openalex.org/I145872427","https://openalex.org/I94624287"]},{"raw_affiliation_string":"Radboud University","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"University of Twente","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012669709","display_name":"Nils Jansen","orcid":"https://orcid.org/0000-0003-1318-8973"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Nils Jansen","raw_affiliation_strings":["Radboud University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Radboud University","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.1151,"has_fulltext":true,"cited_by_count":29,"citation_normalized_percentile":{"value":0.9514495,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"76","issue":null,"first_page":"341","last_page":"391"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980000257492065,"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.9980000257492065,"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.9911999702453613,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9847999811172485,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.6751809120178223},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6141820549964905},{"id":"https://openalex.org/keywords/noise","display_name":"Noise (video)","score":0.5935211181640625},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5621063113212585},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.514765739440918},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5031175017356873},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.4848857820034027},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.4497494697570801},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.4259375035762787},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.41099822521209717},{"id":"https://openalex.org/keywords/gaussian","display_name":"Gaussian","score":0.41088831424713135},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.35118719935417175},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.343549907207489},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3301454782485962},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2852344810962677},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.1664438545703888},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1336265206336975}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6751809120178223},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6141820549964905},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.5935211181640625},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5621063113212585},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.514765739440918},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5031175017356873},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.4848857820034027},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.4497494697570801},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.4259375035762787},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.41099822521209717},{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.41088831424713135},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.35118719935417175},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.343549907207489},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3301454782485962},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2852344810962677},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.1664438545703888},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1336265206336975},{"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1613/jair.1.14253","is_oa":true,"landing_page_url":"https://doi.org/10.1613/jair.1.14253","pdf_url":"https://jair.org/index.php/jair/article/download/14253/26893","source":{"id":"https://openalex.org/S139930977","display_name":"Journal of Artificial Intelligence Research","issn_l":"1076-9757","issn":["1076-9757","1943-5037"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315760","host_organization_name":"AI Access Foundation","host_organization_lineage":["https://openalex.org/P4310315760"],"host_organization_lineage_names":["AI Access Foundation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Artificial Intelligence Research","raw_type":"journal-article"},{"id":"pmh:oai:ris.utwente.nl:openaire/ad553a1e-4f6e-4206-8330-7e569cd2a430","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/ad553a1e-4f6e-4206-8330-7e569cd2a430","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Badings, T S, Romao, L, Abate, A, Parker, D, Poonawala, H A, Stoelinga, M & Jansen, N 2023, 'Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions', Journal of Artificial Intelligence Research, vol. 76, pp. 341-391. https://doi.org/10.1613/JAIR.1.14253","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/289937","is_oa":true,"landing_page_url":"https://hdl.handle.net/2066/289937","pdf_url":"https://repository.ubn.ru.nl//bitstream/handle/2066/289937/289937.pdf","source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article / Letter to editor"},{"id":"pmh:oai:ris.utwente.nl:publications/ad553a1e-4f6e-4206-8330-7e569cd2a430","is_oa":true,"landing_page_url":"https://research.utwente.nl/files/359118345/14253wPg_s.pdf","pdf_url":"https://ris.utwente.nl/ws/files/359118345/14253wPg_s.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Badings, T S, Romao, L, Abate, A, Parker, D, Poonawala, H A, Stoelinga, M & Jansen, N 2023, 'Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions', Journal of Artificial Intelligence Research, vol. 76, pp. 341-391. https://doi.org/10.1613/JAIR.1.14253","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/289937","is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/289937","pdf_url":"https://repository.ubn.ru.nl/bitstream/handle/2066/289937/1/289937.pdf","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"The Journal of Artificial Intelligence Research, 76, 341 - 391","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1613/jair.1.14253","is_oa":true,"landing_page_url":"https://doi.org/10.1613/jair.1.14253","pdf_url":"https://jair.org/index.php/jair/article/download/14253/26893","source":{"id":"https://openalex.org/S139930977","display_name":"Journal of Artificial Intelligence Research","issn_l":"1076-9757","issn":["1076-9757","1943-5037"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315760","host_organization_name":"AI Access Foundation","host_organization_lineage":["https://openalex.org/P4310315760"],"host_organization_lineage_names":["AI Access Foundation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Artificial Intelligence Research","raw_type":"journal-article"},"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":"Models in Space Systems: Integration, Operation, and Networking","funder_award_id":"101008233","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4244760147","display_name":null,"funder_award_id":"EP/X52 5777/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G434337789","display_name":null,"funder_award_id":"HORIZON2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"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"},{"id":"https://openalex.org/G578781017","display_name":null,"funder_award_id":"834115","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8491077145","display_name":null,"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":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4317716378.pdf"},"referenced_works_count":137,"referenced_works":["https://openalex.org/W117911312","https://openalex.org/W153160029","https://openalex.org/W172589331","https://openalex.org/W177930832","https://openalex.org/W568673721","https://openalex.org/W1483307070","https://openalex.org/W1487691575","https://openalex.org/W1498432697","https://openalex.org/W1504946885","https://openalex.org/W1516952899","https://openalex.org/W1536550909","https://openalex.org/W1591992921","https://openalex.org/W1712265143","https://openalex.org/W1763790326","https://openalex.org/W1792768639","https://openalex.org/W1814684745","https://openalex.org/W1845972764","https://openalex.org/W1862398452","https://openalex.org/W1965878388","https://openalex.org/W1975219867","https://openalex.org/W1976268573","https://openalex.org/W1976466849","https://openalex.org/W1980146067","https://openalex.org/W1987073190","https://openalex.org/W1988217924","https://openalex.org/W1993112505","https://openalex.org/W2005998857","https://openalex.org/W2012811607","https://openalex.org/W2040749143","https://openalex.org/W2058735307","https://openalex.org/W2066778083","https://openalex.org/W2080813827","https://openalex.org/W2094435766","https://openalex.org/W2097148013","https://openalex.org/W2098597080","https://openalex.org/W2100538121","https://openalex.org/W2100893927","https://openalex.org/W2105078254","https://openalex.org/W2110601664","https://openalex.org/W2117218135","https://openalex.org/W2117781171","https://openalex.org/W2119303899","https://openalex.org/W2122994575","https://openalex.org/W2125417745","https://openalex.org/W2131116400","https://openalex.org/W2153143343","https://openalex.org/W2157807654","https://openalex.org/W2161966552","https://openalex.org/W2165428239","https://openalex.org/W2171282796","https://openalex.org/W2238201325","https://openalex.org/W2289331671","https://openalex.org/W2402642317","https://openalex.org/W2413475417","https://openalex.org/W2468927877","https://openalex.org/W2488527493","https://openalex.org/W2489340779","https://openalex.org/W2566620089","https://openalex.org/W2568825449","https://openalex.org/W2602963933","https://openalex.org/W2611136914","https://openalex.org/W2618318883","https://openalex.org/W2716905450","https://openalex.org/W2745094767","https://openalex.org/W2760003929","https://openalex.org/W2794090779","https://openalex.org/W2892521964","https://openalex.org/W2903240769","https://openalex.org/W2936953762","https://openalex.org/W2937258472","https://openalex.org/W2943876157","https://openalex.org/W2951334307","https://openalex.org/W2951930445","https://openalex.org/W2952920810","https://openalex.org/W2963450292","https://openalex.org/W2963525569","https://openalex.org/W2963778636","https://openalex.org/W2964040381","https://openalex.org/W2968312042","https://openalex.org/W2970528191","https://openalex.org/W2972858943","https://openalex.org/W2991484107","https://openalex.org/W2996196387","https://openalex.org/W3013742101","https://openalex.org/W3047166264","https://openalex.org/W3099114572","https://openalex.org/W3101442004","https://openalex.org/W3104168345","https://openalex.org/W3105252106","https://openalex.org/W3112872849","https://openalex.org/W3125855560","https://openalex.org/W3134757884","https://openalex.org/W3150266660","https://openalex.org/W3195968524","https://openalex.org/W3211208700","https://openalex.org/W3211802541","https://openalex.org/W4221110788","https://openalex.org/W4226253529","https://openalex.org/W4229907990","https://openalex.org/W4232853770","https://openalex.org/W4233323875","https://openalex.org/W4280651927","https://openalex.org/W4289874404","https://openalex.org/W4293477811","https://openalex.org/W4294555834","https://openalex.org/W4295678793","https://openalex.org/W4297782577","https://openalex.org/W4298023569","https://openalex.org/W4301058535","https://openalex.org/W4301602852","https://openalex.org/W4306177474","https://openalex.org/W4382318213","https://openalex.org/W4382318883","https://openalex.org/W6605671502","https://openalex.org/W6607093319","https://openalex.org/W6609682929","https://openalex.org/W6629287044","https://openalex.org/W6629784141","https://openalex.org/W6631512933","https://openalex.org/W6635516443","https://openalex.org/W6639667798","https://openalex.org/W6651994136","https://openalex.org/W6660734588","https://openalex.org/W6665018949","https://openalex.org/W6675860490","https://openalex.org/W6676849953","https://openalex.org/W6677746576","https://openalex.org/W6682729792","https://openalex.org/W6690026989","https://openalex.org/W6735677848","https://openalex.org/W6751060025","https://openalex.org/W6756811858","https://openalex.org/W6770584317","https://openalex.org/W6910434219","https://openalex.org/W6966558720","https://openalex.org/W7001894244","https://openalex.org/W7048550893"],"related_works":["https://openalex.org/W2807018115","https://openalex.org/W4388236136","https://openalex.org/W2315999538","https://openalex.org/W4200250224","https://openalex.org/W2606546905","https://openalex.org/W2126560268","https://openalex.org/W2285658092","https://openalex.org/W187740018","https://openalex.org/W2482498454","https://openalex.org/W2162286586"],"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":[{"year":2026,"cited_by_count":5},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":10}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}