Safety Verification of Interconnected Hybrid Systems Using Barrier Certificates
Joint Authors
Wang, Guobin
He, Jifeng
Liu, Jing
Sun, Haiying
Ding, Zuohua
Zhang, Miaomiao
Source
Mathematical Problems in Engineering
Issue
Vol. 2016, Issue 2016 (31 Dec. 2016), pp.1-10, 10 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2016-03-23
Country of Publication
Egypt
No. of Pages
10
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Wang, Guobin& He, Jifeng& Liu, Jing& Sun, Haiying& Ding, Zuohua& Zhang, Miaomiao. 2016. Safety Verification of Interconnected Hybrid Systems Using Barrier Certificates. Mathematical Problems in Engineering،Vol. 2016, no. 2016, pp.1-10.
https://search.emarefa.net/detail/BIM-1112148
Modern Language Association (MLA)
Wang, Guobin…[et al.]. Safety Verification of Interconnected Hybrid Systems Using Barrier Certificates. Mathematical Problems in Engineering No. 2016 (2016), pp.1-10.
https://search.emarefa.net/detail/BIM-1112148
American Medical Association (AMA)
Wang, Guobin& He, Jifeng& Liu, Jing& Sun, Haiying& Ding, Zuohua& Zhang, Miaomiao. Safety Verification of Interconnected Hybrid Systems Using Barrier Certificates. Mathematical Problems in Engineering. 2016. Vol. 2016, no. 2016, pp.1-10.
https://search.emarefa.net/detail/BIM-1112148
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1112148