Determining tolerable attack surfaces that preserves safety of cyber-physical systems

C Cheh, A Fawaz, MA Noureddine… - 2018 IEEE 23rd …, 2018 - ieeexplore.ieee.org
As safety-critical systems become increasingly interconnected, a system's operations
depend on the reliability and security of the computing components and the interconnections …

Monitoring of Train Location with Ardunio Based Control System

E Ersoy - Şırnak Üniversitesi Fen Bilimleri Dergisi, 2022 - dergipark.org.tr
In this study, an Arduino-based prototype has been developed to teach the structure and
working principle of the Centralized Traffic Control (CTC) system that enables the monitoring …

Modeling and Verification of Cooperative Vehicle Infrastructure System at Unsignalized Intersection Based on Time Automata

W Liu, Q **ao, X Chen, C Rao… - Journal of …, 2024 - dc-china-simulation …
Cooperative vehicle infrastructure system (CVIS) is one of the advanced solutions to
enhance intersection vehicle passage safety. Due to the lack of clear specifications and …

Protecting critical infrastructure systems using cyber, physical, and socio-technical models

C Cheh - 2019 - ideals.illinois.edu
Abstract" Critical infrastructure systems are vital to all nations, and incapacitating such
systems can result in devastating impact on the general public. Therefore, it is essential to …

Modelling and Hierarchical Control of CBTC

C Atilgan, ÖT KAYMAKÇI - 2018 6th International Conference …, 2018 - ieeexplore.ieee.org
Over the last decade, the railway industry has a great evolution about signaling system and
there is more orientation from the standard railway signaling system to the …

基于时间自动机的无信号交叉口车路协同系统建模与验证

刘伟, 肖七瑞, 陈新海, 饶畅, 张宇, 王博思 - 系统仿真学报, 2024 - china-simulation.com
车路协同系统(cooperative vehicle infrastructure system, CVIS) 是提高交叉口车辆通行安全的
重要解决方案之一. 针对CVIS 现有技术规范和标准未明确系统对象状态交互的动态时序及迁移 …

[CITATION][C] İletişim tabanlı tren kontrol sisteminin sonlu durum otomatları ile modellenmesi ve merkezi olmayan hiyerarşik kontrolü

C Atilgan - Fen Bilimleri Enstitüsü

[CITATION][C] Otomatik tam bariyerli hemzemin geçit sisteminin kontrolü ve emniyet analizi

H Aydin - 2018 - Fen Bilimleri Enstitüsü