Reachability Analysis and Simulation of Stochastic Hybrid Systems using an Adaptive Time Step Scheme
- سال انتشار: 1390
- محل انتشار: پنجمین کنفرانس بین المللی پیشرفت های علوم و تکنولوژی
- کد COI اختصاصی: SASTECH05_126
- زبان مقاله: انگلیسی
- تعداد مشاهده: 1376
نویسندگان
Student of Islamic Azad University of Mashhad
Associate Professor of Islamic Azad University of Mashhad
چکیده
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.کلیدواژه ها
Stochastic Hybrid Systems, Stochastic Hybrid Automata, Markov processes, Reachability problem, Optimal stoppingمقالات مرتبط جدید
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.