Systems and methods for evaluating closed-loop control systems are disclosed. In one embodiment, a method of evaluating a control system includes determining, using a processing device, one or more convergence classifier functions from a closed-loop model, wherein the one or more convergence classifier functions convey convergent behavior of the closed-loop model over a pre-determined period of time. The method further includes generating, using the processing device, a plurality of test cases of an input space of the closed-loop model under evaluation, and determining, using the processing device, whether one or more individual test cases of the plurality of test cases do not satisfy the one or more convergence classifier functions.