{"id":"https://openalex.org/W3134132640","doi":"https://doi.org/10.1109/lra.2021.3068889","title":"Planning With Learned Dynamics: Probabilistic Guarantees on Safety and Reachability via Lipschitz Constants","display_name":"Planning With Learned Dynamics: Probabilistic Guarantees on Safety and Reachability via Lipschitz Constants","publication_year":2021,"publication_date":"2021-03-25","ids":{"openalex":"https://openalex.org/W3134132640","doi":"https://doi.org/10.1109/lra.2021.3068889","mag":"3134132640"},"language":"en","primary_location":{"id":"doi:10.1109/lra.2021.3068889","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2021.3068889","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Robotics and Automation Letters","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2010.08993","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072705469","display_name":"Craig Knuth","orcid":"https://orcid.org/0000-0002-2375-1427"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Craig Knuth","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA","\u2021University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"\u2021University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006149535","display_name":"Glen Chou","orcid":"https://orcid.org/0000-0003-4444-3631"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Glen Chou","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA","\u2021University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"\u2021University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054418471","display_name":"Necmiye \u00d6zay","orcid":"https://orcid.org/0000-0002-5552-4392"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Necmiye Ozay","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA","\u2021University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"\u2021University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083082888","display_name":"Dmitry Berenson","orcid":"https://orcid.org/0000-0002-9712-109X"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dmitry Berenson","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA","\u2020University of Michigan"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"\u2020University of Michigan","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5072705469"],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":0.4199,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.67772595,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"6","issue":"3","first_page":"5129","last_page":"5136"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10462","display_name":"Reinforcement Learning in Robotics","score":0.9914000034332275,"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"}},"topics":[{"id":"https://openalex.org/T10462","display_name":"Reinforcement Learning in Robotics","score":0.9914000034332275,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9904000163078308,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9897000193595886,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/reachability","display_name":"Reachability","score":0.7916862964630127},{"id":"https://openalex.org/keywords/lipschitz-continuity","display_name":"Lipschitz continuity","score":0.7395007014274597},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6291406750679016},{"id":"https://openalex.org/keywords/system-dynamics","display_name":"System dynamics","score":0.5657720565795898},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5617889165878296},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.4923490285873413},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.4903271496295929},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.47630393505096436},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.467107892036438},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.45365089178085327},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4126339554786682},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.40728759765625},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3307943344116211},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3061675429344177},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.2682446837425232},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.14067652821540833},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10968014597892761}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7916862964630127},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.7395007014274597},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6291406750679016},{"id":"https://openalex.org/C77405623","wikidata":"https://www.wikidata.org/wiki/Q598451","display_name":"System dynamics","level":2,"score":0.5657720565795898},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5617889165878296},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.4923490285873413},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.4903271496295929},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.47630393505096436},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.467107892036438},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.45365089178085327},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4126339554786682},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.40728759765625},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3307943344116211},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3061675429344177},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.2682446837425232},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.14067652821540833},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10968014597892761},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/lra.2021.3068889","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2021.3068889","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Robotics and Automation Letters","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2010.08993","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2010.08993","pdf_url":"https://arxiv.org/pdf/2010.08993","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":"mag:3134132640","is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/2010.08993","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2010.08993","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2010.08993","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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2010.08993","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2010.08993","pdf_url":"https://arxiv.org/pdf/2010.08993","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":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7799999713897705}],"awards":[{"id":"https://openalex.org/G1087940106","display_name":null,"funder_award_id":"N00014-18-1-2501","funder_id":"https://openalex.org/F4320335353","funder_display_name":"National Science Foundation of Sri Lanka"},{"id":"https://openalex.org/G1597055321","display_name":null,"funder_award_id":"IIS-1750489","funder_id":"https://openalex.org/F4320335353","funder_display_name":"National Science Foundation of Sri Lanka"},{"id":"https://openalex.org/G393124906","display_name":null,"funder_award_id":"N00014-21-1-2118","funder_id":"https://openalex.org/F4320335353","funder_display_name":"National Science Foundation of Sri Lanka"},{"id":"https://openalex.org/G7795192086","display_name":null,"funder_award_id":"ECCS-1553873","funder_id":"https://openalex.org/F4320335353","funder_display_name":"National Science Foundation of Sri Lanka"}],"funders":[{"id":"https://openalex.org/F4320333566","display_name":"National Defense Science and Engineering Graduate","ror":null},{"id":"https://openalex.org/F4320335353","display_name":"National Science Foundation of Sri Lanka","ror":"https://ror.org/010xaa060"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W411746464","https://openalex.org/W1424654272","https://openalex.org/W1588998206","https://openalex.org/W2000359213","https://openalex.org/W2002201291","https://openalex.org/W2006859604","https://openalex.org/W2036379115","https://openalex.org/W2052725501","https://openalex.org/W2053572490","https://openalex.org/W2100538121","https://openalex.org/W2116364955","https://openalex.org/W2158782408","https://openalex.org/W2296356821","https://openalex.org/W2298163601","https://openalex.org/W2311756909","https://openalex.org/W2618318883","https://openalex.org/W2885010347","https://openalex.org/W2892521964","https://openalex.org/W2962756933","https://openalex.org/W2962822210","https://openalex.org/W2970620827","https://openalex.org/W3004230875","https://openalex.org/W3006552748","https://openalex.org/W3015304327","https://openalex.org/W3087814461","https://openalex.org/W3097602886","https://openalex.org/W3098713169","https://openalex.org/W3102478348","https://openalex.org/W3105293877","https://openalex.org/W3119862069","https://openalex.org/W3161569236","https://openalex.org/W6685145707","https://openalex.org/W6738483526","https://openalex.org/W6748458661","https://openalex.org/W6763711611","https://openalex.org/W6765030795","https://openalex.org/W6774192314"],"related_works":["https://openalex.org/W3142965698","https://openalex.org/W3031711947","https://openalex.org/W2953349777","https://openalex.org/W3175147250","https://openalex.org/W2811292668","https://openalex.org/W2915531320","https://openalex.org/W1529817735","https://openalex.org/W3022958460","https://openalex.org/W2991391803","https://openalex.org/W3100238596","https://openalex.org/W2896569596","https://openalex.org/W3183652494","https://openalex.org/W2952953642","https://openalex.org/W3010993240","https://openalex.org/W2046211166","https://openalex.org/W3090935992","https://openalex.org/W1487553351","https://openalex.org/W2904903320","https://openalex.org/W2611835223","https://openalex.org/W2115174789"],"abstract_inverted_index":{"We":[0,158,176],"present":[1],"a":[2,25,29,61,81,92,96,112,115,120,124,152,168,172,179],"method":[3,105],"for":[4,80],"feedback":[5,83,108,121,200],"motion":[6],"planning":[7,163],"of":[8,33,45,95,167,198],"systems":[9],"with":[10,60,100],"unknown":[11],"dynamics":[12,36,187],"which":[13,28,85,118,181],"provides":[14],"probabilistic":[15],"guarantees":[16],"on":[17],"safety,":[18],"reachability,":[19],"and":[20,51,54,147,171,209],"goal":[21],"stability.":[22],"To":[23],"find":[24],"domain":[26],"in":[27,114,151],"learned":[30,52,102,165,186],"control-affine":[31],"approximation":[32],"the":[34,42,46,49,56,65,88,101,107,130,136,145,156,184,192,196,199,207],"true":[35,50,137],"can":[37,86,202],"be":[38],"trusted,":[39],"we":[40,75],"estimate":[41,57,133],"Lipschitz":[43,131],"constant":[44,132],"difference":[47],"between":[48],"dynamics,":[53],"ensure":[55],"is":[58,134,139,148],"valid":[59],"given":[62],"probability.":[63],"Provided":[64],"system":[66,90,138],"has":[67],"at":[68],"least":[69],"as":[70,73,111],"many":[71],"controls":[72],"states,":[74],"also":[76],"derive":[77],"existence":[78,110,197],"conditions":[79],"one-step":[82],"law":[84,109,201],"keep":[87],"real":[89],"within":[91],"small":[93,153],"bound":[94,194],"nominal":[97,125],"trajectory":[98],"planned":[99],"dynamics.":[103],"Our":[104],"imposes":[106],"constraint":[113],"sampling-based":[116],"planner,":[117],"returns":[119],"policy":[122],"around":[123,206],"plan":[126,142,208],"ensuring":[127],"that,":[128],"if":[129],"valid,":[135],"safe":[140],"during":[141],"execution,":[143],"reaches":[144],"goal,":[146],"ultimately":[149],"invariant":[150],"set":[154],"about":[155],"goal.":[157],"demonstrate":[159],"our":[160],"approach":[161],"by":[162],"using":[164,183],"models":[166],"6D":[169],"quadrotor":[170],"7DOF":[173],"Kuka":[174],"arm.":[175],"show":[177],"that":[178],"baseline":[180],"plans":[182],"same":[185],"<italic":[188],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[189],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">without</i>":[190],"considering":[191],"error":[193],"or":[195],"fail":[203],"to":[204],"stabilize":[205],"become":[210],"unsafe.":[211]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}