06月05日(Wed) 09:00〜10:40 J会場(-市民プラザ2F ギャラリーB)
演題番号 | 2J1-1 |
---|---|
題目 | 制約の静的解析を用いたHydLa処理系の最適化 |
著者 | 河野 文彦(早稲田大学大学院基幹理工学研究科情報理工学専攻) 松本 翔太(早稲田大学大学院基幹理工学研究科情報理工学専攻) 上田 和紀(早稲田大学理工学術院) |
時間 | 06月05日(Wed) 09:00〜09:20 |
概要 | ハイブリッドシステムとは時刻の経過にともなって離散変化と連続変化を繰り返すシステムである.HydLaはハイブリッドシステムモデリング言語であり,制約モジュール集合を論理記号や数式で定義し,制約モジュールに優先度を与えることでモデルを記述する.本論文では制約の静的解析によって制約が矛盾する条件を算出し,その条件を用いて,HydLa処理系の処理を最適化することで,HydLa処理系の高速化を図る. |
論文 | PDFファイル |