کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4945270 1438416 2017 77 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Imprecise continuous-time Markov chains
ترجمه فارسی عنوان
زنجیره مارکف مداوم مبهم است
کلمات کلیدی
زنجیره مارکوف پیوسته زمان، احتمال نامطلوب، عدم قطعیت مدل، انتظارات کمتر و بالاتر، اپراتور انتقال پایین،
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
چکیده انگلیسی
The first part of this paper develops a formalism for describing continuous-time finite-state stochastic processes that does not require the aforementioned simplifying assumptions. Next, this formalism is used to characterise ICTMC's and to investigate their properties. The concept of lower expectation is then given an alternative operator-theoretic characterisation, by means of a lower transition operator, and the properties of this operator are investigated as well. Finally, we use this lower transition operator to derive tractable algorithms (with polynomial runtime complexity w.r.t. the maximum numerical error) for computing the lower expectation of functions that depend on the state at any finite number of time points.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: International Journal of Approximate Reasoning - Volume 88, September 2017, Pages 452-528
نویسندگان
, , ,