Constraint Programming for Controller Synthesis.
Gérard VerfaillieCédric PraletPublished in: CP (2011)
Keyphrases
- constraint programming
- controller synthesis
- autonomic computing systems
- closed loop
- combinatorial problems
- constraint propagation
- control system
- constraint satisfaction problems
- control algorithm
- global constraints
- constraint satisfaction
- multi agent
- search strategies
- symmetry breaking
- np hard problems
- controller design
- arc consistency
- autonomic systems
- itemset mining
- constraint logic programming
- finite domain
- constraint optimization
- search heuristics
- constraint problems
- particle swarm optimization
- hard and soft constraints
- data mining