Control design for a bilinear system reachable sets and exact linearization