کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10225772 | 1701212 | 2018 | 30 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Languages and models for hybrid automata: A coalgebraic perspective
ترجمه فارسی عنوان
زبان ها و مدل های اتوماتای هیبریدی: دیدگاه زاویه ای
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
زغال سنگ اتوماتای هیبرید، بی اختیاری، عبارت منظم،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We study hybrid automata from a coalgebraic point of view. We show that such a perspective supports a generic theory of hybrid automata with a rich palette of definitions and results. This includes, among other things, notions of bisimulation and behaviour, state minimisation techniques, and regular expression languages.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 744, 5 October 2018, Pages 113-142
Journal: Theoretical Computer Science - Volume 744, 5 October 2018, Pages 113-142
نویسندگان
Renato Neves, LuÃs S. Barbosa,