Guard synthesis for safety of hybrid systems using sum of squares programming | IEEE Conference Publication | IEEE Xplore