کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10398690 890302 2014 4 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Bisimilarity enforcing supervisory control for deterministic specifications
ترجمه فارسی عنوان
بی نظیری که کنترل نظارت را برای مشخصات مشخصی اجرا می کند
کلمات کلیدی
کنترل نظارت، بی اختیاری، سیستم های رویداد گسسته،
ترجمه چکیده
در این مقاله کنترل نظارت بر سیستم های رویداد گسسته غیر انتسابی به منظور دستیابی به یک همبستگی دوبعدی بین سیستم کنترل شده و مشخصات مشخص شده بررسی می شود. به طور خاص، یک شرایط لازم و کافی برای وجود یک ناظر ناظر دو طرفه داده شده است و یک الگوریتم چندجملهای برای بررسی چنین شرایطی توسعه داده شده است. زمانی که شرایط وجود داشته باشد، یک ناظر ناظم اجتناب ناپذیر ساخته می شود. در غیر اینصورت، دو روش برای تهیه ویژگی های زیر امکان پذیر است.
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی کنترل و سیستم های مهندسی
پیش نمایش مقاله
بی نظیری که کنترل نظارت را برای مشخصات مشخصی اجرا می کند
چکیده انگلیسی
This paper studies the supervisory control of nondeterministic discrete event systems to achieve a bisimulation equivalence between the controlled system and the deterministic specification. In particular, a necessary and sufficient condition is given for the existence of a bisimilarity enforcing supervisor, and a polynomial algorithm is developed to verify such a condition. When the existence condition holds, a bisimilarity enforcing supervisor is constructed. Otherwise, two methods are provided for synthesizing supremal feasible sub-specifications.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Automatica - Volume 50, Issue 1, January 2014, Pages 287-290
نویسندگان
, , ,