Çankaya GCRIS Standart veritabanının içerik oluşturulması ve kurulumu Research Ecosystems (https://www.researchecosystems.com) tarafından devam etmektedir. Bu süreçte gördüğünüz verilerde eksikler olabilir.

Mekatronik Mühendisliği Bölümü Yayın Koleksiyonu

Permanent URI for this collectionhttps://hdl.handle.net/20.500.12416/255

Browse

Browsing Mekatronik Mühendisliği Bölümü Yayın Koleksiyonu by Journal "2012 20th Signal Processing and Communications Applications Conference, SIU 2012, Proceedings"

Filter results by typing the first few letters
Now showing 1 - 3 of 3
  • Thumbnail Image
    Conference Object
    Citation Count: Schmidt, Klaus Werner (2012). "Supervisory control for failure recovery in discrete event systems/Ayrik olayli si̇stemlerde arizadan toparlanma i̇çi̇n gözeti̇mli̇ kontrol", 18 April 2012through 20 April 2012.
    Supervisory control for failure recovery in discrete event systems
    (2012) Schmidt, Klaus Werner
    Discrete event system models are used for systems with a discrete state space and event-driven state transitions such as communication systems and manufacturing systems. This paper proposes a polynomial-time algorithm for the construction of fault-tolerant supervisors for discrete event systems. Such supervisor ensures the desired system behavior as long as no faults occur, and realizes a redundant behavior in case of faults.
  • Thumbnail Image
    Conference Object
    Citation Count: Gözcü, Ahmet Korhan...et al (2012). "The implementation of dynamic distributed real time industrial communication protocol (D 2RIP)", 2012 20th Signal Processing and Communications Applications Conference, SIU 2012, Proceedings.
    The implementation of dynamic distributed real time industrial communication protocol (D 2RIP)
    (2012) Gözcü, Ahmet Korhan; Turan, Ulaş; Schmidt, Ece Güran; Schmidt, Klaus Werner
    Ethernet is a popular technology for industrial networking thanks to its low cost and high bandwidth. The current proposals to achieve real-time communication over Ethernet do not consider the determinism of the control applications resulting in inefficient use of bandwidth resources. We proposed a protocol stack architecture that works with standard Ethernet to address this problem. This paper describes the implementation of this architecture over Real-time Linux operating system and the first experiments to verify the operation. The implementation and performance of IEEE 1588 protocol which provides the required synchronization is also presented.
  • Thumbnail Image
    Conference Object
    Citation Count: Kartal, Yusuf Bora; Schmidt, Ece Güran; Schmidt, Klaus Werner (2012). "The verification of a novel framework for real-time shared medium communication network protocols", 2012 20th Signal Processing and Communications Applications Conference, SIU 2012, Proceedings.
    The verification of a novel framework for real-time shared medium communication network protocols
    (2012) Kartal, Yusuf Bora; Schmidt, Ece Güran; Schmidt, Klaus Werner
    The subject of this work is the real-time communication of the distributed industrial control applications over shared-medium Ethernet. We developed a framework for the real-time communication protocols over shared-medium Ethernet in our previous work. The framework is designed using the Timed Input/Output Automata formalism to serve the changing real-time communication needs of the embedded control applications. In this paper we present the modeling, simulation and formal verification process of the proposed framework using UPPAAL toolbox.