Yazar "M Uzam" seçeneğine göre listele

Listeleniyor 1 - 1 / 1
  • Küçük Resim Yok
    Öğe
    The enabling arc method for the synthesis of petrinet based supervisors for discrete event systems
    (1998) M Uzam
    Bu makalede, ayrık olay sistemlerindeki yasaklanmış durum problemini çözmek amacıyla Petri net temelli denetleyicilerin sentezi için yetkileyici ark metodu olarak adlandırılan yeni bir teknik önerilmiştir. Önerilen bu teknik şu avantajları sunmaktadır: i) sistemlerin kontrol edilmiş davranışı kısıtlamayıcıdır {nonblocking) ve yasaklanmış durum şartnameleri (forbidden state specifications) ile ters düşmez, ii) sistemlerin kontrol edilmiş davranışı şartnameler dahilinde maksimum müsaade edicidir (maximally permissive). Sentez edilecek olan denetleyiciler üç kısımdan oluşur: kontrol edilmemiş sistem davranışını temsil eden Otomasyon Petri Net (Automation Petri Net -APN) modeli, müsaade edilebilir maksimum sistem davranışını temsil eden APN model denetleyicisi ve bir kontrol planı (control policy). APN'ler alışılmış Petri net yapısına ek olarak şu ilaveleri içerirler: geçişlerde (transitions) ateşleme şartları olarak kullanılan sensör okumaları {sensor readings) ve ortamlara (places) atanmış olan faaliyetler {actions). Basamak mantık diyagramı (Ladder logic diagram - LLD) kodu, denetleyicileri programlanabilir mantık kontrolörlerinde (Programmable Logic Controllers - PLC) uygulamak için kullanılır. Önemle belirtilmelidir ki elde edilen deneteleyiciler yapı itibarı ile doğru olduğu için bir doğrulama işlemine ihtiyaç yoktur. Önerilen sentez tekniğinin uygulanabilirliği bir ayrık imalat sistemi incelenerek gösterilmiştir.