Table of Contents
Heuristic Optimization and Dynamical System Safety
Verification
Outline
Focus
Stepper Motor
Stepper Motor Safety Verification
Heuristic Search Landscape
Verification through Optimization
Comparative Testing
Comparative Study Results
Global Optimization Results
Comparative Study Results (cont.)
Global Optimization Results (cont.)
Information-Based Approach
Information-Based Local Optimization
Multi-Level Local Optimization
MLLO Example: Rastrigin Function
MLLO-RIQ Results
Other Work in Progress
Summary |
Author: Todd W. Neller
Home Page: http://www-ksl.stanford.edu/people/neller/
Download presentation source (with
EPS previews) |