Automatic Interlocking Table Generation for Railway Stations using Symbolic Algebra-Reference-Cited by-同舟云学术

Automatic Interlocking Table Generation for Railway Stations using Symbolic Algebra

Published:2012-09 Issue:24 Volume:45 Page:171-176
ISSN:1474-6670
Container-title:IFAC Proceedings Volumes
language:en
Short-container-title:IFAC Proceedings Volumes

Author:

Yıldırım U˘ur,Durmuş Mustafa S.,Söylemez Mehmet T.

Publisher

Elsevier BV

Subject

General Medicine

Reference12 articles.

1. Modelling Railway Interlocking Tables Using Coloured Petri Nets;Anunchai;Lecture Notes in Computer Science,2010

2. Durmuş., M. S., Yildirim, U., Eriş, O. and Söylemez, M.T. (2012). Safety-Critical Interlocking Software Development Process for Fixed-Block Signalization Systems, submitted to The 13th IFAC Symposium on Control in Transportation Systems, CTS 2012.

3. Verification of interlockings: From control tables to ladder logic diagrams;Fokkink;Proceedings of 3rd Workshop on Formal Methods for Industrial Critical Systems,1998

4. Modelling and Verification of Relay Interlocking Systems;Haxthausen;Lecture Notes on Computer Science,2010

5. Automatic interlocking table generation from railway topology;Kuzu,2011

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automatic Railway Signaling Generation for Railways Systems Described on Railway Markup Language (railML);IEEE Transactions on Intelligent Transportation Systems;2023

2. Automatic Generation of Route Control Chart From Validated Signal Interlocking Plan;IEEE Transactions on Intelligent Transportation Systems;2021-10

3. Automatic generation of VHDL code for a railway interlocking system;International Journal of Embedded Systems;2021

4. Modelling, Simulation and Code Generation for Electronic Railway Interlocking Systems;IEEE Latin America Transactions;2021-01

5. FPGA implementation of a critical railway interlocking system;IEEE Latin America Transactions;2020-02