05月14日(Wed) 09:00〜10:40 O会場(-ひめぎんホール 3F会議室ロビー他)
| 演題番号 | 3O1-3in |
|---|---|
| 題目 | ハイブリッド制約言語HydLaを用いたハイブリッドシステムの解析 |
| 著者 | 松本 翔太(早稲田大学大学院基幹理工学研究科情報理工学専攻) 河野 文彦(早稲田大学大学院基幹理工学研究科情報理工学専攻) 上田 和紀(早稲田大学理工学術院) |
| 時間 | 05月14日(Wed) 09:00〜10:40 |
| 概要 | ハイブリッドシステムは連続変化と離散変化の両方が起こりうるシステムであり、 物理学を始めとした多くの分野に応用が可能である。 HydLaは制約に基づいたハイブリッドシステムのモデリング言語であり、 我々は今までにHydLaの記号実行シミュレータHyroseや統合開発環境HIDEを開発してきた。 本発表では、これらを用いたハイブリッドシステムの 解析例について紹介する。 |
| 論文 | PDFファイル |