کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
424008 685319 2006 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Steering of Discrete Event Systems: Control Theory Approach
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Steering of Discrete Event Systems: Control Theory Approach
چکیده انگلیسی

Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do not assume a system model and hence cannot predict violations until they occur. This limits the practical applicability of runtime verification. Steering is the process of predicting the occurrence of violations and preventing them by controlling system execution. Steerers can achieve this using a limited knowledge of the system model even in situations where it is infeasible to store the entire model. In this paper, we explore a control-theoretic view of steering for discrete event systems. We introduce an architecture for steering and also describe different steering paradigms.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 144, Issue 4, 26 May 2006, Pages 21-39