PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Tytuł artykułu

Wybrane problemy tworzenia funkcji i równań zależnościowych w systemach srk

Identyfikatory
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.
Rocznik
Tom
Strony
87--100
Opis fizyczny
Bibliogr. 16 poz., rys., tab., wykr.
Twórcy
autor
  • 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.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-PWA7-0041-0027
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.