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

ハイブリッドシステムとは時間の経過に伴って状態が連続変化したり、
状態や方程式が離散変化したりする系を指す。HydLaは制約概念に基づ
くハイブリッドシステムモデリング言語であり、高信頼なシミュレーシ
ョンを行うことでシステム検証に役立てることを目標としている。現
在開発しているHydLa処理系は、計算手法の1つとして数式処理を採用
しており、それによって、解軌道を時刻の式として求めたり、パラメ
タを含むモデルに対して記号的な処理を行うことが可能となっている。
本論文ではHydLaの数式処理実行系における制約処理手法について述べ
る。また、数式処理の特徴を生かしたシミュレーション例についても
紹介する。