Computing invariants of hybrid system using quantifier elimination.
Yongquan WangZhiqing ShaoZhongqin BiPublished in: ICIS (2010)
Keyphrases
- quantifier elimination
- constraint propagation
- functional programming
- presburger arithmetic
- first order logic
- expert systems
- cardinality constraints
- constraint databases
- high level
- relational databases
- query processing
- constraint satisfaction problems
- data integration
- constraint satisfaction
- constraint programming