Slide 2 of 19
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.