Numerical computations of phase states inclusions for problems of aircraft displacement inspection

In the article the authors describe the guaranteed methods, which allow to compute the boundary of controlled objects phase states. A problem of inspection of aircraft displacement at horizontal plane is solved by means of creation of symbolic formulas and decisions and estimation of all the possible values. The results of the computations are presented.