Controller Resynthesis for Multirobot System When Changes Happen

Abstract

The synthesis problem is solved by constructing a system that fulfills given requirements when interacting with the environment, one of the most crucial and challenging tasks in robotics. However, unexpected accidents will cause the synthesized controllers of the multirobot system to be invalidated.