Presentation | 2015-01-27 Statistical Model Checking of Hybrid Systems Using Interval Analysis Daisuke ISHII, Naoki YONEZAKI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Statistical model checking methods draw attention as a practical verification method for hybrid systems. In this research, we propose a statistical model checking method based on interval analysis. Given a probabilistic verification problem described by a hybrid automaton and a temporal logic formula, the proposed method performs a number of interval-based simulations randomly and decides the problem in a statistical manner. We describe (i) an interval method that computes a trajectory of probabilistic hybrid systems and decides the satisfiability of a temporal logic formula, and (ii) a statistical evaluation scheme using hypothesis testing. In the experiments, we show that the proposed method provides a reliable tool for statistical model checking. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Interval analysis / hybrid systems / statistical model checking |
Paper # | MSS2014-80,SS2014-44 |
Date of Issue |
Conference Information | |
Committee | MSS |
---|---|
Conference Date | 2015/1/19(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Mathematical Systems Science and its applications(MSS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Statistical Model Checking of Hybrid Systems Using Interval Analysis |
Sub Title (in English) | |
Keyword(1) | Interval analysis |
Keyword(2) | hybrid systems |
Keyword(3) | statistical model checking |
1st Author's Name | Daisuke ISHII |
1st Author's Affiliation | Tokyo Institute of Technology() |
2nd Author's Name | Naoki YONEZAKI |
2nd Author's Affiliation | Tokyo Institute of Technology |
Date | 2015-01-27 |
Paper # | MSS2014-80,SS2014-44 |
Volume (vol) | vol.114 |
Number (no) | 415 |
Page | pp.pp.- |
#Pages | 5 |
Date of Issue |