B. Xia

Learn More
In this paper we deal with the problem of computing Lya-punov functions for stability verification of differential systems. We concern on symbolic methods and start the discussion with a classical quantifier elimination model for computing Lyapunov functions in a given polynomial form, especially in quadratic forms. Then we propose a new semi-algebraic(More)
  • 1