WEKO3
アイテム
ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
https://ipsj.ixsq.nii.ac.jp/records/17060
https://ipsj.ixsq.nii.ac.jp/records/170605d80ba95-328e-4437-9327-97f5bad62ede
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TOM0101013.pdf (380.2 kB)
|
Copyright (c) 2008 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2008-09-26 | |||||||
| タイトル | ||||||||
| タイトル | ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | An Interval-based Consistency Technique for Reliable Simulation of Hybrid Systems | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | オリジナル論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 早稲田大学理工学術院 | ||||||||
| 著者所属 | ||||||||
| 早稲田大学理工学術院 | ||||||||
| 著者所属 | ||||||||
| 国立情報学研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Science and Engineering, Waseda University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Science and Engineering, Waseda University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| National Institute of Informatics | ||||||||
| 著者名 |
石井, 大輔
上田, 和紀
細部博史
× 石井, 大輔 上田, 和紀 細部博史
|
|||||||
| 著者名(英) |
Daisuke, Ishii
Kazunori, Ueda
Hiroshi, Hosobe
× Daisuke, Ishii Kazunori, Ueda Hiroshi, Hosobe
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 離散変化と時間に関する連続変化からなるハイブリッドシステムは，物理学をはじめ，さまざまな分野の問題を記述，シミュレーションするためのモデルとして注目を集めている．ハイブリッドシステムのシミュレーションにおいては，連続状態を扱う際に計算誤差が不可避であり，厳密な解軌道を得ることができないという問題がある．本研究の提案手法では，常微分方程式の区間解析に基づく求解手法と，非線形問題のための区間制約伝播手法を用いた求解手法を統合することにより，ハイブリッド軌道の指定精度による完全な区間包囲を効率良く求めることを可能にした．また提案手法を実装するとともに，実験により提案手法の有効性を評価した．提案手法により，ハイブリッドシステムのシミュレーションを，解の精度を保証しながら高信頼に行うことが可能になる． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Hybrid systems are systems consisting of discrete changes and continuous changes over time. Problems in various fields such as physics can be modeled as hybrid systems. In a simulation of a hybrid system, it is difficult to obtain rigorous solution of the model because of computation errors in the handling of continuous states. Our proposed method integrates interval-based techniques for initial value problems for ordinary differential equations and consistency techniques for nonlinear problems. The method obtains complete interval enclosures of hybrid trajectories efficiently with a given accuracy. We implemented the method and evaluated its effectiveness. Using the method, we can simulate hybrid systems reliably with guaranteeing its accuracy. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464803 | |||||||
| 書誌情報 |
情報処理学会論文誌数理モデル化と応用（TOM） 巻 1, 号 1, p. 149-159, 発行日 2008-09-26 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7780 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
