Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations

A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical algorithms that compute approximations of unions of ellipsoids and intersections of ellipsoids and polyhedra were developed. The presented techniques were implemented in the verification tool called VeriSHIFT and some practical results are discussed.

• Type: Conference
• Year: 2000
• Where: HYBRID
• Authors: Oleg Botchkarev, Stavros Tripakis
• Keywords: Control Systems, Ellipsoidal Methods, Ellipsoids, General Verification Algorithm, HYBRID 2000