A backstepping approach to multivariable robust constraint satisfaction with application to a VTOL helicopter.

Mathias Bürger Martin Guay

Published 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