کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
715525 892204 2014 6 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Model Checking on Fault Diagnosis Graph
ترجمه فارسی عنوان
بررسی مدل در نمودار تشخیص گسل
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی مکانیک محاسباتی
چکیده انگلیسی

This paper investigates the use of model checking techniques for fault diagnosis on timed systems. The timed systems are modeled with time Petri nets (TPN). Our approach is based on the fault diagnosis graph (FDG), which is obtained from the state class graph of TPN, by removing nodes and edges that are not used in fault diagnosis. In order to apply the reduction rules, we assume that the FDG is bounded and completely constructed. We first propose some reduction rules on the FDG to obtain a more compact representation and then we use model checking techniques on the reduced FDG to compute the diagnosis states. We compare the complexity of model checking on FDG with the one on the reduced FDG.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: IFAC Proceedings Volumes - Volume 47, Issue 2, 2014, Pages 434-439