Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bushkov, V., Yevtushenko, N., Tiziano, V.: Discussion on Supervisory Control by Solving Automata Equation. In: Proceedings of the IEEE, EWDTS 2009, pp. 77–80 (2009)
Findeisen, W. (ed.): A joint publication: System Analysis – Basis and Methodology Analiza systemowa – podstawy i metodologia. Wydawnictwo Naukowe PWN, Warszawa (1985) (in Polish)
Kaczorek, T.: Theory of Control and Systems (in Polish) Teoria sterowania i systemó. Wydawnictwo Naukowe PWN, Warszawa (1999)
Lin, F.: Robust and Adaptive Supervisory Control of Discrete Event Systems. IEEE Transaction on Automatic Control 38(12) (December 1993)
Traczyk, W.: Digital Circuits. Theoretical Basis and Methods of Synthesis. In: Układy cyfrowe. Podstawy teoretyczne i metody syntezy. WNT, Warszawa (1984) (in Polish)
van Vlijmen, S.F.M.: Verification of the Vital Processor Interlocking. In: FMERail Workshop 1, Netherland (1996)
Wanga, W., Lafortunea, S., LinbAn, F.: An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions. Systems & Control Letters 56, 656–661 (2007)
Yang, Z., Blanke, M.: A unified approach for controllability analysis of hybrid control systems (2000), http://www.iau.dtu.dk/secretary/pdf/yang_blanke_2000b.pdf
Zabłocki, W.: A Formal Analysis of Conflict Functions Used in Rail Traffic Control Systems. Archives of Transport, Polish Academy of Sciences 18(3), 81–99 (2006)
Zabłocki, W.: Interlocking Functions of ATC Station System. Archives of Transport Polish Academy of Sciences 4, 89–108 (2008) ISSN 0866-9546
Zabłocki, W.: Modelling of Automatic Train Control (ATC) station system (in Polish) Modelowanie stacyjnych systemów sterowania ruchem kolejowym. Oficyna Wydawnicza PW, Warszawa (2008)
Zabłocki, W.: Selected problems of the description of interlocking function in ATC systems. In: 17th International Symposium EURO Żel 2009, Increasing the competitiveness of the European Rail System, pp. 207–216. Univerzita v Żiline, Żilinska (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maciejewski, M., Zabłocki, W. (2010). Basis of the Formalization and the Algorithmisation of the Control Functions in ATC Systems. In: Mikulski, J. (eds) Transport Systems Telematics. TST 2010. Communications in Computer and Information Science, vol 104. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16472-9_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-16472-9_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16471-2
Online ISBN: 978-3-642-16472-9
eBook Packages: Computer ScienceComputer Science (R0)