Construction of reachability sets for nonlinear control systems by grid algorithm with an apriori reduction procedure

The problem of constructing reachable sets for nonlinear control systems is considered. To solve this problem, a grid algorithm is proposed, in which the procedures for calculating the next reachable set and reducing are combined. This approach allows for more efficient use of computer resources when performing calculations. A program that implements this algorithm is written in the C++ programming language using the OpenMP parallel computing technology. Model calculations have been perfomed.