15. The computer-program product of claim 11 , wherein if no counterexample trajectories are discovered the computer-executable instructions cause the computing device to perform a convex optimization on the set of initial trajectories and the set of discovered trajectories to determine an invariant set of trajectories.
16. The computer-program product of claim 15 , wherein the convex optimization is provided by the sum-of-squares technique.