An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems. (May 2020)

• Record Type: Journal Article
• Authors: Yang, Zhengfeng; Wu, Min; Lin, Wang
• Is Part Of: Nonlinear analysis. Volume 36(2020)
• Publication Date: 2020-05
• Subjects: Formal verification -- Uncertain hybrid systems -- Barrier certificates -- Sum of squares programming -- Interval verification; Nonlinear functional analysis -- Periodicals; Analyse fonctionnelle non linéaire -- Périodiques; Nonlinear functional analysis; Periodicals; 515.7248
• DOI: 10.1016/j.nahs.2019.100837
• Languages: English
• ISSNs: 1751-570X

Abstract

Abstract: Due to the ability to handle uncertain nonlinear hybrid systems, barrier certificate based method has been widely used in safety verification problem. In this paper, an efficient framework, combining sum of squares programming with interval analysis, is proposed to generate barrier certificates for uncertain nonlinear hybrid systems. It utilizes the feature of bounded uncertainties to get a deterministic hybrid system, whose barrier certificates can be efficiently computed using sum of squares programming. The computed barrier certificates are then chosen as candidate barrier certificates for the original uncertain hybrid system, and need to be checked the satisfaction of the associated barrier certificate conditions, via an interval analysis based method. As an application, our approach is used to verify safety properties of non-polynomial hybrid systems. Some experimental results are given to show the efficiency of our approach.