Timed Transition Automata and Their Ladder Logic Implementation

UZAM M., Gelen G., Dalci R.

22nd International Symposium on Information Communication and Automation Technologies, Sarajevo, Bosna-Hersek, 29 - 31 Ekim 2009, ss.120-127 identifier identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası:
  • Doi Numarası: 10.1109/icat.2009.5348424
  • Basıldığı Şehir: Sarajevo
  • Basıldığı Ülke: Bosna-Hersek
  • Sayfa Sayıları: ss.120-127
  • Yozgat Bozok Üniversitesi Adresli: Hayır

Özet

In 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.