{"id":"https://openalex.org/W3210037798","doi":"https://doi.org/10.48550/arxiv.2111.01312","title":"DaDRA: A Python Library for Data-Driven Reachability Analysis","display_name":"DaDRA: A Python Library for Data-Driven Reachability Analysis","publication_year":2021,"publication_date":"2021-11-02","ids":{"openalex":"https://openalex.org/W3210037798","doi":"https://doi.org/10.48550/arxiv.2111.01312","mag":"3210037798"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2111.01312","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2111.01312","pdf_url":"https://arxiv.org/pdf/2111.01312","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2111.01312","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083449091","display_name":"Jared Mejia","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I177881444","display_name":"Pomona College","ror":"https://ror.org/0074grg94","country_code":"US","type":"education","lineage":["https://openalex.org/I177881444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mejia, Jared","raw_affiliation_strings":["Department of Computer Science Pomona College Claremont , CA 91711","Pomona College"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science Pomona College Claremont , CA 91711","institution_ids":["https://openalex.org/I177881444"]},{"raw_affiliation_string":"Pomona College","institution_ids":["https://openalex.org/I177881444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011308410","display_name":"Alex Devonport","orcid":"https://orcid.org/0000-0003-1913-5637","observed_orcids":["https://orcid.org/0000-0003-1913-5637"]},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Devonport, Alex","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science University of California , Berkeley Berkeley , CA 94720","University of California\u2013Berkeley"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science University of California , Berkeley Berkeley , CA 94720","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"University of California\u2013Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025743742","display_name":"Murat Arcak","orcid":"https://orcid.org/0000-0001-9060-4032","observed_orcids":["https://orcid.org/0000-0001-9060-4032"]},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Arcak, Murat","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science University of California , Berkeley Berkeley , CA 94720","University of California\u2013Berkeley"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science University of California , Berkeley Berkeley , CA 94720","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"University of California\u2013Berkeley","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"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/T10142","display_name":"Formal Methods in Verification","score":0.9926999807357788,"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.9926999807357788,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.0024999999441206455,"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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.0005000000237487257,"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/reachability-analysis","display_name":"reachability analysis","score":0.9150000214576721},{"id":"https://openalex.org/keywords/probabilistic-guarantees","display_name":"probabilistic guarantees","score":0.7950000166893005},{"id":"https://openalex.org/keywords/safety-verification","display_name":"safety verification","score":0.6970000267028809},{"id":"https://openalex.org/keywords/controller-synthesis","display_name":"controller synthesis","score":0.9620000123977661},{"id":"https://openalex.org/keywords/safety-critical-systems","display_name":"safety-critical systems","score":0.7940000295639038},{"id":"https://openalex.org/keywords/python-library","display_name":"Python library","score":0.5849999785423279},{"id":"https://openalex.org/keywords/chaotic-systems","display_name":"chaotic systems","score":0.5960000157356262},{"id":"https://openalex.org/keywords/nonlinear-dynamics","display_name":"nonlinear dynamics","score":0.8759999871253967},{"id":"https://openalex.org/keywords/disturbance-signals","display_name":"disturbance signals","score":0.6859999895095825},{"id":"https://openalex.org/keywords/robustness","display_name":"robustness","score":0.3409999907016754}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9478412866592407},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7468296885490417},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.7186319828033447},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5615719556808472},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4974358379840851},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.46608561277389526},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.46084997057914734},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.41204559803009033},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2668493688106537},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08955523371696472},{"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}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2111.01312","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2111.01312","pdf_url":"https://arxiv.org/pdf/2111.01312","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"mag:3210037798","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/pdf/2111.01312.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2111.01312","doi":"https://doi.org/10.48550/arxiv.2111.01312","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2111.01312","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2111.01312","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2111.01312","pdf_url":"https://arxiv.org/pdf/2111.01312","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3210037798.pdf","grobid_xml":"https://content.openalex.org/works/W3210037798.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W92641534","https://openalex.org/W2022907226","https://openalex.org/W2114540411","https://openalex.org/W2329133011","https://openalex.org/W2573460936","https://openalex.org/W2604744961","https://openalex.org/W2802624942","https://openalex.org/W2919694184","https://openalex.org/W2948623886","https://openalex.org/W3157497799","https://openalex.org/W3175435680"],"related_works":["https://openalex.org/W7123335198","https://openalex.org/W7151025475","https://openalex.org/W7148600205","https://openalex.org/W3080716118","https://openalex.org/W3175435680","https://openalex.org/W3103392576","https://openalex.org/W7135178626","https://openalex.org/W3200620117","https://openalex.org/W4407127203","https://openalex.org/W3157497799"],"abstract_inverted_index":{"Reachability":[0],"analysis":[1,41,78],"is":[2,18,59],"used":[3],"to":[4,22,39],"determine":[5],"all":[6],"possible":[7],"states":[8],"that":[9,53,73],"a":[10,19,70,107],"system":[11,56,109],"acting":[12,110],"under":[13,111],"uncertainty":[14],"may":[15],"reach.":[16],"It":[17],"critical":[20],"component":[21],"obtain":[23],"guarantees":[24,44],"of":[25,45,89],"various":[26,92],"safety-critical":[27],"systems":[28,93,102],"both":[29],"for":[30,61,75,101],"safety":[31],"verification":[32],"and":[33,106,115],"controller":[34,120],"synthesis.":[35],"Though":[36],"traditional":[37],"approaches":[38],"reachability":[40,77],"provide":[42],"formal":[43],"the":[46,86],"reachable":[47],"set,":[48],"they":[49],"involve":[50],"complex":[51,112],"algorithms":[52],"require":[54],"full":[55],"information,":[57],"which":[58],"impractical":[60],"use":[62],"in":[63],"real":[64],"world":[65],"settings.":[66],"We":[67,84],"present":[68],"DaDRA,":[69],"Python":[71],"library":[72],"allows":[74],"data-driven":[76],"with":[79,103,117],"arbitrarily":[80],"robust":[81],"probabilistic":[82],"guarantees.":[83],"demonstrate":[85],"practical":[87],"functionality":[88],"DaDRA":[90],"on":[91],"including:":[94],"an":[95,118],"analytically":[96],"intractable":[97],"chaotic":[98],"system,":[99],"benchmarks":[100],"nonlinear":[104],"dynamics,":[105],"realistic":[108],"disturbance":[113],"signals":[114],"controlled":[116],"intricate":[119],"across":[121],"multiple":[122],"dimensions.":[123]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2021-11-08T00:00:00"}