keywords ALGORITHM ALPHA-BB Automation & Control Systems GLOBAL OPTIMIZATION METHOD ODES Science & Technology Technology aBB relaxation bounding method complementarity control systems convex relaxation intervals reachability