Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems | IEEE Conference Publication | IEEE Xplore