Login / Signup
Application of LaSalle's Invariance Principle on Polynomial Differential Equations Using Quantifier Elimination.
Daniel Gerbet
Klaus Röbenack
Published in:
IEEE Trans. Autom. Control. (2022)
Keyphrases
</>
differential equations
quantifier elimination
dynamical systems
machine learning
constraint propagation
ordinary differential equations
search algorithm
computational complexity
data model
general purpose
numerical methods
constraint databases