Slide 2 of 23
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. Iíll then describe an algorithm for information-based global optimization, and to which problems it's best applied. Finally, we'll look at the reasons why we should care at all about optimization in the general context of hybrid systems, and how future work in optimization can complement current work in hybrid control synthesis.