The paper is devoted to the development of a new method for the approximate construction of the reachability set for a nonlinear control system with discrete time. Pointwise restrictions are imposed on the control parameters. To solve this problem, a technique previously developed and applied for the case of continuous time and differential equations is used. The estimate of the reachability set can be obtained as the level set of a special piecewise affine value function constructed on a grid of simplices in the state space. The paper presents formulas for calculating the coefficients of such a function, which make it possible to analyze the difference between the case with discrete time and the case with continuous time. An example of calculation of piecewise affine value functions and corresponding internal and external estimates of the reachability set is considered.
Keywords:
nonlinear dynamics, reachability set, value function, piecewise affine estimates
