Convex Optimization-based Static Analysis for Control Systems