Switched systems as hybrid programs

@inproceedings{DBLP:conf/adhs/TanP21,
	author = {['Yong Kiam Tan', 'André Platzer']},
	editor = {['Raphaël M. Jungers', 'Necmiye Ozay', '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}
}