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

Podrobná bibliografia
Vydané v:	2017 ACM IEEE 8th International Conference on Cyber Physical Systems (ICCPS) s. 3 - 13
Hlavní autori:	Kantaros, Yiannis, Zavlanos, Michael M.
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	New York, NY, USA ACM 18.04.2017
Edícia:	ACM Other Conferences
Predmet:	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 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!