Wybrane problemy tworzenia funkcji i 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 wybrane problemy dotyczące metody 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 srk; sterowanie; ruch kolejowy; układ przełączający; funkcje zależnościowe; równania zależnościowe; system transportowy

EN

srk system; control; rail traffic; switching machine; interlocking functions; interlocking equations; transport system

• Wydawca: Oficyna Wydawnicza Politechniki Warszawskiej
• Czasopismo: Prace Naukowe Politechniki Warszawskiej. Transport
• Rocznik: 2010
• Tom: z. 72
• Strony: 87--100
• Opis fizyczny: Bibliogr. 16 poz., rys., tab., wykr.

Twórcy

autor

Maciejewski M.

autor

Zabłocki W.

• Politechnika Warszawska, 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., Zabłocki W.: Metoda tworzenia funkcji i równań zależnościowych w systemach srk, Międzynarodowa Konferencja Naukowa Transport XXI w., Politechnika Warszawska, Wydział Transportu, Warszawa 2010.
• 6. Maciejewski M.: Niepublikowane materiały przygotowywanej rozprawy doktorskiej.
• 7. Traczyk W., Układy cyfrowe. Podstawy teoretyczne i metody syntezy, WNT, Warszawa, 1984.
• 8. van Vlijmen S.F.M., Verification of the Vital Processor Interlocking, , FMERail Workshop 1,8- 9 June 1996, Netherland.
• 9. 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.
• 10. 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
• 11. 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.
• 12. 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.
• 13. Zabłocki W.: Modelowanie stacyjnych systemów sterowania ruchem kolejowym, Prace Naukowe Politechniki Warszawskiej, seria Transport, zeszyt 65, Oficyna Wydawnicza PW, Warszawa 2008.
• 14. Zabłocki W.: Podstawy opisu formalnego zależności stacyjnych, Prace Naukowe Politechniki Warszawskiej, seria Transport, zeszyt 62, str. 309-322, 2007.
• 15. 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.
• 16. 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.