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

Full description

Saved in:

Bibliographic Details
Published in:	2017 ACM IEEE 8th International Conference on Cyber Physical Systems (ICCPS) pp. 3 - 13
Main Authors:	Kantaros, Yiannis, Zavlanos, Michael M.
Format:	Conference Proceeding
Language:	English
Published:	New York, NY, USA ACM 18.04.2017
Series:	ACM Other Conferences
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!