Title
Heuristic Optimization and Dynamical System Safety Verification
Document Type
Article
Publication Date
1999
Department 1
Computer Science
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.
Recommended Citation
Neller, Todd "Heuristic Optimization and Dynamical System Safety Verification," in P. Antsaklis et al, eds., Lecture Notes in Computer Science 1567, Hybrid Systems V: Proceedings of the Fifth International Workshop on Hybrid Systems (HS '97, Center for Continuing Education, University of Notre Dame, South Bend, IN, USA, 1997), Springer Verlag, 1999.
Comments
Original version is available from the publisher at: http://dl.acm.org/citation.cfm?id=710761