Funnel-based Cooperative Control of Leader-follower Multi-agent Systems under Signal Temporal Logic Specifications

Control of multi-agent systems under temporal logical specifications has been popular due to its ability to tackle complex tasks that cannot be easily defined as classic control objectives. In this paper, a general class of leader-follower multi-agent systems subject to certain fragments of signal temporal logic (STL) specifications is considered. We first propose a funnel-based control strategy for the leader-follower multi-agent systems to enforce the satisfaction of the basic STL formulas by prescribing certain transient behavior on the funnels that constrain the closed-loop trajectories. A hybrid control strategy is then leveraged to satisfy the sequential STL formulas. Finally, a simulation example is given to illustrate the results.