A scalable algebraic method to infer quadratic invariants of switched systems | IEEE Conference Publication | IEEE Xplore