Timed transition automata and their ladder logic implementation
| dc.contributor.author | Uzam, Murat | |
| dc.contributor.author | Gelen, Gökhan | |
| dc.contributor.author | Dalci, Recep | |
| dc.date.accessioned | 2024-11-07T10:39:35Z | |
| dc.date.available | 2024-11-07T10:39:35Z | |
| dc.date.issued | 2009 | |
| dc.department | Niğde Ömer Halisdemir Üniversitesi | |
| dc.description | ICAT 2009 - 2009 22nd International Symposium on Information, Communication and Automation Technologies -- 29 October 2009 through 31 October 2009 -- Sarajevo -- 79081 | |
| dc.description.abstract | 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. ©2009 IEEE. | |
| dc.identifier.doi | 10.1109/ICAT.2009.5348424 | |
| dc.identifier.isbn | 978-142444221-8 | |
| dc.identifier.scopus | 2-s2.0-74549172267 | |
| dc.identifier.scopusquality | N/A | |
| dc.identifier.uri | https://doi.org/10.1109/ICAT.2009.5348424 | |
| dc.identifier.uri | https://hdl.handle.net/11480/11047 | |
| dc.indekslendigikaynak | Scopus | |
| dc.language.iso | en | |
| dc.relation.ispartof | ICAT 2009 - 2009 22nd International Symposium on Information, Communication and Automation Technologies | |
| dc.relation.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | |
| dc.rights | info:eu-repo/semantics/closedAccess | |
| dc.snmz | KA_20241106 | |
| dc.subject | Ladder logic code | |
| dc.subject | RW supervisor | |
| dc.subject | Supervisory control theory | |
| dc.subject | Time delays | |
| dc.subject | Timed transition automata | |
| dc.title | Timed transition automata and their ladder logic implementation | |
| dc.type | Conference Object |
