Method for automatically synthesizing multi-robot distributed controller from global task

The invention discloses a method for automatically synthesizing a multi-robot distributed controller from a global task. The method comprises the following steps: acquiring a synthesized multi-robot controller protocol; extracting and synthesizing the global task in the multi-robot controller protocol, synthesizing a global strategy about the global task through a GR(1) comprehensive algorithm, and projecting the global strategy to a proposition set of each robot node to generate a local framework of each robot; respectively calculating to obtain a communication proposition set Ci of each robot, and supplementing propositions on the corresponding local frame migration edge by using the communication proposition set Ci to obtain a local strategy of each robot; and enabling each robot to obtain an available controller according to the local strategy, and using an SAT solver to for solve the available controller to obtain the successor of the robot. According to the invention, the controller and the communicatio