کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
719544 | 892279 | 2010 | 6 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On simulation methods for timed automata
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
سایر رشته های مهندسی
مکانیک محاسباتی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: On simulation methods for timed automata On simulation methods for timed automata](/preview/png/719544.png)
چکیده انگلیسی
In the paper the idea of timed automata simulator is introduced. The proposed simulator is an extension of the UPPAAL tool simulator. Instead of choosing transition to be performed randomly or manually, the simulator calculates transition times according to transition guard and state invariant for each transition. Described procedure can reveal realistic behavior of the system modeled by the automaton. To reach the target, an extension of timed automata formal is proposed. Within the paper the concept of a state-space tracing is shown on a case-study.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: IFAC Proceedings Volumes - Volume 43, Issue 24, 2010, Pages 221–226
Journal: IFAC Proceedings Volumes - Volume 43, Issue 24, 2010, Pages 221–226
نویسندگان
Václav Kaczmarczyk, Zdeněk Bradáĕ, Michal Ser,