A receding horizon control law for harbor defense | IEEE Conference Publication | IEEE Xplore