OpenAlex
Safety Verification of Interconnected Hybrid Systems Using Barrier Certificates
Work
Year: 2016
Type: article
Abstract: 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 sa... more
Source: Mathematical Problems in Engineering
Authors Guobin Wang, Jifeng He, Jing Liu, Haiying Sun, Zuohua Ding +1 more
Institutions East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, Zhejiang Sci-Tech University, Tongji University
Cites: 23
Cited by: 6
Related to: 10
FWCI:
Citation percentile (by year/subfield): 64.8
Topic: Formal Methods in Verification
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: gold
APC paid (est): $2,400
Funders National Natural Science Foundation of China, National Natural Science Foundation of China, National Natural Science Foundation of China, National Natural Science Foundation of China, National Natural Science Foundation of China +1 more
Grant IDS 61321064, 91318301, 61332008, 61572195, 91418203 +1 more