HBJ with state constraints