Systemic optimization of an active vibration micro-isolator: An interval computation and constraint propagation based approach.
Yann MeyerPierre-Alain YvarsThierry VerdotPublished in: AIM (2014)
Keyphrases
- constraint propagation
- interval analysis
- interval arithmetic
- constraint reasoning
- constraint programming
- russian doll search
- constraint satisfaction problems
- constraint satisfaction
- temporal constraints
- constrained optimization
- constraint solving
- systematic search
- quantifier elimination
- constraint graph
- linear programming
- search space
- constrained problems
- backtracking algorithms
- temporal reasoning
- optimization problems
- active control
- soft constraints
- constraint problems
- autocalibration
- tree search
- genetic algorithm
- arc consistency
- optimization process
- traveling salesman problem
- search algorithm