{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T14:34:00Z","timestamp":1773930840496,"version":"3.50.1"},"reference-count":46,"publisher":"SAGE Publications","issue":"2","license":[{"start":{"date-parts":[[2014,11,12]],"date-time":"2014-11-12T00:00:00Z","timestamp":1415750400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["The International Journal of Robotics Research"],"published-print":{"date-parts":[[2015,2]]},"abstract":"<jats:p> We propose a cooperative motion and task planning scheme for multi-agent systems where the agents have independently assigned local tasks, specified as linear temporal logic formulas. These tasks contain hard and soft sub-specifications. A least-violating initial plan is synthesized first for the potentially infeasible task and the partially-known workspace. This discrete plan is then implemented by the potential-field-based navigation controllers. While the system runs, each agent updates its knowledge about the workspace via its sensing capability and shares this knowledge with its neighbouring agents. Based on the knowledge update, each agent verifies and revises its motion plan in real time. It is ensured that the hard specification is always fulfilled for safety and the satisfaction for the soft specification is improved gradually. The design is distributed as only local interactions are assumed. The overall framework is demonstrated by a case study and an experiment. <\/jats:p>","DOI":"10.1177\/0278364914546174","type":"journal-article","created":{"date-parts":[[2014,11,13]],"date-time":"2014-11-13T04:06:35Z","timestamp":1415851595000},"page":"218-235","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":192,"title":["Multi-agent plan reconfiguration under local LTL specifications"],"prefix":"10.1177","volume":"34","author":[{"given":"Meng","family":"Guo","sequence":"first","affiliation":[{"name":"KTH Centre for Autonomous Systems and ACCESS Linnaeus Center, EES, KTH Royal Institute of Technology, Stockholm, Sweden"}]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[{"name":"KTH Centre for Autonomous Systems and ACCESS Linnaeus Center, EES, KTH Royal Institute of Technology, Stockholm, Sweden"}]}],"member":"179","published-online":{"date-parts":[[2014,11,12]]},"reference":[{"key":"bibr1-0278364914546174","volume-title":"Principles of model checking","author":"Baier C","year":"2008"},{"key":"bibr2-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"bibr3-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.851359"},{"key":"bibr4-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"bibr5-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942115"},{"key":"bibr6-0278364914546174","volume-title":"Convex Optimization","author":"Boyd S","year":"2009"},{"key":"bibr7-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.198"},{"key":"bibr8-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2163434"},{"key":"bibr9-0278364914546174","volume-title":"Model Checking","author":"Clarke EM","year":"1999"},{"key":"bibr10-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1998.680621"},{"key":"bibr11-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-006-9113-x"},{"key":"bibr12-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942117"},{"key":"bibr13-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"bibr14-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377825"},{"key":"bibr15-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426027"},{"key":"bibr16-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1966.1053873"},{"key":"bibr17-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_6"},{"key":"bibr18-0278364914546174","volume-title":"IEEE international conference on robotics and automation (ICRA)","author":"Guo M","year":"2013"},{"key":"bibr19-0278364914546174","volume-title":"IEEE conference on decision and control (CDC)","author":"Guo M","year":"2013"},{"key":"bibr20-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907485"},{"key":"bibr21-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6425820"},{"key":"bibr22-0278364914546174","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2011.VII.020"},{"key":"bibr23-0278364914546174","doi-asserted-by":"publisher","DOI":"10.2514\/6.2008-6838"},{"key":"bibr24-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406761"},{"key":"bibr25-0278364914546174","first-page":"5171","author":"Kim K","year":"2012","journal-title":"IEEE international conference on robotics and automation (ICRA)"},{"key":"bibr26-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035776"},{"key":"bibr27-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160478"},{"key":"bibr28-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1016\/0196-8858(90)90017-S"},{"key":"bibr29-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942116"},{"key":"bibr30-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"bibr31-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377631"},{"key":"bibr32-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225208"},{"key":"bibr33-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377087"},{"key":"bibr34-0278364914546174","first-page":"4240","volume":"3","author":"Loizou SG","year":"2003","journal-title":"IEEE international conference on robotics and automation"},{"key":"bibr35-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428622"},{"key":"bibr36-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461380"},{"key":"bibr37-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.850180"},{"key":"bibr38-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152397"},{"key":"bibr39-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_54"},{"key":"bibr40-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"bibr41-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185648"},{"key":"bibr42-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859413"},{"key":"bibr43-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461330"},{"key":"bibr44-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913487931"},{"key":"bibr45-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426174"},{"key":"bibr46-0278364914546174","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"}],"container-title":["The International Journal of Robotics Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0278364914546174","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/0278364914546174","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0278364914546174","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,3]],"date-time":"2025-03-03T08:31:00Z","timestamp":1740990660000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0278364914546174"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,12]]},"references-count":46,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["10.1177\/0278364914546174"],"URL":"https:\/\/doi.org\/10.1177\/0278364914546174","relation":{},"ISSN":["0278-3649","1741-3176"],"issn-type":[{"value":"0278-3649","type":"print"},{"value":"1741-3176","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,12]]}}}