A Categorical Modelling Framework for Multi-robot Systems in Manufacturing

Abstract

In this work, we present a categorical modelling framework for multi-robot systems in manufacturing. It suggests some categorical definitions of goals, plans, resources, and their relationships within a robot, and provides a formal categorical representation on compositionality of robots. The proposed framework gives rise to an unified model for the multi-robot system, thus can assist in verifying it as a whole.