A Categorical Modelling Framework for Multi-robot Systems in Manufacturing
Huihui Zhou, Wang Lin, Zuohua Ding · 2022 9th International Conference on Dependable Systems and Their Applications (DSA) · 2022
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.