Lecture Notes in Computer Science, 1999, Volume 1567/1999, 636, DOI: 10.1007/3-540-49163-5_14

Heuristic Optimization and Dynamical System Safety Verification

Todd W. Neller

View Related Documents

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.
This work was supported by the Defense Advanced Research Projects Agency and the National Institute of Standards and Technology under Cooperative Agreement 70NANB6H0075, “Model-Based Support of Distributed Collaborative Design”.

Fulltext Preview

Image of the first page of the fulltext document