Mustafa Seçkin Durmuş (PhD)
Mustafa Seçkin Durmuş (PhD)
SADENCO (SAfe, Dependable ENgineering & COnsultancy)
saden.co üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Railway signalization and interlocking design via automation Petri nets
MS Durmus, MT Soylemez
2009 7th Asian Control Conference, 1558-1563, 2009
282009
Application of functional safety on railways part II: Software development
U Yildirim, MS Durmuş, MT Söylemez
2011 8th Asian Control Conference (ASCC), 1096-1101, 2011
222011
Fail-safe signalization design for a railway yard: A level crossing case
MS Durmus, U Yildirim, A Kursun, MT Söylemez
Discrete Event Systems 10 (1), 337-342, 2010
212010
Functional Safety Application on Railway Systems: Turkish National Railway Signalization Project
MT Söylemez, MS Durmus, U Yildirim
24th International Congress on Condition Monitoring and Diagnostics …, 2011
192011
The application of automation theory to railway signalization systems: The case of turkish national railway signalization project
MT Söylemez, MS Durmuş, U Yıldırım, S Türk, A Sonat
Proceedings of the 18th IFAC world congress 44 (1), 10752-10757, 2011
182011
Fail-Safe Signalization and Interlocking Design for a Railway Yard: An Automation Petri Net Approach
U YILDIRIM, MS DURMUŞ, MT Söylemez
The 7th International Symposium on Intelligent and Manufacturing Systems, 2010
182010
The Application of Automation Theory to Railway Signaling Systems: The Turkish National Railway Signaling Project
MS DURMUŞ, U YILDIRIM, MT SÖYLEMEZ
Pamukkale Journal of Engineering Science 19 (5), 216-223, 2013
162013
Fault Diagnosis in Fixed-Block Railway Signaling Systems: A Discrete Event Systems Approach
MS Durmus, S Takai, MT Soylemez
IEEJ Transactions on Electrical and Electronic Engineering 9 (5), 523-531, 2014
152014
Application of functional safety on railways part I: Modelling & design
MS Durmuş, U Yildirim, MT Söylemez
2011 8th Asian Control Conference (ASCC), 1090-1095, 2011
152011
Automation Petri Net Based Railway Interlocking and Signalization Design
MS Durmuş, MT Söylemez
Int. Symposium on Innovations in Intelligent Systems and Applications, 12-16, 2009
152009
Signalization and interlocking design for a railway yard: A supervisory control approach by enabling arcs
MS Durmuş, U Yıldırım, MT Söylemez
The 7th International Symposium on Intelligent and Manufacturing Systems, 2010
132010
A new voting strategy in Diverse programming for railway interlocking systems
MS Durmuş, O Eriş, U Yildirim, MT Söylemez
Proceedings 2011 International Conference on Transportation, Mechanical, and …, 2011
122011
Coloured Automation Petri Nets Based Interlocking and Signalization Design
MS Durmuş, MT Söylemez, E Avşaroğulları
The 6th IFAC International Workshop on Knowledge and Technology Transfer in …, 2009
122009
Automatic interlocking table generation for railway stations using symbolic algebra
MS Durmuş, MT Söylemez
IFAC Proceedings Volumes 45 (24), 171-176, 2012
102012
Automatic Interlocking Table Generation for Railway Stations using Symbolic Algebra
MS Durmuş, MT Söylemez
IFAC Proceedings Volumes 45 (24), 171-176, 2012
102012
Interlocking System Design for ERTMS / ETCS: An Approach with Batches Petri Nets
MS Durmus, U Yildirim, MT Söylemez
International Workshop on Discrete Event Systems, 110-115, 2012
92012
Synchronizing automata and Petri net based controllers
MS Durmuş, U Yildinm, O Eriş, MT Söylemez
2011 7th International Conference on Electrical and Electronics Engineering …, 2011
92011
Modular Fault Diagnosis in Fixed-Block Railway Signaling Systems
MS Durmus, İ Ustoglu, RY Tsarev, M Schwarz
IFAC-PapersOnLine 49 (3), 459-464, 2016
82016
A new bitwise voting strategy for safety-critical systems with binary decisions
MS DURMUŞ, O ERİŞ, U YILDIRIM, M Turan
Turkish Journal of Electrical Engineering and Computer Sciences 23 (5), 1507 …, 2015
82015
Automatic generation of Petri net supervisors for railway interlocking design
MTS Mustafa S Durmus, Ugur Yildirim
Control Conference (AUCC), 2012 2nd Australian, 180-185, 2012
7*2012
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20