Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach

We develop a probabilistic control algorithm, GTLProCo , for swarms of agents with heterogeneous dynamics and objectives, subject to high-level task specifications. The resulting algorithm not only achieves decentralized control of the swarm but also significantly improves scalability over state-of-...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on automatic control Ročník 68; číslo 4; s. 2245 - 2260
Hlavní autoři:	Djeumou, Franck, Xu, Zhe, Cubuktepe, Murat, Topcu, Ufuk
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.04.2023 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	Aerospace electronics Algorithms Behavioral sciences Control algorithms Control theory Decentralized control Density distribution Formal language Heuristic algorithms Integer programming Linear programming Markov analysis Markov chains Markov process Markov processes Mixed integer Nodes optimization methods Probabilistic logic Scalability Specifications swarm robotics Synthesis Task analysis Temporal logic
ISSN:	0018-9286, 1558-2523
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!