Reachability Analysis and Simulation of Stochastic Hybrid Systems using an Adaptive Time Step Scheme
سال انتشار: 1390
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 1,293
فایل این مقاله در 13 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
SASTECH05_126
تاریخ نمایه سازی: 22 مرداد 1391
چکیده مقاله:
Hybrid stochastic methods partition the system into multiple subsets and describe each subset as a different representation, such as a jump Markov, Poisson, continuous Markov, or deterministic process. In these methods, continuous-state models reduce to the analysis of Stochastic Differential Equations (SDEs) for which many mathematical tools and general solution techniques as numerical schemes are available. Therefore there is a need for numerical schemes that are capable of accurately and efficiently integrating systems of SDEs. In this work we introduce a variable size step algorithm and apply it to stochastic hybrid systems.Finally, as an approach for model checking we propose reachability analysis as an optimal stopping problem.
کلیدواژه ها:
نویسندگان
Tahereh Koohi
Student of Islamic Azad University of Mashhad
Saeed Rahati
Associate Professor of Islamic Azad University of Mashhad
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :