On Verification of Controlled Hybrid Dynamics through Ellipsoidal Techniques | IEEE Conference Publication | IEEE Xplore