کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10332914 688029 2005 36 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Monotonic hybrid systems
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Monotonic hybrid systems
چکیده انگلیسی
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
نویسندگان
, ,