کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
715512 892204 2014 6 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Generalised Search for the Observer Property in Discrete Event Systems1
ترجمه فارسی عنوان
جستجوی جامع برای املاک ناظر در سیستم های رویداد گسسته 1
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی مکانیک محاسباتی
چکیده انگلیسی

This paper proposes a procedure to compute Abstractions with the observer property (OP) for discrete event systems. The procedure is a generalisation of an algorithm proposed before by the authors, which is based on a quadratic algorithm to test whether a given projection has the observer property. The new version proposed in this paper supports systems that have cycles of non-relevant events, thus removing a restriction of the previous version. Nevertheless, it retains its cubic complexity, which means that the method is asymptotically faster than other methods proposed in the literature to solve the same problem.

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