{"id":"https://openalex.org/W6930720468","doi":"https://doi.org/10.5281/zenodo.13348783","title":"DynAbs: Abstraction-Based Controller Synthesis for Stochastic Linear Dynamical Systems","display_name":"DynAbs: Abstraction-Based Controller Synthesis for Stochastic Linear Dynamical Systems","publication_year":2024,"publication_date":"2024-08-20","ids":{"openalex":"https://openalex.org/W6930720468","doi":"https://doi.org/10.5281/zenodo.13348783"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.13348783","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13348783","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.13348783","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Badings, Thom","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":"Badings, Thom","raw_affiliation_strings":["Radboud University Nijmegen"],"raw_orcid":"https://orcid.org/0000-0002-5235-1967","affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Romao, Licio","orcid":"https://orcid.org/0000-0002-5716-6162"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Romao, Licio","raw_affiliation_strings":["Stanford University"],"raw_orcid":"https://orcid.org/0000-0002-5716-6162","affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Abate, Alessandro","orcid":null},"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":"Abate, Alessandro","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":null,"display_name":"Parker, Dave","orcid":"https://orcid.org/0000-0003-4137-8862"},"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":"Parker, Dave","raw_affiliation_strings":["University of Oxford"],"raw_orcid":"https://orcid.org/0000-0003-4137-8862","affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Poonawala, Hasan","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":"Poonawala, Hasan","raw_affiliation_strings":["University of Kentucky"],"raw_orcid":"https://orcid.org/0000-0003-4201-4745","affiliations":[{"raw_affiliation_string":"University of Kentucky","institution_ids":["https://openalex.org/I143302722"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Stoelinga, Marielle","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":"Stoelinga, Marielle","raw_affiliation_strings":["Radboud University Nijmegen","University of Twente"],"raw_orcid":"https://orcid.org/0000-0001-6793-8165","affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"University of Twente","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":null,"display_name":"Jansen, Nils","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"]},{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE","NL"],"is_corresponding":false,"raw_author_name":"Jansen, Nils","raw_affiliation_strings":["Radboud University","Ruhr University Bochum"],"raw_orcid":"https://orcid.org/0000-0003-1318-8973","affiliations":[{"raw_affiliation_string":"Radboud University","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Ruhr University Bochum","institution_ids":["https://openalex.org/I904495901"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":7,"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":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.6754999756813049},{"id":"https://openalex.org/keywords/linear-dynamical-system","display_name":"Linear dynamical system","score":0.5458999872207642},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5174000263214111},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5055999755859375},{"id":"https://openalex.org/keywords/robust-control","display_name":"Robust control","score":0.48570001125335693},{"id":"https://openalex.org/keywords/noise","display_name":"Noise (video)","score":0.48179998993873596},{"id":"https://openalex.org/keywords/replicate","display_name":"Replicate","score":0.41290000081062317},{"id":"https://openalex.org/keywords/dynamical-system","display_name":"Dynamical system (definition)","score":0.41029998660087585}],"concepts":[{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.6754999756813049},{"id":"https://openalex.org/C114275822","wikidata":"https://www.wikidata.org/wiki/Q621512","display_name":"Linear dynamical system","level":3,"score":0.5458999872207642},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5300999879837036},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5174000263214111},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5055999755859375},{"id":"https://openalex.org/C31531917","wikidata":"https://www.wikidata.org/wiki/Q915157","display_name":"Robust control","level":3,"score":0.48570001125335693},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.48179998993873596},{"id":"https://openalex.org/C2781162219","wikidata":"https://www.wikidata.org/wiki/Q26250693","display_name":"Replicate","level":2,"score":0.41290000081062317},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.41029998660087585},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.3919999897480011},{"id":"https://openalex.org/C3018651601","wikidata":"https://www.wikidata.org/wiki/Q183635","display_name":"Feedback control","level":2,"score":0.3785000145435333},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3783999979496002},{"id":"https://openalex.org/C2984730371","wikidata":"https://www.wikidata.org/wiki/Q6501221","display_name":"Feedback controller","level":3,"score":0.3677999973297119},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3522000014781952},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.35010001063346863},{"id":"https://openalex.org/C170131372","wikidata":"https://www.wikidata.org/wiki/Q7617811","display_name":"Stochastic control","level":3,"score":0.3409999907016754},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.32100000977516174},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3034000098705292},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.28209999203681946},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27140000462532043},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.2678999900817871},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.25839999318122864},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2549000084400177},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.2526000142097473}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.13348783","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13348783","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.13348783","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13348783","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"article"},"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":{"DynAbs":[0,49],"is":[1],"a":[2,34],"tool":[3],"for":[4,8,118,146],"computing":[5],"feedback":[6],"controllers":[7,19],"stochastic":[9],"linear":[10],"dynamical":[11],"systems":[12],"with":[13,31,95,121,150],"reach-avoid":[14,29],"control":[15],"tasks.":[16],"The":[17,58],"returned":[18],"are":[20],"provably":[21],"correct,":[22],"which":[23],"means":[24],"that":[25],"they":[26],"satisfy":[27],"the":[28,42,45,68,72,161,167],"task":[30],"at":[32],"least":[33],"desired":[35],"threshold":[36],"probability.":[37],"This":[38],"code":[39,62,171],"archive":[40,59],"contains":[41,60],"content":[43],"of":[44,48,92],"git":[46],"repository":[47],"(https://github.com/LAVA-LAB/DynAbs;":[50],"main":[51],"branch),":[52],"copied":[53],"on":[54],"August":[55],"25,":[56],"2024.":[57],"all":[61],"and":[63,158],"instructions":[64],"needed":[65],"to":[66,160,166],"replicate":[67],"results":[69],"presented":[70],"in":[71],"following":[73],"papers:":[74],"Thom":[75,100,129],"Badings,":[76,101,130],"Alessandro":[77,104,133],"Abate,":[78,105,134],"David":[79,106],"Parker,":[80,107],"Nils":[81,113,136],"Jansen,":[82],"Hasan":[83,108],"Poonawala":[84],"&":[85,112,135],"Marielle":[86,110],"Stoelinga":[87,111],"(2022).":[88,115],"Sampling-based":[89],"Robust":[90,116],"Control":[91,117],"Autonomous":[93],"Systems":[94,120],"Non-Gaussian":[96,122],"Noise.":[97],"AAAI":[98,153],"2022":[99],"Licio":[102,131],"Romao,":[103,132],"Poonawala,":[109],"Jansen":[114,137],"Dynamical":[119,148],"Noise":[123],"via":[124],"Formal":[125,143],"Abstractions.":[126],"JAIR":[127],"2023":[128,154],"(2023).":[138],"Probabilities":[139],"Are":[140],"Not":[141],"Enough:":[142],"Controller":[144],"Synthesis":[145],"Stochastic":[147],"Models":[149],"Epistemic":[151],"Uncertainty.":[152],"For":[155],"further":[156],"information":[157],"references":[159],"relevant":[162],"papers,":[163],"we":[164],"refer":[165],"ReadMe":[168],"within":[169],"this":[170],"archive.":[172]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}