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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	2017 ACM IEEE 8th International Conference on Cyber Physical Systems (ICCPS) S. 3 - 13
Hauptverfasser:	Kantaros, Yiannis, Zavlanos, Michael M.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 18.04.2017
Schriftenreihe:	ACM Other Conferences
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!