Login / Signup
Proving Asymptotic Stability with LaSalle's Invariance Principle: On the Automatic Computation of Invariant Sets Using Quantifier Elimination.
Daniel Gerbet
Klaus Röbenack
Published in:
CoDIT (2020)
Keyphrases
</>
asymptotic stability
quantifier elimination
sufficient conditions
closed loop
functional programming
first order logic
constraint propagation
constraint databases
presburger arithmetic
neural network
expressive power