Switching of control signals in teleoperation systems: Formalization and application | Synapse