Diagnosability Planning for Controllable Discrete Event Systems