19 citations · 24 across the 4 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.SC2013★ 19 cited
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…
cs.SC2013
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…