Safety Verification of Interconnected Hybrid Systems Using Barrier CertificatesReport as inadecuate

Safety Verification of Interconnected Hybrid Systems Using Barrier Certificates - Download this document for free, or read online. Document in PDF available to download.

Mathematical Problems in Engineering - Volume 2016 2016, Article ID 4149059, 10 pages -

Research Article

Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

National Trustworthy Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai 200062, China

School of Informatics and Electronics, Zhejiang Sci-Tech University, Hangzhou 310018, China

School of Software Engineering, Tongji University, Shanghai 201804, China

Received 23 October 2015; Accepted 26 January 2016

Academic Editor: Bogdan Dumitrescu

Copyright © 2016 Guobin Wang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


Safety verification determines whether any trajectory starting from admissible initial states would intersect with a set of unsafe states. In this paper, we propose a numerical method for verifying safety of a network of interconnected hybrid dynamical systems with a state constraint based on bilinear sum-of-squares programming. The safety verification is conducted by the construction of a function of states called barrier certificate. We consider a finite number of interconnected hybrid systems satisfying the input-to-state property and the networked interconnections satisfying a dissipativity property. Through constructing a barrier certificate for each subsystem and imposing dissipation-inequality-like constraints on the interconnections, safety verification is formulated as a bilinear sum-of-squares feasibility problem. As a result, safety of the interconnected hybrid systems could be determined by solving an optimization problem, rather than solving differential equations. The proposed method makes it possible to verify the safety of interconnected hybrid systems, which is demonstrated by a numerical example.

Author: Guobin Wang, Jifeng He, Jing Liu, Haiying Sun, Zuohua Ding, and Miaomiao Zhang



Related documents