[2209.00849] Robustifying Event-Triggered Control to Measurement Noise