Table of Contents
Information-Based Optimization Approaches to Dynamical System Safety Verification
Outline
Focus
Stepper Motor
Stepper Motor Safety Verification
Heuristic Search Landscape
Verification through Optimization
Information-Based Approach
Decision Procedure
Ranking Points for Evaluation
Ranking Points for Evaluation (cont.)
Information-Based Global Optimization
Multi-Level Local Optimization
MLLO-IQ
MLLO-RIQ
MLLO-RIQ Example: Rastrigin Function
MLLO-IQ/MLLO-RIQ Results
MLLO-RI/MLLO-RIQ Results
Why Optimization?
Why Optimization? (cont.)
Integration with Control Synthesis
Summary
Summary (cont.)
|
Author: Todd Neller
Home Page: http://www-ksl.stanford.edu/people/neller/
|