Presentation | 2019-03-14 Implementation of Rigorous Simulator for Hybrid Systems Based on Duracz et al. 's Operational Semantics Shota Kojima, Daisuke Ishii, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Rigorous numerical simulation based on a safe approximation of states plays an important role in analysis of hybrid systems. However, how to build a rigorous simulator that interprets a given model correctly and computes an approximation (i.e. set of enclosures) correctly is not obvious. Duracz et al. have proposed to bridge the gap between hybrid system models and rigorous simulators by formalizing a dedicated denotational and operational semantics. In this work, we implement the operational semantics in OCaml and aim to provide a correct and reliable simulator. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Hybrid Systems / Numerical Simulation / Reachability Analysis |
Paper # | MSS2018-84 |
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) | Implementation of Rigorous Simulator for Hybrid Systems Based on Duracz et al. 's Operational Semantics |
Sub Title (in English) | |
Keyword(1) | Hybrid Systems |
Keyword(2) | Numerical Simulation |
Keyword(3) | Reachability Analysis |
1st Author's Name | Shota Kojima |
1st Author's Affiliation | University of Fukui(U. Fukui) |
2nd Author's Name | Daisuke Ishii |
2nd Author's Affiliation | University of Fukui(U. Fukui) |
Date | 2019-03-14 |
Paper # | MSS2018-84 |
Volume (vol) | vol.118 |
Number (no) | MSS-499 |
Page | pp.pp.19-22(MSS), |
#Pages | 4 |
Date of Issue | 2019-03-07 (MSS) |