A globally convergent algorithm with adaptively refined discretization for semi-infinite optimization problems arising in engineering design | IEEE Journals & Magazine | IEEE Xplore