{"id":"https://openalex.org/W1487948848","doi":"https://doi.org/10.1109/med.2015.7158879","title":"Motion planning in dynamic environments with bounded time temporal logic specifications","display_name":"Motion planning in dynamic environments with bounded time temporal logic specifications","publication_year":2015,"publication_date":"2015-06-01","ids":{"openalex":"https://openalex.org/W1487948848","doi":"https://doi.org/10.1109/med.2015.7158879","mag":"1487948848"},"language":"en","primary_location":{"id":"doi:10.1109/med.2015.7158879","is_oa":false,"landing_page_url":"https://doi.org/10.1109/med.2015.7158879","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 23rd Mediterranean Conference on Control and Automation (MED)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090451555","display_name":"Dipankar Maity","orcid":"https://orcid.org/0000-0002-7745-9405"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dipankar Maity","raw_affiliation_strings":["Institute of Systems Research and the Department of Electrical and Computer Engineering, University of Maryland, College Park, MD, USA","Institute of Systems Research and the Department of Electrical and Computer Engineering, University of Maryland College Park, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Systems Research and the Department of Electrical and Computer Engineering, University of Maryland, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"Institute of Systems Research and the Department of Electrical and Computer Engineering, University of Maryland College Park, USA","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044395526","display_name":"John S. Baras","orcid":"https://orcid.org/0000-0002-4955-8561"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John S. Baras","raw_affiliation_strings":["Institute of Systems Research and the Department of Electrical and Computer Engineering, University of Maryland, College Park, MD, USA","Institute of Systems Research and the Department of Electrical and Computer Engineering, University of Maryland College Park, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Systems Research and the Department of Electrical and Computer Engineering, University of Maryland, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"Institute of Systems Research and the Department of Electrical and Computer Engineering, University of Maryland College Park, USA","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8171,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.85058085,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"940","last_page":"946"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9984999895095825,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/bounded-function","display_name":"Bounded function","score":0.7776984572410583},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.7151439189910889},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6809925436973572},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6112550497055054},{"id":"https://openalex.org/keywords/workspace","display_name":"Workspace","score":0.5570698380470276},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.5517607927322388},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.5308226943016052},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5015599727630615},{"id":"https://openalex.org/keywords/spacetime","display_name":"Spacetime","score":0.47133874893188477},{"id":"https://openalex.org/keywords/discrete-time-and-continuous-time","display_name":"Discrete time and continuous time","score":0.4409845471382141},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.41266050934791565},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.3903426229953766},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37704819440841675},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.34455007314682007},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27699583768844604},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17431843280792236},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16066619753837585}],"concepts":[{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.7776984572410583},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.7151439189910889},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6809925436973572},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6112550497055054},{"id":"https://openalex.org/C58581272","wikidata":"https://www.wikidata.org/wiki/Q12741163","display_name":"Workspace","level":3,"score":0.5570698380470276},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.5517607927322388},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.5308226943016052},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5015599727630615},{"id":"https://openalex.org/C130187892","wikidata":"https://www.wikidata.org/wiki/Q133327","display_name":"Spacetime","level":2,"score":0.47133874893188477},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.4409845471382141},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.41266050934791565},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.3903426229953766},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37704819440841675},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.34455007314682007},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27699583768844604},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17431843280792236},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16066619753837585},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/med.2015.7158879","is_oa":false,"landing_page_url":"https://doi.org/10.1109/med.2015.7158879","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 23rd Mediterranean Conference on Control and Automation (MED)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.7400000095367432}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W101508493","https://openalex.org/W1424654272","https://openalex.org/W1489391022","https://openalex.org/W1498203978","https://openalex.org/W1498432697","https://openalex.org/W1509254601","https://openalex.org/W1521785144","https://openalex.org/W1533557569","https://openalex.org/W1557499844","https://openalex.org/W2004815408","https://openalex.org/W2017924070","https://openalex.org/W2019881090","https://openalex.org/W2034592322","https://openalex.org/W2071797744","https://openalex.org/W2080833459","https://openalex.org/W2083093559","https://openalex.org/W2084485573","https://openalex.org/W2102488278","https://openalex.org/W2110579257","https://openalex.org/W2111653175","https://openalex.org/W2115309705","https://openalex.org/W2122825054","https://openalex.org/W2166462345","https://openalex.org/W2611243847","https://openalex.org/W2773725776","https://openalex.org/W2913459036","https://openalex.org/W4242811155","https://openalex.org/W6655221434","https://openalex.org/W6678584870"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W4285022830","https://openalex.org/W4232446061","https://openalex.org/W2077520193","https://openalex.org/W1513400763"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3],"consider":[4],"the":[5,67,71,74,84,95,110,118,131,135,141],"problem":[6,69],"of":[7,35,50,73,134],"robotic":[8],"motion":[9],"planning":[10,68],"that":[11,107],"satisfies":[12],"some":[13,124],"bounded":[14,96],"time":[15,97],"high":[16,25,98],"level":[17,26,99],"specifications.":[18,100],"Although":[19],"temporal":[20,33],"logic":[21],"can":[22],"efficiently":[23],"express":[24],"specifications":[27,111],"such":[28],"as":[29],"coverage,":[30],"obstacle":[31],"avoidance,":[32],"ordering":[34],"tasks":[36],"etc.,":[37],"it":[38,121],"fails":[39],"to":[40,55,76,92],"address":[41,56],"problems":[42,57],"with":[43,58,112],"explicit":[44,59],"timing":[45,60,114],"constraints.":[46],"The":[47],"inherent":[48],"limitations":[49],"Linear":[51],"Temporal":[52],"Logic":[53],"(LTL)":[54],"constraints":[61,115],"have":[62],"been":[63],"overcome":[64],"by":[65],"translating":[66],"from":[70,140],"workspace":[72],"robot":[75,136],"a":[77],"higher":[78],"dimensional":[79],"space":[80],"called":[81],"spacetime":[82],"where":[83],"existing":[85],"LTL":[86],"semantics":[87],"and":[88],"grammar":[89],"are":[90],"sufficient":[91],"mathematically":[93],"formulate":[94],"A":[101,127],"discrete":[102,142],"path":[103,143],"will":[104,108,122,137],"be":[105,138],"generated,":[106],"meet":[109],"all":[113],"and,":[116],"at":[117],"same":[119],"time,":[120],"optimize":[123],"cost":[125],"function.":[126],"continuous":[128,132],"trajectory":[129],"satisfying":[130],"dynamics":[133],"generated":[139],"using":[144],"proper":[145],"control":[146],"laws.":[147]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}