Focus

• Global optimization techniques can be powerfully applied to a class of hybrid system verification problems.

• When each function evaluation of an optimization is costly, such information should be used intelligently in the course of optimization.

Previous slide

Next slide

Back to first slide

View graphic version

There are two main points I’d like to convey in this talk:

First, global optimization techniques can be powerfully applied to a class of hybrid system verification problems.

Second, when each function evaluation of an optimization is costly, such information should be used intelligently in the course of optimization.

My specific meaning will become apparent in the course of time.