کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
715472 | 892204 | 2014 | 6 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
An Active Controller based on Parikh Vectors
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
سایر رشته های مهندسی
مکانیک محاسباتی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
This paper deals with the problem of controller synthesis for coloured Petri nets. It exploits the expressiveness power of coloured Petri nets to derive a generic controller model to tackle the forbidden states problem. Such a controller observes and tracks the behaviour of the controlled model by counting the firing of its transitions through the use of Parikh vectors. When it is necessary, the controller disables some controllable transitions to prevent the controlled model from reaching undesired behaviours.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: IFAC Proceedings Volumes - Volume 47, Issue 2, 2014, Pages 93-98
Journal: IFAC Proceedings Volumes - Volume 47, Issue 2, 2014, Pages 93-98