19 citations · 24 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2012★ 3 cited
Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation
Zhengfeng Yang, Min Wu, Wang Lin
In this paper, we address the problem of safety verification of nonlinear hybrid systems. A hybrid symbolic-numeric method is presented to compute exact inequality invariants of hy…
cs.SE2011★ 2 cited
Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation
Wang Lin, Min Wu, Zhengfeng Yang +1
In this paper we discuss how to generate inductive invariants for safety verification of hybrid systems. A hybrid symbolic-numeric method is presented to compute inequality inducti…