Supervisory controller design to enforce basic properties in timed-place petri nets

AYBAR A., İFTAR A.

6th IFAC/ACM Conference on Management and Control of Production and Logistics, MCPL 2013, Fortaleza, Brezilya, 11 - 13 Eylül 2013, cilt.6, ss.486-492 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası: 6
  • Doi Numarası: 10.3182/20130911-3-br-3021.00018
  • Basıldığı Şehir: Fortaleza
  • Basıldığı Ülke: Brezilya
  • Sayfa Sayıları: ss.486-492
  • Anahtar Kelimeler: Boundedness, Discrete-event systems, Liveness, Petri nets, Reversibility., Supervisory controller design, Time-delay
  • Anadolu Üniversitesi Adresli: Evet

Özet

Supervisory controller design to enforce boundedness, reversibility, and liveness in discrete-event systems with time-delays is considered. It is assumed that the system is modeled by a timed-place Petri net. The approach of place-stretching, which has been introduced recently, is used for the purpose of designing a controller. Algorithms are presented to design a supervisory controller to enforce boundedness and reversibility simultaneously. This controller also guarantees T -livenees for the largest possible subset T of the set of transitions. Therefore, boundedness, reversibility, and liveness are enforced simultaneously whenever possible. Furthermore, the designed controller is also maximally permissive. © IFAC.