Santiago Jimenez Leudo, Kunal Garg, Ricardo G. Sanfelice, Alvaro A. Cárdenas: An Observer-based Switching Algorithm for Safety under Sensor Denial-of-Service Attacks. ACC 2023: 2469-2474