Özgür Turay Kaymakçı

Human factors in hydrogen storage: An analysis of safety implications

International Journal of Hydrogen Energy

Automated fabric inspection system development aided with convolutional autoencoder-based defect detection

Ömer Halisdemir Üniversitesi Mühendislik Bilimleri Dergisi

Anomaly localization in regular textures based on deep convolutional generative adversarial networks

Applied Intelligence

A nested autoencoder approach to automated defect inspection on textured surfaces

International Journal of Applied Mathematics and Computer Science

Advanced Predictive Maintenance with Machine Learning Failure Estimation in Industrial Packaging Robots

Split-Brain Autoencoder Approach for Surface Defect Detection

2020 International Conference on Electrical, Communication, and Computer Engineering (ICECCE)

Reliability Analysis of Assembly Processes Performed by Human-Robot Interaction

2019 3rd International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT)

Modelling and Hierarchical Control of CBTC

AN AUTOMATIC FORMAL MODEL GENERATION AND VERIFICATION METHOD FOR RAILWAY INTERLOCKING SYSTEMS

DergiPark (Istanbul University)

Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines

Journal of Modern Transportation

A safety related perspective for the power supply systems in railway industry

Eksploatacja i Niezawodnosc - Maintenance and Reliability

A tool for automatic formal modeling of railway interlocking systems

BİR TRAMVAY HATTININ GÜVENİLİRLİK ANALİZİ

Gazi Üniversitesi Mühendislik-Mimarlık Fakültesi Dergisi

Reliability assessment of fire safety systems in railway industry: a case study

Journal of the Chinese Institute of Engineers

Effects of varying diagnostic coverage on functional safety

Specification and Formal Verification of Safety Properties in Point Automation System by Using Timed-Arc Petri Nets

IFAC Proceedings Volumes

Signaling System Solution for Urban Railways: Esenler Railway Depot

IFAC Proceedings Volumes

The Relationship between Diagnostic Coverage and Proof Test Interval for 1oo2 and 1oo2D Architectures

IFAC Proceedings Volumes

The functional safety calculation of a real interlocking system in Turkey