@inproceedings{69fb0cae94a24a9aa3aa0799b419047b,
title = "Safety verification of state/time-driven hybrid systems using barrier certificates",
abstract = "This paper addresses formal safety verification issue of hybrid systems which resort either state-driven or time-driven strategies. Modeling hybrid systems as linear hybrid automata, we provide a formal method for safety verification by constructing barrier certificates whose existence guarantees the soundness of safety specifications. Barrier certificates for safety of state-driven hybrid systems are presented. Particularly, we propose a formal method for constructing time-dependent barrier certificates and show its sufficiency for safety of time-driven hybrid systems. Through formulating the search of time-dependent barrier certificates as a bilinear sum-of-squares programming problem, a computationally tractable method is proposed to derive a certification on safety in polynomial time. A numerical example illustrates the efficiency of the proposed approach.",
keywords = "Formal Methods, Hybrid System, Safety Verification",
author = "Guobin Wang and Jing Liu and Haiying Sun and Jie Liu and Zuohua Ding and Miaomiao Zhang",
note = "Publisher Copyright: {\textcopyright} 2016 TCCT.; 35th Chinese Control Conference, CCC 2016 ; Conference date: 27-07-2016 Through 29-07-2016",
year = "2016",
month = aug,
day = "26",
doi = "10.1109/ChiCC.2016.7553737",
language = "英语",
series = "Chinese Control Conference, CCC",
publisher = "IEEE Computer Society",
pages = "2483--2489",
editor = "Jie Chen and Qianchuan Zhao and Jie Chen",
booktitle = "Proceedings of the 35th Chinese Control Conference, CCC 2016",
address = "美国",
}