A backstepping approach to multivariable robust constraint satisfaction with application to a VTOL helicopter.
Mathias BürgerMartin GuayPublished in: CDC (2009)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- nonlinear systems
- constraint propagation
- robust fault detection
- combinatorial problems
- phase transition
- sat solvers
- closed loop
- arc consistency
- soft constraints
- np complete
- control system
- relaxation labeling
- constraint solving
- constraint relaxation
- max csp
- search algorithm