Brendon K. Colbert, Luis G. Crespo, Matthew M. Peet: A Sum of Squares Optimization Approach to Uncertainty Quantification. ACC 2019: 5378-5384