Rigorous constraint satisfaction for sampled linear systems.
Moritz Schulze DarupPublished in: Eur. J. Control (2016)
Keyphrases
- constraint satisfaction
- linear systems
- constraint satisfaction problems
- dynamical systems
- sufficient conditions
- constraint propagation
- heuristic search
- constraint programming
- sparse linear systems
- constraint relaxation
- coefficient matrix
- constraint solving
- interior point methods
- arc consistency
- constrained problems
- real time
- robust fault detection
- product configuration
- soft constraints
- simulated annealing
- constraint optimization
- decision making
- genetic algorithm
- neural network