19 citations · 24 across the 5 of their papers we have counts for
5 papers
Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems
Min Wu, Zhengfeng Yang, Wang Lin
In this paper, we consider the problem of computing estimates of the domain-of-attraction for non-polynomial systems. A polynomial approximation technique, based on multivariate po…
Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation
Zhengfeng Yang, Min Wu, Wang Lin
In this paper, we address the problem of safety verification of interval hybrid systems in which the coefficients are intervals instead of explicit numbers. A hybrid symbolic-numer…
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…
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…
Generating Loop Invariants by Computing Vanishing Ideals of Sample Points
Bin Wu, Liyong Shen, Min Wu +2
Loop invariants play a very important role in proving correctness of programs. In this paper, we address the problem of generating invariants of polynomial loop programs. We presen…