主催: 一般社団法人 人工知能学会
会議名: 2022年度人工知能学会全国大会(第36回)
回次: 36
開催地: 京都国際会館+オンライン
開催日: 2022/06/14 - 2022/06/17
ハイブリッドシステムは, 時間の経過に伴ってシステムの変数が連続変化と離散変化を繰り返すシステムである. ハイブリッドシステムのモデリングを行うツールの一つとして, 上田らによる制約に基づくハイブリッドシステムモデリング言語HydLa および数式処理を用いたシミュレーションをサポートする処理系 HyLaGI の開発が進んでいる. ハイブリッドシステムのモデリングを行う手法として一般的なものはシステムをハイブリッドオートマトンと呼ばれるデータ構造に変換するものであり, HydLa モデルのハイブリッドオートマトンへの変換アルゴリズムは過去に提案されたことがある. しかし, その後の議論によりアルゴリズムの改訂が数度行われ, また現在も一部の例題ではあまり直感的ではないオートマトンへの変換結果が出力される. 本研究では, 将来的なモデル検査への発展を見据え, 制約の形で記述されたハイブリッドシステムをシミュレーションに基づきオートマトンに変換する際今日までに生じてきた諸課題の整理および考察を行った.