Basis of the Formalization and the Algorithmisation of the Control Functions in ATC Systems.

The publication presents elements of the method of designing computer systems ATC, which consider the description of the control functions and also the interlocking functions on the basis of equations of the state describing the ATC system as a switching machine. The analysis of the ATC system as the switching machine allows distinguishing in the structure of this system a series of automatic components reflecting the courses and controlled objects. Equations of the state were used to describe these machines. This method enabled to formulate the interlocking function and equations, which may be applied to the algorithmization purposes. Moreover, the application of this method allows examining properties of these automata and hence of ATC system. The required properties of these automata include among others their controllability and observability. [ABSTRACT FROM AUTHOR]