ハイブリッドシステム
は, 時間の経過に伴ってシステムの変数が連続変化と離散変化を繰り返すシステムである.
ハイブリッドシステム
のモデリングを行うツールは数多く存在し, その一つとして上田らによる
ハイブリッドシステム
モデリング言語HydLa およびその処理系 HyLaGI の開発が進んでいる. HyLaGI は, 数式処理を用いた
ハイブリッドシステム
の記号実行シミュレータであり, 初期状態にパラメータを扱えるという特徴を持つ. その他のモデリングツールとしては, 時間を細かく区切り数値計算により解軌道を凸集合で囲む SpaceEx や, 到達可能性問題と
ハイブリッドシステム
を拡張して得られた SMT 問題を解いて到達可能性解析を行う dReach が挙げられるが, HyLaGI とこれらのツールの比較は十分に行われていない. 本研究は, 複数の
ハイブリッドシステム
モデリングツールの比較および特性の考察を行うことを目的とする. 性能評価においては, パラメータを含む複数の例題による解析を行った.
抄録全体を表示