TY  - RPRT
TI  - Switched Systems as Hybrid Programs
AU  - Yong Kiam Tan
AU  - André Platzer
PY  - 2021
DO  - 10.1016/j.ifacol.2021.08.506
UR  - https://arxiv.org/abs/2101.06195
ID  - 2101.06195
ER  -