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

Mariusz Maciejewski , Wiesław Zabłocki


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.
Author Mariusz Maciejewski
Mariusz Maciejewski,,
, Wiesław Zabłocki (FT / DTC)
Wiesław Zabłocki,,
- Department of Traffic Control
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 EnglishAlgorithm 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
ASJC Classification2600 General Mathematics; 1700 General Computer Science
Score (nominal)4
Publication indicators WoS Citations = 0; Scopus SNIP (Source Normalised Impact per Paper): 2014 = 0.248
Citation count*1 (2015-01-04)
Share Share

Get link to the record

* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Are you sure?