Computation of State Avoidance Control for Innnite State Systems in Assignment Program Framework|the Expanded Version 1; 2