کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
11021127 | 1715034 | 2018 | 32 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Model checking Markov population models by stochastic approximations
ترجمه فارسی عنوان
مدل بررسی مدل جمعیت جمعیت مارکوف با تقریبهای تصادفی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
چک کردن مدل تصادفی، چک کردن مدل سیالات، تقریبی تصادفی، بستن لحظه، سر و صدای خطی، مدل های جمعیتی، حداکثر آنتروپی،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Many complex systems can be described by population models, in which a pool of agents interacts and produces complex collective behaviours. We consider the problem of verifying formal properties of the underlying mathematical representation of these models, which is a Continuous Time Markov Chain, often with a huge state space. To circumvent the state space explosion, we rely on stochastic approximation techniques, which replace the large model by a simpler one, guaranteed to be probabilistically consistent. We show how to efficiently and accurately verify properties of random individual agents, specified by Continuous Stochastic Logic extended with Timed Automata (CSL-TA), and how to lift these specifications to the collective level, approximating the number of agents satisfying them using second or higher order stochastic approximation techniques.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 262, Part 2, October 2018, Pages 189-220
Journal: Information and Computation - Volume 262, Part 2, October 2018, Pages 189-220
نویسندگان
Luca Bortolussi, Roberta Lanciani, Laura Nenzi,