Key points are not available for this paper at this time.
Since the whole assembly process has typical phase transitions between control laws driven by the environment event, the techniques of hybrid control can be employed to specify the hybrid control properties. Finally a hybrid controller and corresponding hybrid control programs are designed using the HCSP language to describe a peg-in-hole problem.
Yangmin Li (Sun,) studied this question.