Figure 6From: Efficient classification of complete parameter regions based on semidefinite programmingContour plot for additional example 2. The feasible and infeasible regions are shown in white and black, respectively. Starting from an initial set of parameters (black cross), whole areas can be proven to be inconsistent (gray) (parameters k1 and k2 are fixed, k3 and k4 are varied in a range between 0 and 5).Back to article page