IEEE - Institute of Electrical and Electronics Engineers, Inc. - Correct-by-construction control synthesis for multi-robot mixing

2015 54th IEEE Conference on Decision and Control (CDC)

Author(s): Yancy Diaz-Mercado ; Austin Jones ; Calin Belta ; Magnus Egerstedt
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2015
Conference Location: Osaka, Japan
Conference Date: 15 December 2015
Page(s): 221 - 226
ISBN (CD): 978-1-4799-7884-7
ISBN (Electronic): 978-1-4799-7886-1
ISBN (USB): 978-1-4799-7885-4
DOI: 10.1109/CDC.2015.7402112
Regular:

This paper considers the problem of controlling a team of heterogeneous agents to conform to high-level interaction (coordination, sensing, and communication) missions. We consider interactions... View More

Advertisement