Discrete event controller synthesis for the convergence of an assembly process | IEEE Conference Publication | IEEE Xplore