An algorithm of the method of sections and program tools for constructing reachable sets of nonlinear control systems

The method of sections for constructing reachable sets of nonlinear control systems with constraints on the control and system state is considered. The proposed algorithms are based on the application of complexes of programs whose functional content contains methods for calculating an optimal control for various constraints on control and system coordinates. The problems of many-processor computing technology are discussed and the results of numerical experiments are presented.