{"id":"https://openalex.org/W2979022545","doi":"https://doi.org/10.23919/acc45564.2020.9147918","title":"Data-Driven Reachable Set Computation using Adaptive Gaussian Process Classification and Monte Carlo Methods","display_name":"Data-Driven Reachable Set Computation using Adaptive Gaussian Process Classification and Monte Carlo Methods","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W2979022545","doi":"https://doi.org/10.23919/acc45564.2020.9147918","mag":"2979022545"},"language":"en","primary_location":{"id":"doi:10.23919/acc45564.2020.9147918","doi":"https://doi.org/10.23919/acc45564.2020.9147918","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc45564.2020.9147918","pdf_url":null,"source":{"id":"https://openalex.org/S4210168941","display_name":"Proceedings of the ... American Control Conference/Proceedings of the American Control Conference","issn_l":"0743-1619","issn":["0743-1619","2378-5861"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 American Control Conference (ACC)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1910.02500","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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":"Alex Devonport","raw_affiliation_strings":["Electrical Engineering and Computer Sciences, University of California, Berkeley","University of California\u2013Berkeley"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrical Engineering and Computer Sciences, University of California, Berkeley","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":"Murat Arcak","raw_affiliation_strings":["Electrical Engineering and Computer Sciences, University of California, Berkeley","University of California\u2013Berkeley"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrical Engineering and Computer Sciences, University of California, Berkeley","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":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I95457486"],"apc_list":null,"apc_paid":null,"fwci":7.6172,"has_fulltext":true,"cited_by_count":41,"citation_normalized_percentile":{"value":0.98536495,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"2629","last_page":"2634"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9413999915122986,"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.9413999915122986,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.008899999782443047,"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/T12814","display_name":"Gaussian Processes and Bayesian Inference","score":0.007199999876320362,"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/reachable-set-estimation","display_name":"reachable set estimation","score":0.8420000076293945},{"id":"https://openalex.org/keywords/gaussian-process-classification","display_name":"Gaussian process classification","score":0.7490000128746033},{"id":"https://openalex.org/keywords/adaptive-sampling","display_name":"adaptive sampling","score":0.7979999780654907},{"id":"https://openalex.org/keywords/monte-carlo-sampling","display_name":"Monte Carlo sampling","score":0.9139999747276306},{"id":"https://openalex.org/keywords/probabilistic-guarantees","display_name":"probabilistic guarantees","score":0.7099999785423279},{"id":"https://openalex.org/keywords/uncertainty-quantification","display_name":"uncertainty quantification","score":0.7649999856948853},{"id":"https://openalex.org/keywords/sample-complexity-bounds","display_name":"sample complexity bounds","score":0.6150000095367432}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7410857677459717},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6869956254959106},{"id":"https://openalex.org/C19499675","wikidata":"https://www.wikidata.org/wiki/Q232207","display_name":"Monte Carlo method","level":2,"score":0.5807173252105713},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5671541094779968},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5517883896827698},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.5147833824157715},{"id":"https://openalex.org/C61326573","wikidata":"https://www.wikidata.org/wiki/Q1496376","display_name":"Gaussian process","level":3,"score":0.5069732666015625},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.42646366357803345},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.4253711700439453},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39301255345344543},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3915497660636902},{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.373826265335083},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2737865447998047},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.07585731148719788},{"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/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.23919/acc45564.2020.9147918","doi":"https://doi.org/10.23919/acc45564.2020.9147918","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc45564.2020.9147918","pdf_url":null,"source":{"id":"https://openalex.org/S4210168941","display_name":"Proceedings of the ... American Control Conference/Proceedings of the American Control Conference","issn_l":"0743-1619","issn":["0743-1619","2378-5861"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 American Control Conference (ACC)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1910.02500","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1910.02500","pdf_url":"https://arxiv.org/pdf/1910.02500","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:2979022545","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/pdf/1910.02500.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.1910.02500","doi":"https://doi.org/10.48550/arxiv.1910.02500","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1910.02500","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:1910.02500","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1910.02500","pdf_url":"https://arxiv.org/pdf/1910.02500","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":[{"id":"https://openalex.org/G144984909","display_name":null,"funder_award_id":"FA9550- 18-1-0253","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G1717380892","display_name":null,"funder_award_id":"N00014-18","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G2615488889","display_name":"Scalable Symbolic Control: Computationally Efficient Design of Feedback Control Algorithms to Satisfy Complex Requirements","funder_award_id":"1906164","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4353487559","display_name":null,"funder_award_id":"ONR-N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6098521345","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6320102633","display_name":null,"funder_award_id":"N00014-18-1-2209","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320337392","display_name":"Division of Electrical, Communications and Cyber Systems","ror":"https://ror.org/01krpsy48"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2979022545.pdf","grobid_xml":"https://content.openalex.org/works/W2979022545.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W246120801","https://openalex.org/W315739085","https://openalex.org/W1582899597","https://openalex.org/W1746819321","https://openalex.org/W1838714828","https://openalex.org/W1978100913","https://openalex.org/W1982535910","https://openalex.org/W2006557476","https://openalex.org/W2007535697","https://openalex.org/W2058188212","https://openalex.org/W2080813827","https://openalex.org/W2094435766","https://openalex.org/W2099698956","https://openalex.org/W2116364955","https://openalex.org/W2117218135","https://openalex.org/W2133118715","https://openalex.org/W2163487198","https://openalex.org/W2321504594","https://openalex.org/W2328652958","https://openalex.org/W2479575276","https://openalex.org/W2487779201","https://openalex.org/W2576277975","https://openalex.org/W2594675090","https://openalex.org/W2780254179","https://openalex.org/W2807273366","https://openalex.org/W2903158431","https://openalex.org/W2914086653","https://openalex.org/W2952454357","https://openalex.org/W3212877690","https://openalex.org/W4211049957","https://openalex.org/W6731923558","https://openalex.org/W6747842839"],"related_works":["https://openalex.org/W4378805104","https://openalex.org/W3175435680","https://openalex.org/W4226324818","https://openalex.org/W4210758712","https://openalex.org/W7123335198","https://openalex.org/W3157497799","https://openalex.org/W7154466949","https://openalex.org/W7151583075","https://openalex.org/W4391020373","https://openalex.org/W7167218282"],"abstract_inverted_index":{"We":[0],"present":[1],"two":[2],"data-driven":[3,27],"methods":[4,13],"for":[5,21,69],"estimating":[6],"reachable":[7,28,58,96],"sets":[8],"with":[9,101,129],"probabilistic":[10,18,36,105],"guarantees.":[11],"Both":[12],"make":[14],"use":[15],"of":[16,25,63,76,94,104,114],"a":[17,22,26,35,46,51,84,102,120,130],"formulation":[19],"allowing":[20],"formal":[23],"definition":[24],"set":[29],"approximation":[30,93],"that":[31],"is":[32,127],"correct":[33],"in":[34],"sense.":[37],"The":[38,60,80],"first":[39],"method":[40,82,99,126],"recasts":[41],"the":[42,57,64,74,95,112],"reachability":[43],"problem":[44],"as":[45],"binary":[47],"classification":[48],"problem,":[49],"using":[50],"Gaussian":[52,65],"process":[53,66],"classifier":[54],"to":[55,73,89,118],"represent":[56],"set.":[59,97],"quantified":[61],"uncertainty":[62],"model":[67],"allows":[68],"an":[70,91,108],"adaptive":[71],"approach":[72,88],"selection":[75],"new":[77],"sample":[78,115],"points.":[79],"second":[81],"uses":[83],"Monte":[85],"Carlo":[86],"sampling":[87],"compute":[90],"interval-based":[92],"This":[98],"comes":[100],"guarantee":[103],"correctness,":[106],"and":[107,123],"explicit":[109],"bound":[110],"on":[111],"number":[113],"points":[116],"needed":[117],"achieve":[119],"desired":[121],"accuracy":[122],"confidence.":[124],"Each":[125],"illustrated":[128],"numerical":[131],"example.":[132]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":13},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":3}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2019-10-10T00:00:00"}