Constraint solving applications

In the thesis the student will apply the constraint solver to a special application area (e.g., parameter or state estimation, robust control, model predictive control) and optimize it for that specific application.