Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems

November 5, 2013

Miriam Garcia


Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems

Time:   11:00am
Location:   Meeting room 302 (Mountain View), level 3

It will be presented a general framework for a quantitative predicate abstraction for stability analysis of hybrid systems. Predicate abstraction consists of constructing a finite abstract system from a concrete system, such that the former one simulates the latter system. Simulation relations preserve several discrete-time properties, but for stability preservation some continuity constraints are required. It will be proposed a quantitative version of predicate abstraction and provided a formal connection between the abstract system and the concrete hybrid system by using the continuous simulations. Finally, it will be instantiated the general framework to the class of piecewise linear dynamical systems, and illustrated on an example.