کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
715479 | 892204 | 2014 | 7 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
K-diagnosability of Time labeled Petri nets
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
سایر رشته های مهندسی
مکانیک محاسباتی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
In this paper we present a procedure to analyze the K-diagnosability of a labeled Time Petri net system. A labeled Time Petri net system is K-diagnosable if any fault occurrence can be detected after at most K observations. The proposed approach uses the Modified State Class Graph, a graph the authors recently introduced for the marking estimation of time Petri nets, and that they extend here to labeled time Petri nets. It is inspired by the Diagnoser Approach by Sampath et al for the diagnosability of discrete automata and requires the solution of some linear programming problems.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: IFAC Proceedings Volumes - Volume 47, Issue 2, 2014, Pages 135-141
Journal: IFAC Proceedings Volumes - Volume 47, Issue 2, 2014, Pages 135-141