Basis of the Formalization and the Algorithmisation of the Control Functions in ATC Systems
Mariusz Maciejewski , Wiesław Zabłocki
AbstractThe 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.
|Book||Mikulski Jerzy (eds.): Transport Systems Telematics, Communications in Computer and Information Science, no. 104, 2011, Springer Berlin Heidelberg, ISBN 978-3-642-16471-2, 978-3-642-16472-9|
|Keywords in English||Algorithm Analysis and Problem Complexity, automata, Computer Communication Networks, Control, Database Management, equations of the state, functions, Information Storage and Retrieval, Information Systems Applications (incl.Internet), interlocking relations, Multimedia Information Systems, rail traffic, switching machine, System|
|Publication indicators||= 0; : 2014 = 0.248|
|Citation count*||1 (2015-01-04)|
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.