Uzam, MuratGelen, GökhanDalci, Recep2024-11-072024-11-072009978-142444221-8https://doi.org/10.1109/ICAT.2009.5348424https://hdl.handle.net/11480/11047ICAT 2009 - 2009 22nd International Symposium on Information, Communication and Automation Technologies -- 29 October 2009 through 31 October 2009 -- Sarajevo -- 79081In this paper, a simplified version of timed automata, called timed transition automata (TTA), is proposed. TTA are an extension of untimed automata and are obtained by assigning integer time delay values to events. The proposed TTA are very useful for programmable logic controller (PLC) implementation of supervisory controllers with time delay functions. Supervisory controllers are obtained as in untimed systems by using Ramadge-Wonham framework and then they are refined by the assignment of time delay values to respected events. The implementation of timed transition is realized by using on delay timers of PLCs. The applicability of the proposed method is demonstrated by means of a manufacturing system consisting of two machines and one buffer. ©2009 IEEE.eninfo:eu-repo/semantics/closedAccessLadder logic codeRW supervisorSupervisory control theoryTime delaysTimed transition automataConference Object10.1109/ICAT.2009.53484242-s2.0-74549172267N/A