Switched systems as hybrid programs

@INPROCEEDINGS{DBLP:conf/adhs/TanP21,

  author    = {Yong Kiam Tan and
              Andr{\'{e}} Platzer},
  editor    = {Rapha{\"{e}}l M. Jungers and
               Necmiye Ozay and
               Alessandro Abate},
  title     = {Switched Systems as Hybrid Programs},
  booktitle = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
               2021, Brussels, Belgium, July 7-9, 2021},
  series    = {IFAC-PapersOnLine},
  volume    = {54},
  number    = {5},
  pages     = {247--252},
  publisher = {Elsevier},
  year      = {2021},
  doi       = {10.1016/j.ifacol.2021.08.506},
}```