کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423288 685198 2006 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Algorithmic Algebraic Model Checking III: Approximate Methods
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Algorithmic Algebraic Model Checking III: Approximate Methods
چکیده انگلیسی

We present computationally efficient techniques for approximate model-checking using bisimulation-partitioning, polyhedra, grids and time discretization for semi-algebraic hybrid systems, and demonstrate how they relate to and extend other existing techniques.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 149, Issue 1, 3 February 2006, Pages 61-77