Controller Resynthesis for Multirobot System When Changes Happen
Hao Shi, Wei Yu Dong, Rui Li, Wanwei Liu · Computer · 2020
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.