Switching of control signals in teleoperation systems: Formalization and application | IEEE Conference Publication | IEEE Xplore