11. A computer-program product for use with a computing device for evaluating stability of software code for a control system, the computer-program product comprising: a non-transitory computer-readable medium storing computer-executable instructions that, when executed by the computing device, cause the computing device to: receive a set of initial trajectories; determine one or more candidate Lyapunov functions based on the set of initial trajectories using a semidefinite programming solver module; perform a plurality of simulations using a model of the control system to create a set of discovered trajectories; and evaluate the set of discovered trajectories to determine one or more counterexample trajectories that violate one or more Lyapunov conditions, wherein, if one or more counterexample trajectories are discovered, the computer-executable instructions further cause the computing device to: input the set of discovered trajectories including the one or more counterexample trajectories into the semidefinite programming solver module; and determine one or more additional candidate Lyapunov functions based on the set of initial trajectories and the set of discovered trajectories.
11. A computer-program product for use with a computing device for evaluating stability of software code for a control system, the computer-program product comprising: a non-transitory computer-readable medium storing computer-executable instructions that, when executed by the computing device, cause the computing device to: receive a set of initial trajectories; determine one or more candidate Lyapunov functions based on the set of initial trajectories using a semidefinite programming solver module; perform a plurality of simulations using a model of the control system to create a set of discovered trajectories; and evaluate the set of discovered trajectories to determine one or more counterexample trajectories that violate one or more Lyapunov conditions, wherein, if one or more counterexample trajectories are discovered, the computer-executable instructions further cause the computing device to: input the set of discovered trajectories including the one or more counterexample trajectories into the semidefinite programming solver module; and determine one or more additional candidate Lyapunov functions based on the set of initial trajectories and the set of discovered trajectories. 18. The computer-program product of claim 11 , wherein the software code is for one or more vehicle systems.