Sampling-based control synthesis for multi-robot systems under global temporal specifications

This paper proposes a sampling-based algorithm for multi-robot control synthesis under global Linear Temporal Logic (LTL) formulas. Robot mobility is captured by transition systems whose states represent regions in the environment that satisfy atomic propositions. Existing planning approaches under...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2017 ACM IEEE 8th International Conference on Cyber Physical Systems (ICCPS) s. 3 - 13
Hlavní autoři:	Kantaros, Yiannis, Zavlanos, Michael M.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 18.04.2017
Edice:	ACM Other Conferences
Témata:	Approximation algorithms Automata Computational modeling Computing methodologies > Artificial intelligence > Control methods > Motion path planning Computing methodologies > Artificial intelligence > Distributed artificial intelligence Computing methodologies > Artificial intelligence > Planning and scheduling Computing methodologies > Artificial intelligence > Planning and scheduling > Multi-agent planning Computing methodologies > Artificial intelligence > Planning and scheduling > Robotic planning Memory management Numerical models Planning Theory of computation > Formal languages and automata theory linear temporal logic multi-agent systems motion planning control synthesis
ISBN:	9781450349659, 145034965X
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!