| 講演名 | 2014/1/23 平行体計算を用いた非線形ハイブリッドシステムのシミュレーション 石井 大輔 /, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 非線形常微分方程式,非線型ガード制約,非線型リセット関数で構成されるハイブリッドシステムを区間計算にもとづき高信頼にシミュレーションする手法を提案する.提案手法は,平行体計算を用いて区間シミュレーションにおけるラッピング効果を抑え,ハイブリッドシステムの軌道の精度のよい区間包囲を求めることができる.複数の例題について,提案手法の実装を用いてシミュレーションを実施した実験結果を示す. |
| 抄録(英) | We propose an interval-based method that reliably simulates hybrid systems that consist of nonlinear ODEs, nonlinear guard constraints, and nonlinear reset functions. Our proposed method precisely encloses trajectories of a hybrid system by suppressing the wrapping effect in interval-based simulation with a parallelotope computation. We report experimental results in which we have simulated several examples with a tool that implements the proposed method. |
| キーワード(和) | 区間制約プログラミンク / 射影手法 / ハイブリッドシステム / 平行体計算 |
| キーワード(英) | interval constraint programming / projection methods / hybrid systems / parallelotope methods |
| 資料番号 | SS2013-71,MSS2013-74 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2014/1/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 平行体計算を用いた非線形ハイブリッドシステムのシミュレーション |
| サブタイトル（和） | |
| タイトル（英） | Simulation of Nonlinear Hybrid Systems using a Parallelotope Method |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 区間制約プログラミンク / interval constraint programming |
| キーワード(2)（和/英） | 射影手法 / projection methods |
| キーワード(3)（和/英） | ハイブリッドシステム / hybrid systems |
| キーワード(4)（和/英） | 平行体計算 / parallelotope methods |
| 第 1 著者 氏名（和/英） | 石井 大輔 / / Daisuke ISHII |
| 第 1 著者 所属（和/英） | 東京工業大学 Tokyo Institute of Technology |
| 発表年月日 | 2014/1/23 |
| 資料番号 | SS2013-71,MSS2013-74 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | 422 |
| ページ範囲 | pp.- |
| ページ数 | 5 |
| 発行日 | |