Legat, B., Parrilo, P., Jungers, R., 2020. Certifying Unstability of Switched Systems Using Sum of Squares Programming 58.. https://doi.org/10.1137/18m1173460