| 演題番号 | 1D1-03 |
|---|---|
| 題目 | 数式処理・quantifier eliminationを用いたハイブリッドシステムのZeno状態の導出手法 |
| 著者 | 大野 善之 (早稲田大学 理工学研究科) 石井 大輔 (早稲田大学 理工学研究科) 上田 和紀 (早稲田大学 理工学術院) |
| 時間 | 6月11日(水) 09:40〜10:00 |
| 概要 | ハイブリッドシステムのモデルには，有限時間内に無限の離散変化が起こる性質Zenonessを持つものが存在する．本研究では，数式処理およびquantifier eliminationを用いてモデルが陥りうるZeno状態を導出できるようにする． |
| 論文 | PDFファイル |