کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
714225 | 892182 | 2012 | 6 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On the Computation of Supremal Sublanguages Relevant to Supervisory Control
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
سایر رشته های مهندسی
مکانیک محاسباتی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
Given a specification language, this paper discusses an iterative procedure for the computation of the supremal sublanguage, that possesses a conjunction of certain closed-loop properties, including controllability, normality and completeness. The iteration is stated in terms of (i) supremal sublanguage operators for each individual property, (ii) prefix-closures, and, (iii) language intersections. Within the iteration, the individual supremal sublanguage operators are only applied on prefix-closed languages, while the overall specification is not required to be prefix-closed. Our main result establishes finite convergence, provided that all parameters are regular.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: IFAC Proceedings Volumes - Volume 45, Issue 29, 2012, Pages 175-180
Journal: IFAC Proceedings Volumes - Volume 45, Issue 29, 2012, Pages 175-180