کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6876041 689940 2015 22 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Synthesis for continuous time
ترجمه فارسی عنوان
سنتز برای زمان مداوم
کلمات کلیدی
منطق زمانی زمان واقعی، سنتز،
ترجمه چکیده
در این مقاله، کار ساخت مدل را برای مشخصات منطقی زمانی بر روی جریان واقعی خطی واقعی در نظر می گیریم. ما یک نماد جدید برای توضیح دقیق ساختار سازمانی چنین مدل و روش کارآمد برای پیدا کردن چنین توصیفی از مشخصات زمانی ارائه می دهیم.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
سنتز برای زمان مداوم
چکیده انگلیسی
In this paper, we consider the task of model-building for temporal logic specifications over the real-number linear flow of time. We present a new notation for giving a detailed description of the compositional construction of such a model and an efficient procedure for finding such a description from the temporal specification.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 594, 23 August 2015, Pages 201-222
نویسندگان
, , ,