We show that the resulting architecture guarantees constraints fulfillment and the absence of stealthy setpoint attacks. Laboratory experiments on a Khepera IV robot testify the effectiveness of the ...