Article citationsMore>>

Wu, W.M., Su, H.Y. and Chu, J. (2002) Supervisory Control of Discrete Event Systems Using Enabling Arc Petri Nets. Proceedings 2002 IEEE International Conference on Robotics and Automation, Vol. 2, 1913-1918.
https://doi.org/10.1109/robot.2002.1014820

has been cited by the following article:

• TITLE: Mathematical Model for Signal Control and State Monitoring in a Relay Interlocking System

  AUTHORS: Sunnatillo Tuymurodovich Boltayev, Bobomurod Bakhtiyorovich Rakhmonov, Charos Murodjon qizi Aripova

  KEYWORDS: Relay Interlocking, Entrance Signal, Exit Signal, Station Duty Officer’s Automated Workstation, Finite-State Automaton, Boolean Function, Monitoring Information

  JOURNAL NAME: Intelligent Control and Automation, Vol.17 No.4, November 6, 2026

  ABSTRACT: This paper addresses the formalization of entrance and exit signal monitoring information when a relay interlocking system is integrated with the station duty officer’s automated workstation (SDO AW). Discrete input signals, state codes, and the update function of a finite-state automaton are defined using the supplied state tables. The 16 entrance signal input combinations are classified into five states, and Boolean expressions are derived for these states. The exit signal table is shown to map eight combinations to only two states and to be incomplete with respect to the other state definitions. A procedure is proposed for processing information quality, timestamps, and the signal identifier together with the state code. Functional dependencies of entrance, exit, and shunting signals, route authorization conditions, the command execution confirmation loop, and verification scenarios are examined.