Presentation | 2019-03-15 A derivation of weighted transition system for Simulink models from simulation results Ryota Owaki, Shoji Yuen, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | We propose a method to generate a symbolic weighted transition systemfrom a Simulink model description. Continuous values for variablesare abstracted by fixed intervals to form regions. Value changes withtime passage are translated as the transitions over regions accordingto the fixed sampling time. We compute the next regions by simulationof the given model. Assuming the system behavior is monotonic at allinstants, we calculate the next possible region from the simulation ofedge points. We expect the transition systems generated hold thepreserves behavior of the given Simulink model and enables to applythe existing testing methods such as the model checking. Weillustrate our approach by deriving the symbolic transition system forthe automatic transition system available as an example of Simulink. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Simulink / Model Checking / Weighted Transition System / Simulation |
Paper # | MSS2018-95 |
Date of Issue | 2019-03-07 (MSS) |
Conference Information | |
Committee | NLP / MSS |
---|---|
Conference Date | 2019/3/14(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Bunkyo Camp., Univ. of Fukui |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | SICE-DES, IEICE-MSS, IEICE-NLP, Work In Progress, and etc. |
Chair | Norikazu Takahashi(Okayama Univ.) / Morikazu Nakamura(Univ. of Ryukyus) |
Vice Chair | Hiroaki Kurokawa(Tokyo Univ. of Tech.) / Shigemasa Takai(Osaka Univ.) |
Secretary | Hiroaki Kurokawa(Hiroshima Inst. of Tech.) / Shigemasa Takai(Nippon Inst. of Tech.) |
Assistant | Masayuki Kimura(Kyoto Univ.) / Yutaka Shimada(Saitama Univ.) / Hideki Kinjo(Okinawa Univ.) |
Paper Information | |
Registration To | Technical Committee on Nonlinear Problems / Technical Committee on Mathematical Systems Science and its applications |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A derivation of weighted transition system for Simulink models from simulation results |
Sub Title (in English) | |
Keyword(1) | Simulink |
Keyword(2) | Model Checking |
Keyword(3) | Weighted Transition System |
Keyword(4) | Simulation |
1st Author's Name | Ryota Owaki |
1st Author's Affiliation | Nagoya University(Nagoya Univ) |
2nd Author's Name | Shoji Yuen |
2nd Author's Affiliation | Nagoya University(Nagooya Univ) |
Date | 2019-03-15 |
Paper # | MSS2018-95 |
Volume (vol) | vol.118 |
Number (no) | MSS-499 |
Page | pp.pp.75-80(MSS), |
#Pages | 6 |
Date of Issue | 2019-03-07 (MSS) |