05月23日(Tue) 17:50〜19:30 M会場(ウインクあいち-10F 1005会議室)
| 演題番号 | 1M3-4 |
|---|---|
| 題目 | 制約に基づいたパラメトリックハイブリッドシステムの精度保証シミュレーション |
| 著者 | 松本 翔太(早稲田大学大学院基幹理工学研究科情報理工学専攻) 別納 健市(早稲田大学大学院基幹理工学研究科情報理工・情報通信専攻) 増田 健太(早稲田大学理工学術院情報理工学科) 上田 和紀(早稲田大学理工学術院情報理工学科) |
| 時間 | 05月23日(Tue) 18:50〜19:10 |
| 概要 | 本研究では，離散時間動的システムと連続時間動的システムの混合系であるハイブリッド動的システムのうち、特にパラメタ化された系に対しての記号実行シミュレータの開発を行った．本シミュレータは記号実行と精度保証数値計算を組み合わせた制約処理手法を採用しており，システムの取りうる軌道のパラメタを用いた表現を計算することができる． |
| 論文 | PDFファイル |