05月30日(Sat) 13:20〜15:00 E会場(5F北-中講義室 (593))
| 演題番号 | 1E3-3 |
|---|---|
| 題目 | ハイブリッド制約言語HydLa処理系における数式処理と区間計算を組み合わせたシミュレーション実行 |
| 著者 | 和田 努(早稲田大学大学院基幹理工学研究科情報理工・情報通信専攻) 松本 翔太(早稲田大学大学院基幹理工学研究科情報理工学専攻) 上田 和紀(早稲田大学理工学術院) |
| 時間 | 05月30日(Sat) 14:00〜14:20 |
| 概要 | HydLaは制約に基づくハイブリッドシステムモデリング言語である.HydLa処理系は離散変化と連続変化をもつハイブリッドシステムを数式処理によって誤差なくシミュレーションする.本研究では, HydLa処理系において, 離散変化時刻を求める方程式が数式処理によって求解できないモデルをシミュレーション可能にするための手法として, 区間ニュートン法を組み合わせたアルゴリズムを考案, 実装し評価を行う. |
| 論文 | PDFファイル |