Realization of non-linear dynamic systems

Realizations of input-output differential equations for non-linear control systems are considered. Necessary and sufficient conditions for realization possibility are given. Conditions are formulated either in terms of vector fields and in terms of differential forms. Realization algorithm is built. Algorithm-based software package is created in symbolic computations system Maple.