کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
1713794 | 1013251 | 2012 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
سایر رشته های مهندسی
کنترل و سیستم های مهندسی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
Supervisory controller design to enforce boundedness, reversibility, and liveness in timed-transition Petri nets with firing durations is considered. It is assumed that both controllable and uncontrollable transitions may be present and more than one transition may fire simultaneously. The approach of stretching is used to represent the state of the system. Algorithms are presented to design a supervisory controller using the forbidden states approach to enforce boundedness and reversibility simultaneously. The designed controller also guarantees T-liveness for the largest possible subset T of the set of transitions. In particular, boundedness, reversibility, and liveness are simultaneously enforced whenever it is possible. The designed controller is also the least restrictive controller which enforces boundedness and reversibility simultaneously.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Nonlinear Analysis: Hybrid Systems - Volume 6, Issue 1, February 2012, Pages 712-729
Journal: Nonlinear Analysis: Hybrid Systems - Volume 6, Issue 1, February 2012, Pages 712-729
نویسندگان
Aydın Aybar, AltuÄ Ä°ftar,