Metoda tworzenia funkcji równań zależnościowych w systemach SRK

• Autorzy: Maciejewski M. , Zabłocki W.

Warianty tytułu

EN

Method of creating the interlocking function and equations in atc systems

• Języki publikacji: PL

Abstrakty

PL

W publikacji przedstawiono metodę tworzenia funkcji i równań zależnościowych na podstawie równań stanu opisujących system srk jako układ przełączający. Analiza systemu srk jako układu przełączającego pozwala wyróżnić w strukturze tego układu szereg automatów składowych odwzorowujących przebiegi, jak i obiekty sterowane. Do opisu tych automatów zastosowano równania stanu. Metoda ta umożliwiła sformułowanie funkcji i równań zależnościowych, które można zastosować do celów algorytmizacji. Ponadto zastosowanie tej metody pozwala zbadać własności tych automatów a tym samym i systemu srk.

EN

In the publication a method of creating the function and interlocking equations was presented on the basis of equations of the state describing the ATC system as the switching machine. Analysis of the ATC system as the switching machine lets single the row of automaton in the structure of this system as components reflecting of the rout process, as controlled objects. Equations of the state were used to the description of these machines. This method enabled to formulate the interlocking function and equations whom it is possible to apply to purposes of the algorithmization. Moreover applying this method allows to examine properties of these automaton hence and of ATC system. The required property of these automaton is among others their observability.

Słowa kluczowe

PL

system; sterowanie; ruch kolejowy; układ przełączający; automat; zależności

EN

system; control; rail traffic; switching machine; automata

• Wydawca: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
• Czasopismo: Logistyka
• Rocznik: 2010
• Tom: nr 4
• Strony: CD--CD
• Opis fizyczny: -pełny tekst, Bibliogr. 15 poz., rys.

Twórcy

autor

Maciejewski M.

autor

Zabłocki W.

• PolitechnikaWarszawska; Wydział Transportu

Bibliografia

• 1. Bushkov V, Yevtushenko N, Tiziano V.: Discussion on Supervisory Control by Solving Automata Equation, Proceedings of the IEEE, EWDTS'09 (2009) 77-80.
• 2. Findeisen W., red., praca zbiorowa, Analiza systemowa – podstawy i metodologia, Wydawnictwo Naukowe PWN, Warszawa 1985.
• 3. Kaczorek T.: Teoria sterowania i systemów, Wydawnictwo Naukowe PWN, Warszawa 1999.
• 4. Lin F.: Robust and Adaptive Supervisory Control of Discrete Event Systems, IEEE Transaction on Automatic Control, vol. 38, no. 12, December 1993.
• 5. Maciejewski M.: Niepublikowane materiały przygotowywanej rozprawy doktorskiej.
• 6. Traczyk W., Układy cyfrowe. Podstawy teoretyczne i metody syntezy, WNT, Warszawa,1984.
• 7. van Vlijmen S.F.M., Verification of the Vital Processor Interlocking, , FMERail Workshop 1, 8 – 9 june 1996, Netherland.
• 8. 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 (2007) 656– 661.
• 9. Yang Z., Blanke M.: A unified approach for controllability analysis of hybrid control systems, http://www.iau.dtu.dk/secretary/pdf/yang_blanke_2000b.pdf
• 10. Zabłocki W.: A Formal Analysis of Conflict Functions Used in Rail Traffic Control Systems, Archives of Transport, Polish Academy of Sciences, vol 18, issue 3, str. 81-99, 2006.
• 11. Zabłocki W.: Interlocking Functions of ATC Station System, Archives of Transport Polish Academy of Sciences, ISSN 0866-9546, nr 4/2008, str. 89 – 108, 2008.
• 12. Zabłocki W.: Modelowanie stacyjnych systemów sterowania ruchem kolejowym, Oficyna Wydawnicza PW, Warszawa 2008.
• 13. Zabłocki W.: Podstawy opisu formalnego zależności stacyjnych, Prace Naukowe Politechniki Warszawskiej, seria Transport, zeszyt 62, str. 309-322, 2007.
• 14. Zabłocki W.: Selected problems of the description of interlocking function in ATC systems, 17th International Symposium EURO Żel 2009, Increasing the competitiveness of the European Rail System, Żilinska Univerzita v Żiline, str. 207 – 216, 3 – 4 juni 2009.
• 15. Zabłocki W.: Synteza funkcji zależnościowych stacyjnego systemu srk, Nowoczesne technologie i systemy zarządzania w kolejnictwie, Zeszyty Naukowo-Techniczne SITK, Nr 91 (Zeszyt 149), str.525 – 547, 2009.