دانلود مقاله ISI انگلیسی شماره 43095
عنوان فارسی مقاله

سنتز قوی برای سیستم های بی درنگ

کد مقاله سال انتشار مقاله انگلیسی ترجمه فارسی تعداد کلمات
43095 2014 27 صفحه PDF سفارش دهید 20630 کلمه
خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
عنوان انگلیسی
Robust synthesis for real-time systems ☆
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Theoretical Computer Science, Volume 515, 2 January 2014, Pages 96–122

کلمات کلیدی
پالایش گام به گام - بازی های بهنگام - نظریه مشخصات - استحکام
پیش نمایش مقاله
پیش نمایش مقاله سنتز قوی برای سیستم های بی درنگ

چکیده انگلیسی

We address this problem of robust implementations in timed specification theories. We first consider a fixed perturbation and study the robustness of timed specifications with respect to the operators of the theory. To this end we synthesize robust strategies in timed games. Finally, we consider the parametric robustness problem and propose a counter-example refinement heuristic for computing safe perturbation values.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.