{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T09:55:24Z","timestamp":1777715724500,"version":"3.51.4"},"reference-count":52,"publisher":"SAGE Publications","issue":"6","license":[{"start":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T00:00:00Z","timestamp":1588032000000},"content-version":"vor","delay-in-days":366,"URL":"http:\/\/www.sagepub.com\/licence-information-for-chorus"}],"funder":[{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014- 12-1-1000"],"award-info":[{"award-number":["N00014- 12-1-1000"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CMMI-1400167"],"award-info":[{"award-number":["CMMI-1400167"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1330008"],"award-info":[{"award-number":["CNS-1330008"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["IIS-1350904"],"award-info":[{"award-number":["IIS-1350904"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["NRI-1426907"],"award-info":[{"award-number":["NRI-1426907"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["DPI2015-69376-R"],"award-info":[{"award-number":["DPI2015-69376-R"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["The International Journal of Robotics Research"],"published-print":{"date-parts":[[2019,5]]},"abstract":"<jats:p>We present a solution for operating a vehicle without global positioning infrastructure while satisfying constraints on its temporal behavior, and on the uncertainty of its position estimate. The proposed solution is an end-to-end framework for mapping an unknown environment using aerial vehicles, synthesizing a control policy for a ground vehicle in that environment, and using a quadrotor to localize the ground vehicle within the map while it executes its control policy. This vision-based localization is noisy, necessitating planning in the belief space of the ground robot. The ground robot\u2019s mission is given using a language called Gaussian Distribution Temporal Logic (GDTL), an extension of Boolean logic that incorporates temporal evolution and noise mitigation directly into the task specifications. We use a sampling-based algorithm to generate a transition system in the belief space and use local feedback controllers to break the curse of history associated with belief space planning. To localize the vehicle, we build a high-resolution map of the environment by flying a team of aerial vehicles in formation with sensor information provided by their onboard cameras. The control policy for the ground robot is synthesized under temporal and uncertainty constraints given the semantically labeled map. Then the ground robot can execute the control policy given pose estimates from a dedicated aerial robot that tracks and localizes the ground robot. The proposed method is validated using two quadrotors to build a map, followed by a two-wheeled ground robot and a quadrotor with a camera for ten successful experimental trials.<\/jats:p>","DOI":"10.1177\/0278364919846340","type":"journal-article","created":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T02:15:26Z","timestamp":1556504126000},"page":"702-722","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":15,"title":["Control in belief space with temporal logic specifications using vision-based localization"],"prefix":"10.1177","volume":"38","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5894-7190","authenticated-orcid":false,"given":"Kevin","family":"Leahy","sequence":"first","affiliation":[{"name":"MIT Lincoln Laboratory, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1712-4600","authenticated-orcid":false,"given":"Eric","family":"Cristofalo","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1132-1462","authenticated-orcid":false,"given":"Cristian-Ioan","family":"Vasile","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Austin","family":"Jones","sequence":"additional","affiliation":[{"name":"MIT Lincoln Laboratory, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo","family":"Montijano","sequence":"additional","affiliation":[{"name":"Universidad de Zaragoza, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mac","family":"Schwager","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[{"name":"Boston University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2019,4,28]]},"reference":[{"key":"bibr1-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913501564"},{"key":"bibr2-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2309033"},{"key":"bibr3-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912455256"},{"key":"bibr4-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2006.1642061"},{"key":"bibr5-0278364919846340","volume-title":"Dynamic Programming and Optimal Control","author":"Bertsekas D","year":"2012","edition":"3"},{"issue":"11","key":"bibr6-0278364919846340","first-page":"120","volume":"25","author":"Bradski G","year":"2000","journal-title":"Doctor Dobbs Journal"},{"key":"bibr7-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980508"},{"key":"bibr8-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363984"},{"key":"bibr9-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2007.899177"},{"key":"bibr10-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460476"},{"key":"bibr11-0278364919846340","volume-title":"Proceedings of the International Symposium on Experimental Robotics (ISER 16)","author":"Cristofalo E","year":"2016"},{"key":"bibr12-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2007.1049"},{"key":"bibr13-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696924"},{"key":"bibr14-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2006.1678135"},{"key":"bibr15-0278364919846340","first-page":"4376","author":"Haarnoja T","year":"2016","journal-title":"Advances in Neural Information Processing Systems"},{"key":"bibr16-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1145\/2071379.2071382"},{"key":"bibr17-0278364919846340","doi-asserted-by":"publisher","DOI":"10.25080\/TCWV9851"},{"key":"bibr18-0278364919846340","first-page":"193","volume-title":"Algorithmic Foundations of Robotics IX","author":"Hauser K","year":"2011"},{"key":"bibr19-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1002\/rob.20222"},{"key":"bibr20-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760628"},{"key":"bibr21-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"bibr22-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1115\/1.3662552"},{"key":"bibr23-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400278"},{"key":"bibr24-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406761"},{"key":"bibr25-0278364919846340","author":"Karaman S","year":"2012","journal-title":"Proceedings of the American Control Conference (ACC)"},{"key":"bibr26-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1007\/11605157_17"},{"key":"bibr27-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2016.2544339"},{"key":"bibr28-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"bibr29-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403291"},{"key":"bibr30-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728632"},{"key":"bibr31-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1117\/12.492752"},{"key":"bibr32-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-21779-6"},{"key":"bibr33-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461380"},{"key":"bibr34-0278364919846340","unstructured":"Monajjemi M (2015) Bebop autonomy. https:\/\/github.com\/AutonomyLab\/bebop_autonomy."},{"key":"bibr35-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2016.2523542"},{"key":"bibr36-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/SSRR.2014.7017662"},{"key":"bibr37-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1287\/moor.12.3.441"},{"key":"bibr38-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16595-0_30"},{"key":"bibr39-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1177\/0278364909341659"},{"key":"bibr40-0278364919846340","first-page":"5","volume-title":"ICRA Workshop on Open Source Software","volume":"3","author":"Quigley M","year":"2009"},{"key":"bibr41-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1007\/s11263-015-0816-y"},{"key":"bibr42-0278364919846340","author":"Simonyan K","year":"2014","journal-title":"arXiv preprint arXiv:1409.1556"},{"key":"bibr43-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760491"},{"key":"bibr44-0278364919846340","volume-title":"Probabilistic Robotics (Intelligent Robotics and Autonomous Agents)","author":"Thrun S","year":"2005"},{"key":"bibr45-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913487931"},{"key":"bibr46-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406562"},{"key":"bibr47-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6697051"},{"key":"bibr48-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907486"},{"key":"bibr49-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799415"},{"key":"bibr50-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1007\/978-4-431-67919-6_30"},{"key":"bibr51-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980257"},{"key":"bibr52-0278364919846340","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351652"}],"container-title":["The International Journal of Robotics Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0278364919846340","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/0278364919846340","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0278364919846340","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0278364919846340","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T10:16:02Z","timestamp":1777457762000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0278364919846340"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,28]]},"references-count":52,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2019,5]]}},"alternative-id":["10.1177\/0278364919846340"],"URL":"https:\/\/doi.org\/10.1177\/0278364919846340","relation":{},"ISSN":["0278-3649","1741-3176"],"issn-type":[{"value":"0278-3649","type":"print"},{"value":"1741-3176","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,4,28]]}}}