摘要

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 lan guage to describe a peg-in-hole problem.