Evseev

Implementation of input-output mapping as equations of state was considered. Methods of differential geometry were used in the research. Early developed implementation algorithm included the test of first distribution integrals existence. Reliable test of existence based on Frobenius condition in differential forms language was proposed. To this end, module decomposition was built, containing differentials of equations’ variables. Method of codistribution basis building was created based on this decomposition. The results of this work could be used for the test of distribution integratability in the automatic control problems. It’s recommended to use symbolic mathematic software when using the results of this work.