کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
7108144 1460619 2018 12 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Model-based fault identification of discrete event systems using partially observed Petri nets
ترجمه فارسی عنوان
شناسایی خطای مبتنی بر مدل سیستم های گسسته با استفاده از شبکۀ پتری نیت مشاهده شده
کلمات کلیدی
شناسایی خطا، شبکه پتری، برنامه ریزی خطی عدد صحیح، سیستم رویداد گسسته،
ترجمه چکیده
این مقاله به مسئله شناسایی خطا در یک سیستم پرداخته است. سیستم در اصل توسط یک شبکه پتری، نامی از شبکه نامی (بدون خطا) نامیده می شود و گسل ها به عنوان انتقال غیر قابل نگهداری در شبکه های اسمی موجود نیستند. فرض شده است که مکان های جزئی شبکه خالص قابل مشاهده است و خروجی سیستم به عنوان تکامل مشاهده شده است، به عنوان مثال، یک دنباله شامل انتقال و نشانه گذاری مکان های قابل مشاهده است. هنگامی که گسل اتفاق می افتد، تکامل مشاهده شده توسط خالص اسمی ایجاد نمی شود. ما یک رویکرد را ارائه می دهیم که انتقال غیر قابل مشاهده را با ساخت و حل مسئله برنامه ریزی عدد صحیح با توجه به تکامل مشاهده شده و شبکه اسمی ارائه می دهد. یک شبکه معیوب با اضافه کردن تغییرات غیر قابل تعویض شناسایی به یک اسمی بدست می آید که با تکامل مشاهده شده همخوانی دارد. علاوه بر این، دو روش برای اطمینان از عدم پذیرش زیر شبکه شناسایی شده، یعنی یک شبکه که تنها شامل انتقال غیر قابل مشاهده است، گزارش شده است.
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی کنترل و سیستم های مهندسی
پیش نمایش مقاله
شناسایی خطای مبتنی بر مدل سیستم های گسسته با استفاده از شبکۀ پتری نیت مشاهده شده
چکیده انگلیسی
This paper deals with the problem of fault identification in a system. The system is originally modeled by a Petri net, called a nominal (fault-free) net, and faults are considered as unobservable transitions not contained in the nominal net. It is assumed that partial places of the nominal net are observable and the output of the system is defined as an observed evolution, i.e., a sequence involving transitions and markings of the observable places. When faults occur, the observed evolution cannot be generated by the nominal net. We provide an approach that identifies unobservable transitions by constructing and solving an Integer Linear Programming problem according to the observed evolution and the nominal net. A faulty net is obtained by adding the identified unobservable transitions to the nominal one such that it coincides with the observed evolution. In addition, two methods to ensure acyclicity of the identified subnet, i.e., a net that includes unobservable transitions only, are reported.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Automatica - Volume 96, October 2018, Pages 201-212
نویسندگان
, , ,