A direct quantifier elimination approach for offline multi-rate predictive control with constraints.
Yoshio TangeSatoshi KiryuTetsuro MatsuiPublished in: MED (2014)
Keyphrases
- predictive control
- quantifier elimination
- cardinality constraints
- constraint query languages
- control scheme
- constraint propagation
- constraint databases
- linear constraints
- functional programming
- neuro fuzzy
- constraint satisfaction
- presburger arithmetic
- constraint programming
- power plant
- multiple models
- global constraints
- control strategy
- first order logic
- knowledge representation
- temporal constraints
- real time
- management system
- neural network