Motion Planning of Multi-Agent Systems under Temporal Logic Specifications

Abstract: In this thesis, a top-down hierarchical framework is proposed to deal with multiagentsymbolic motion planning and control. Agents are assigned a distributable globalmission, and are partitioned into leaders and followers. The global mission is distributedamong the followers and each one synthesizes a discrete motion plan. By exploitingthe concept of network controllability, an open-loop optimal control law is synthesizedcentrally and executed in a distributed manner. This control law guarantees the concurrentexecution and fulfillment of the followers’ discrete motion plans. Simulations areperformed to verify the proposed control law both for single- and multi-leader, leaderfollowernetworks.