Alexander B. Kurzhanski, Pravin Varaiya. On Verification of Controlled Hybrid Dynamics through Ellipsoidal Techniques. In 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005. pages 4682-4687, IEEE, 2005. [doi]
Abstract is missing.