Planning of Heterogeneous Multi-Agent Systems Under Signal Temporal Logic Specifications With Integral Predicates

We address the problem of coordinating the trajectories of heterogeneous multi-agent systems under spatio-temporal specifications. In particular, we consider global Signal Temporal Logic (STL) constraints to express the number and type of agents that should be present at specific locations within th...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE robotics and automation letters Vol. 6; no. 2; pp. 1375 - 1382
Main Authors:	Buyukkocak, Ali Tevfik, Aksaray, Derya, Yazcoglu, Yasin
Format:	Journal Article
Language:	English
Published:	Piscataway IEEE 01.04.2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Aerodynamics Formal methods in robotics and automation Integrals Mixed integer Multi-agent systems multi-robot systems Multiagent systems optimization and optimal control Planning Robot kinematics Robustness Specifications Task analysis Temporal logic Trajectory Trajectory optimization Windows (intervals)
ISSN:	2377-3766, 2377-3766
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!