Oleg Botchkarev, Stavros Tripakis. Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations. In Nancy A. Lynch, Bruce H. Krogh, editors, Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings. Volume 1790 of Lecture Notes in Computer Science, pages 73-88, Springer, 2000. [doi]
Abstract is missing.