Works citing this work

4 works

Work: Model Checking Interlocking Control Tables

1. Simulation of a Safe Train Traffic Management System at the Stations

   Sunnatillo Boltayev, Ruslan Abdullaev, Bekhruz G. Ergashov +1

   ArticleTechnology and Human Factors in Education and Health2022 Conference of Russian Young Researchers in Electrical and Electronic Engineering (ElConRus)202211 citations

   ABIABI:AkademIndex/openalex/2026.other.148803

2. Route management modeling of high-speed trains on the train dispatcher section

   Obid Muhiddinov, Sunnatillo Boltayev

   ArticleRailway Systems and Energy EfficiencyE3S Web of Conferences202310 citations

   ABIABI:AkademIndex/openalex/2026.other.148810

3. Transition of the Electric Interlocking System Control Panel to Computer-Based Control

   Sunnatillo T. Boltayev, Bobomurod B. Rakhmonov, Charos M. Aripova

   ArticleSmart Grid Security and Resilience20260 citations

   ABIABI:AkademIndex/openalex/2026.article.014028

4. Artificial Intelligence-based Centralized Dispatcher Control System for Organizing Train Movement

   Sunnatillo T. Boltayev, Obidjon O. Muhiddinov, Qamara Kosimova

   ArticleRailway Systems and Energy Efficiency20260 citations

   ABIABI:AkademIndex/openalex/2026.article.014040