3 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Liyun Dai, Ting Gan, Bican Xia +1
A barrier certificate can separate the state space of a con- sidered hybrid system (HS) into safe and unsafe parts ac- cording to the safety property to be verified. Therefore this…