27 citations · 33 across the 5 of their papers we have counts for
1 paper · 2 filters
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen +1
In this paper, we examine linear programming (LP) based relaxations for synthesizing polynomial Lyapunov functions to prove the stability of polynomial ODEs. A common approach to L…