{"id":"https://openalex.org/W2580598746","doi":"https://doi.org/10.13016/m2fz3g","title":"Motion Planning and Controls with Safety and Temporal Constraints","display_name":"Motion Planning and Controls with Safety and Temporal Constraints","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2580598746","doi":"https://doi.org/10.13016/m2fz3g","mag":"2580598746"},"language":"en","primary_location":{"id":"pmh:oai:drum.lib.umd.edu:1903/18716","is_oa":true,"landing_page_url":"https://doi.org/10.13016/M2FZ3G","pdf_url":"http://hdl.handle.net/1903/18716","source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"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":"Dissertation"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/1903/18716","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060753538","display_name":"Yuchen Zhou","orcid":"https://orcid.org/0000-0002-2470-0293"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zhou, Yuchen","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5060753538"],"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9829000234603882,"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"}},"topics":[{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9829000234603882,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.961899995803833,"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/T10571","display_name":"Robotic Mechanisms and Dynamics","score":0.9556000232696533,"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/motion","display_name":"Motion (physics)","score":0.5150753855705261},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.408441960811615},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.3449990451335907},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3172608017921448}],"concepts":[{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.5150753855705261},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.408441960811615},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.3449990451335907},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3172608017921448}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:drum.lib.umd.edu:1903/18716","is_oa":true,"landing_page_url":"https://doi.org/10.13016/M2FZ3G","pdf_url":"http://hdl.handle.net/1903/18716","source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"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":"Dissertation"},{"id":"mag:2580598746","is_oa":false,"landing_page_url":"https://drum.lib.umd.edu/handle/1903/18716","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null},{"id":"doi:10.13016/m2fz3g","is_oa":true,"landing_page_url":"https://doi.org/10.13016/m2fz3g","pdf_url":null,"source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"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":"thesis"}],"best_oa_location":{"id":"pmh:oai:drum.lib.umd.edu:1903/18716","is_oa":true,"landing_page_url":"https://doi.org/10.13016/M2FZ3G","pdf_url":"http://hdl.handle.net/1903/18716","source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"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":"Dissertation"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.4300000071525574,"display_name":"Sustainable cities and communities"},{"id":"https://metadata.un.org/sdg/13","score":0.4300000071525574,"display_name":"Climate action"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2580598746.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2963656967","https://openalex.org/W2507205995","https://openalex.org/W2005881560","https://openalex.org/W3135087940","https://openalex.org/W2108572084","https://openalex.org/W2350934537","https://openalex.org/W2563565790","https://openalex.org/W2595014561","https://openalex.org/W2570161725","https://openalex.org/W2954765816","https://openalex.org/W1590490704","https://openalex.org/W994562361","https://openalex.org/W1526995682","https://openalex.org/W2031671814","https://openalex.org/W2254633998","https://openalex.org/W2356074730","https://openalex.org/W175655019","https://openalex.org/W152933816","https://openalex.org/W1522168222","https://openalex.org/W17253197"],"abstract_inverted_index":{"Motion":[0],"planning,":[1,4],"or":[2,49],"trajectory":[3],"commonly":[5],"refers":[6],"to":[7,152,231,238,281,311,357,392,402,409,417,428],"a":[8,46,77,84,149,159,183,204,220,277,286,337,365,386,399,404],"process":[9],"of":[10,26,62,71,97,108,143,158,193,197,242,251,276,388],"converting":[11],"high-level":[12,128],"task":[13,78,296,314,395],"specifications":[14,297,315],"into":[15,325],"low-level":[16],"control":[17,225],"commands":[18],"that":[19],"can":[20,37,292],"be":[21,34,38],"executed":[22],"on":[23,94,126,168,175,209,348,414],"the":[24,31,72,98,104,109,127,131,135,140,154,163,173,194,217,229,248,256,313,322,332,373,389,394,415,426,430],"system":[25,32],"interest.":[27],"For":[28],"different":[29],"applications,":[30],"will":[33],"different.":[35],"It":[36],"an":[39,42,50,80,269,419],"autonomous":[40,113,132],"vehicle,":[41],"Unmanned":[43],"Aerial":[44],"Vehicle(UAV),":[45],"humanoid":[47],"robot,":[48],"industrial":[51],"robotic":[52],"arm.":[53],"As":[54],"human":[55],"machine":[56],"interaction":[57],"is":[58,66,103],"essential":[59],"in":[60,79,89,118,285,352],"many":[61],"these":[63],"systems,":[64],"safety":[65,155],"fundamental":[67],"and":[68,106,115,156,162,177,212,244,330,397,407],"crucial.":[69],"Many":[70],"applications":[73],"also":[74,363],"involve":[75],"performing":[76],"optimal":[81,420],"manner":[82],"within":[83],"given":[85,374],"time":[86],"constraint.":[87],"Therefore,":[88],"this":[90],"thesis,":[91],"we":[92,146,181,202,254,267,362],"focus":[93],"two":[95],"aspects":[96],"motion":[99,302,421],"planning":[100,129,259,275,371],"problem.":[101],"One":[102],"verification":[105,150],"synthesis":[107],"safe":[110],"controls":[111,166],"for":[112,130,190,228,273,370,411,425],"ground":[114],"air":[116],"vehicles":[117,133],"collision":[119,187,198,205,239],"avoidance":[120,188,199,206,240],"scenarios.":[121],"The":[122],"other":[123],"part":[124],"focuses":[125],"with":[134,261,316],"timed":[136,262,282,358,366,375,405],"temporal":[137,263,283,308,359,376,383],"constraints.":[138,265,318],"In":[139,247],"first":[141,147],"aspect":[142,250],"our":[144,236,252,346],"work,":[145,253],"propose":[148,182,203],"method":[151,174,272,369],"prove":[153],"robustness":[157],"path":[160,164,274],"planner":[161],"following":[165],"based":[167,186,208,271,368],"reachable":[169,184,210],"sets.":[170],"We":[171,214,234,305,319,343,379],"demonstrate":[172],"quadrotor":[176],"automobile":[178],"applications.":[179],"Secondly,":[180,361],"set":[185,226],"algorithm":[189],"UAVs.":[191],"Instead":[192],"traditional":[195],"approaches":[196],"between":[200],"trajectories,":[201],"scheme":[207],"sets":[211],"tubes.":[213],"then":[215,320],"formulate":[216],"problem":[218,223,335],"as":[219,299],"convex":[221],"optimization":[222,270,334],"seeking":[224],"design":[227],"aircraft":[230],"avoid":[232],"collision.":[233],"apply":[235],"approach":[237,347],"scenarios":[241],"quadrotors":[243],"fixed-wing":[245],"aircraft.":[246],"second":[249],"address":[255,293],"high":[257],"level":[258],"problems":[260],"logic":[264,290,309,377,384],"Firstly,":[266],"present":[268,364],"mobile":[278],"robot":[279,427],"subject":[280],"constraints,":[284],"dynamic":[287],"environment.":[288],"Temporal":[289],"(TL)":[291],"very":[294],"complex":[295,353],"such":[298],"safety,":[300],"coverage,":[301],"sequencing":[303],"etc.":[304],"use":[306,380],"metric":[307,381],"(MTL)":[310],"encode":[312],"timing":[317],"translate":[321],"MTL":[323,390],"formulae":[324],"mixed":[326,338],"integer":[327,339],"linear":[328,340],"constraints":[329],"solve":[331],"associated":[333],"using":[336],"program":[341],"solver.":[342],"have":[344],"applied":[345],"several":[349],"case":[350],"studies":[351],"dynamical":[354],"environments":[355],"subjected":[356],"specifications.":[360,378],"automaton":[367,406,416],"under":[372],"interval":[382],"(MITL),":[385],"member":[387],"family,":[391],"represent":[393],"specification,":[396],"provide":[398],"constructive":[400],"way":[401],"generate":[403],"methods":[408],"look":[410],"accepting":[412],"runs":[413],"find":[418],"(or":[422],"path)":[423],"sequence":[424],"complete":[429],"task.":[431]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}