General proof of HDS' minimum principle with restricted terminal states | IEEE Conference Publication | IEEE Xplore