Correct-by-Construction Control Synthesis for Multi-Robot MixingReport as inadecuate


Correct-by-Construction Control Synthesis for Multi-Robot Mixing


Correct-by-Construction Control Synthesis for Multi-Robot Mixing - Download this document for free, or read online. Document in PDF available to download.

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 that can be specified via symbolic inputs from the braid group. We define a novel specification language, called Braid Temporal Logic BTL, that allows us to specify rich, temporally-layered tasks involving agents’ locations in an environment, their relative positions to each other, and frequency of location swaps and information exchanges between agents. We use techniques from formal methods to generate symbolic inputs that conform to a given BTL specification and use recently developed hybrid optimal control synthesis techniques to enact the synthesized pattern. The generated trajectories are provably guaranteed to be collision-free, respect physical boundaries of the agents’ mission space, and to satisfy the high-level mission. Results are validated via implementation on a team of wheeled robots.



Georgia Robotics and InTelligent Systems Laboratory GRITS Publications - Georgia Robotics and InTelligent Systems Laboratory GRITS -



Author: Diaz-Mercado, Yancy - Jones, Austin - Belta, Calin - Egerstedt, Magnus - -

Source: https://smartech.gatech.edu/



DOWNLOAD PDF




Related documents