Samuel Coogan, Murat Arcak. Guard synthesis for safety of hybrid systems using sum of squares programming. In Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA. pages 6138-6143, IEEE, 2012. [doi]
Abstract is missing.