Return to Article Details Sum of squares decomposition: theory and applications in control