An Algorithmic Approach to Global Asymptotic Stability Verification of Hybrid Systems

Pavithra Prabhakar and Miriam García Soto

In this paper, we present an algorithmic approach to global asymptotic stability (GAS) verification of hybrid systems. Our broad approach consists of reducing the GAS verifica- tion to the verification of a region stability (RS) analysis problem and an asymptotic stability (AS) analysis problem. We use a recently developed quantitative predicate abstrac- tion technique for AS analysis and extract from it a stabil- ity zone with respect to which we perform RS analysis. We present a new algorithm for RS analysis based on abstrac- tions. While we develop the theory for polyhedral hybrid systems, our broad approach of decomposing GAS analysis to RS and AS analysis can be applied to more general class of systems including linear hybrid systems. As a proof of concept, we apply the GAS verification algorithm to a lin- ear hybrid system model of a cruise control for an automatic gearbox, and provide a semi-automated proof of GAS.

International Conference on Embedded Software (EMSOFT), 2016
Download: BIB PS PDF