Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems | Publicación