2011 年 28 巻 3 号 p. 3_167-3_172
ハイブリッドシステムとは時間の経過に伴って状態が連続変化したり,状態や方程式が離散変化したりする動的システムを指す.HydLaは制約概念に基づくハイブリッドシステムモデリング言語であり,精度保証されたシミュレーションを行うことでシステム検証に役立てることを目標としている.これまで,HydLaプログラムにおいて初期値が範囲を持つ場合やパラメタを用いてシステムを表現した場合のシミュレーション方法が明らかでなかった.本論文ではHydLaプログラムにおける離散変化と連続変化を正しく扱う非決定実行アルゴリズムを述べる.