{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:34:57Z","timestamp":1725568497627},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642164712"},{"type":"electronic","value":"9783642164729"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16472-9_28","type":"book-chapter","created":{"date-parts":[[2010,10,23]],"date-time":"2010-10-23T13:16:00Z","timestamp":1287839760000},"page":"253-262","source":"Crossref","is-referenced-by-count":1,"title":["Basis of the Formalization and the Algorithmisation of the Control Functions in ATC Systems"],"prefix":"10.1007","author":[{"given":"Mariusz","family":"Maciejewski","sequence":"first","affiliation":[]},{"given":"Wies\u0142aw","family":"Zab\u0142ocki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Bushkov, V., Yevtushenko, N., Tiziano, V.: Discussion on Supervisory Control by Solving Automata Equation. In: Proceedings of the IEEE, EWDTS 2009, pp. 77\u201380 (2009)"},{"volume-title":"A joint publication: System Analysis \u2013 Basis and Methodology Analiza systemowa \u2013 podstawy i metodologia","year":"1985","key":"28_CR2","unstructured":"Findeisen, W. (ed.): A joint publication: System Analysis \u2013 Basis and Methodology Analiza systemowa \u2013 podstawy i metodologia. Wydawnictwo Naukowe PWN, Warszawa (1985) (in Polish)"},{"key":"28_CR3","volume-title":"Theory of Control and Systems (in Polish) Teoria sterowania i system\u00f3","author":"T. Kaczorek","year":"1999","unstructured":"Kaczorek, T.: Theory of Control and Systems (in Polish) Teoria sterowania i system\u00f3. Wydawnictwo Naukowe PWN, Warszawa (1999)"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Lin, F.: Robust and Adaptive Supervisory Control of Discrete Event Systems. IEEE Transaction on Automatic Control\u00a038(12) (December 1993)","DOI":"10.1109\/9.250564"},{"key":"28_CR5","unstructured":"Traczyk, W.: Digital Circuits. Theoretical Basis and Methods of Synthesis. In: Uk\u0142ady cyfrowe. Podstawy teoretyczne i metody syntezy. WNT, Warszawa (1984) (in Polish)"},{"key":"28_CR6","unstructured":"van Vlijmen, S.F.M.: Verification of the Vital Processor Interlocking. In: FMERail Workshop 1, Netherland (1996)"},{"key":"28_CR7","doi-asserted-by":"publisher","first-page":"656","DOI":"10.1016\/j.sysconle.2007.03.006","volume":"56","author":"W. Wanga","year":"2007","unstructured":"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\u00a056, 656\u2013661 (2007)","journal-title":"Systems & Control Letters"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1016\/S1474-6670(17)37184-7"},{"issue":"3","key":"28_CR9","first-page":"81","volume":"18","author":"W. Zab\u0142ocki","year":"2006","unstructured":"Zab\u0142ocki, W.: A Formal Analysis of Conflict Functions Used in Rail Traffic Control Systems. Archives of Transport, Polish Academy of Sciences\u00a018(3), 81\u201399 (2006)","journal-title":"Archives of Transport, Polish Academy of Sciences"},{"key":"28_CR10","first-page":"89","volume":"4","author":"W. Zab\u0142ocki","year":"2008","unstructured":"Zab\u0142ocki, W.: Interlocking Functions of ATC Station System. Archives of Transport Polish Academy of Sciences\u00a04, 89\u2013108 (2008) ISSN 0866-9546","journal-title":"Archives of Transport Polish Academy of Sciences"},{"key":"28_CR11","volume-title":"Modelling of Automatic Train Control (ATC) station system (in Polish) Modelowanie stacyjnych system\u00f3w sterowania ruchem kolejowym","author":"W. Zab\u0142ocki","year":"2008","unstructured":"Zab\u0142ocki, W.: Modelling of Automatic Train Control (ATC) station system (in Polish) Modelowanie stacyjnych system\u00f3w sterowania ruchem kolejowym. Oficyna Wydawnicza PW, Warszawa (2008)"},{"key":"28_CR12","first-page":"207","volume-title":"17th International Symposium EURO \u017bel 2009, Increasing the competitiveness of the European Rail System","author":"W. Zab\u0142ocki","year":"2009","unstructured":"Zab\u0142ocki, W.: Selected problems of the description of interlocking function in ATC systems. In: 17th International Symposium EURO \u017bel 2009, Increasing the competitiveness of the European Rail System, pp. 207\u2013216. Univerzita v \u017biline, \u017bilinska (2009)"}],"container-title":["Communications in Computer and Information Science","Transport Systems Telematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16472-9_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T20:40:36Z","timestamp":1559767236000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16472-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642164712","9783642164729"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16472-9_28","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2010]]}}}