Reference: Neller, T. W. Heuristic Optimization and Dynamical System Safety Verification. Center for Continuing Education, Univ of Notre Dame, Univ. of Notre Dame, South Bend, IN, 1997.
Abstract: Given a heuristic estimate of the relative safety of a hybrid dynamical system trajectory, we transform the initial safety problem for dynamical systems into a global optimization problem. We compare untuned performance of several Simulated Annealing and Multi Level Single Linkage method variants, and discuss the dynamic use of knowledge gained during optimization.
Full paper available as ps.