论文信息 - Heuristic Optimization and Dynamical System Safety Veriication

Heuristic Optimization and Dynamical System Safety Veriication

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 un-tuned performance of several Simulated Annealing and Multi Level Single Linkage method variants, and discuss the dynamic use of knowledge gained during optimization.

Todd W. Neller

[1] G. T. Timmer,et al. Stochastic global optimization methods part II: Multi level methods , 1987, Math. Program..

[2] G. T. Timmer,et al. Stochastic global optimization methods part I: Clustering methods , 1987, Math. Program..

[3] P. Pardalos,et al. Handbook of global optimization , 1995 .

[4] F. H. Branin. Widely convergent method for finding multiple solutions of simultaneous nonlinear equations , 1972 .

[5] Sandro Ridella,et al. Minimizing multimodal functions of continuous variables with the “simulated annealing” algorithmCorrigenda for this article is available here , 1987, TOMS.

[6] C. D. Gelatt,et al. Optimization by Simulated Annealing , 1983, Science.

[7] N. Metropolis,et al. Equation of State Calculations by Fast Computing Machines , 1953, Resonance.

[8] Lester Ingber,et al. Adaptive simulated annealing (ASA): Lessons learned , 2000, ArXiv.

[9] R. B. Patil,et al. SALO: COMBINING SIMULATED ANNEALING AND LOCAL OPTIMIZATION FOR EFFICIENT GLOBAL OPTIMIZATION , 1996 .