Temporal Logic Task Allocation in Heterogeneous Multirobot Systems

We consider the problem of optimally allocating tasks, expressed as global linear temporal logic (LTL) specifications, to teams of heterogeneous mobile robots of different types. Each task may require robots of multiple types. To obtain a scalable solution, we propose a hierarchical approach that fi...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on robotics Ročník 38; číslo 6; s. 3602 - 3621
Hlavní autoři:	Luo, Xusheng, Zavlanos, Michael M.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.12.2022 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	Automata Collision avoidance Formal methods in robotics and automation Integer programming Mixed integer motion and path planning Motion planning Multi-robot systems Multiple robots Path planning path planning for multiple mobile robots or agents Resource management Robot kinematics Robotics Robots Specifications Task analysis task planning Temporal logic
ISSN:	1552-3098, 1941-0468
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!