Reconfiguration in motion planning of single- And multi-agent systems under infeasible local LTL specifications
2013 (English)In: 2013 IEEE 52nd Annual Conference on Decision and Control (CDC), IEEE conference proceedings, 2013, 2758-2763 p.Conference paper (Refereed)
A reconfiguration method for the model-checkingbased motion planning of single- And multi-agent systems under infeasible local LTL specifications is proposed. The method describes how to synthesize the motion plan that fulfills the infeasible task specification the most, and how the infeasible task specification is relaxed. The novelty is the introduction of a metric within the atomic proposition domain, and the relative weighting between the implementation cost of a motion plan and its distance to the original specification. For multiagent systems, a dependency relation and relative priorities are incorporated when the tasks are assigned independently to each agent. Simulations are presented to illustrate the method.
Place, publisher, year, edition, pages
IEEE conference proceedings, 2013. 2758-2763 p.
, IEEE Conference on Decision and Control. Proceedings, ISSN 0743-1546
Motion planning, Multi agent systems, Atomic propositions, Dependency relation, Implementation cost, Relative priorities, Task specifications, Specifications
IdentifiersURN: urn:nbn:se:kth:diva-150855DOI: 10.1109/CDC.2013.6760300ISI: 000352223503031ScopusID: 2-s2.0-84902330269ISBN: 978-1-4673-5714-2OAI: oai:DiVA.org:kth-150855DiVA: diva2:745898
52nd IEEE Conference on Decision and Control, CDC 2013, 10 December 2013 through 13 December 2013, Florence, Italy
QC 201409112014-09-112014-09-112015-12-08Bibliographically approved