کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
715512 | 892204 | 2014 | 6 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Generalised Search for the Observer Property in Discrete Event Systems1
ترجمه فارسی عنوان
جستجوی جامع برای املاک ناظر در سیستم های رویداد گسسته 1
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
سایر رشته های مهندسی
مکانیک محاسباتی
چکیده انگلیسی
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
Journal: IFAC Proceedings Volumes - Volume 47, Issue 2, 2014, Pages 350-355