کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10332914 | 688029 | 2005 | 36 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Monotonic hybrid systems
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
For a subclass of Monotonic Hybrid Systems for which reachability is decidable if the functions used are computable, we consider both the problem of verifying properties written in a suitable logic and also the relationship between dense time and discrete time assumptions in the framework of verification. The formalism and the results are illustrated by some examples.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Computer and System Sciences - Volume 71, Issue 1, July 2005, Pages 34-69
Journal: Journal of Computer and System Sciences - Volume 71, Issue 1, July 2005, Pages 34-69
نویسندگان
Ruggero Lanotte, Andrea Maggiolo-Schettini,