Applying Quantifier Elimination to Stability Analysis of Difference Schemes.
Richard LiskaStanly L. SteinbergPublished in: Comput. J. (1993)
Keyphrases
- dynamic environments
- stability analysis
- quantifier elimination
- nonlinear systems
- constraint propagation
- presburger arithmetic
- functional programming
- first order logic
- cardinality constraints
- real time
- constraint databases
- learning rate
- fuzzy controller
- computational intelligence
- fuzzy model
- evolutionary algorithm
- relational databases
- database