情報処理学会 第81回全国大会講演要旨

時間経過に伴い状態変数が連続変化と離散変化を起こすハイブリッドシステムを記述するためのモデリング言語としてHydLaが存在する。HydLa言語で記述されたハイブリッドシステムを時刻tについての数式として記号的に解を求めるための処理系HyLaGIは変数の初期値を不等式で与えることができる。アナログ電気回路に代表されるDAE(微分代数方程式)システムにおいて、変数同士が線形従属となり変数の初期値が他の変数の初期値に依存する場合がある。本講演では、HyLaGIがDAEシステムを処理する際に変数の初期値の依存関係から生じる問題及びその解決方法を解説する。