Slide 2 of 19
Notes:
This talk is concerned with the relationship between global optimization and hybrid system safety verification. I’ll first briefly introduce the motivating problem for this research: stepper motor non-stall verification. Next, I’ll show how global optimization methods can be leveraged with a class of such safety problems. You’ll then learn which of some modern global optimization techniques are best applied to such problems, and how they may be improved for our purposes. I’ll then underscore the need for information-based global optimization research and present recent encouraging research results to that end.
It is my hope that information-based global optimization research will produce methods which greatly aid and complement other hybrid dynamical system verification toolsets.
