Event-triggered output-feedback control for switched linear systems with applications to a boost converter | IEEE Conference Publication | IEEE Xplore