ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法

• Item type: SIG Technical Reports(1)
• 公開日: 2008-03-05
• タイトル: ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
• タイトル / 言語: en
• タイトル: An Interval-based Consistency Technique for Reliable Simulation of Hybrid Systems
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 早稲田大学理工学術院
• 著者所属: 早稲田大学理工学術院
• 著者所属: 国立情報学研究所
• 著者所属(英): 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
• 論文抄録 / 内容記述タイプ: 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 accurate and complete interval enclosures of hybrid trajectories efficiently. We implemented the method and evaluate its effectiveness. Using the method, we can simulate hybrid systems reliably with guaranteeing its accuracy.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10505667
• 書誌情報: 情報処理学会研究報告数理モデル化と問題解決（MPS）; 巻 2008, 号 17(2008-MPS-068), p. 133-136, 発行日 2008-03-05
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会