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žené v:

Podrobná bibliografia
Vydané v:	IEEE robotics and automation letters Ročník 6; číslo 2; s. 1375 - 1382
Hlavní autori:	Buyukkocak, Ali Tevfik, Aksaray, Derya, Yazcoglu, Yasin
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Piscataway IEEE 01.04.2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!