کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
721445 | 892313 | 2006 | 6 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
FROM STATECHARTS TO FSM-DESCRIPTION - TRANSFORMATION BY MEANS OF SYMBOLIC METHODS
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
سایر رشته های مهندسی
مکانیک محاسباتی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
Statechart diagrams are very convenient way in specifying behavior of reactive systems and controllers in particular. The system modelled as a statechart can be directly implemented in reprogrammable devices. Mathematical model of statechars gives an opportunity to verify symbolically some properties and to transform into FSM-description. Having statechart in FSM-description allow to implement controllers in embedded array blocks.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: IFAC Proceedings Volumes - Volume 39, Issue 17, 2006, Pages 161–166
Journal: IFAC Proceedings Volumes - Volume 39, Issue 17, 2006, Pages 161–166
نویسندگان
Grzegorz łabiak,