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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE robotics and automation letters Ročník 6; číslo 2; s. 1375 - 1382
Hlavní autoři:	Buyukkocak, Ali Tevfik, Aksaray, Derya, Yazcoglu, Yasin
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Piscataway IEEE 01.04.2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!