特許
J-GLOBAL ID：202103002671342660
オートマトン生成装置、オートマトン生成方法及びプログラム
発明者：
出願人/特許権者：
代理人 (2件)：
伊東 忠重
, 伊東 忠彦
公報種別：公開公報
出願番号（国際出願番号）：特願2020-072577
公開番号（公開出願番号）：特開2021-170192
出願日： 2020年04月14日
公開日（公表日）： 2021年10月28日
要約：
【課題】物理情報システムにより近似したオートマトンを生成するための技術を提供することである。【解決手段】本発明の一態様は、物理情報システムを近似するオートマトンを学習する学習部と、モデル検査に従って、時相論理により記述された仕様に対して前記オートマトンを検証する検証部と、検証結果に応じて、遺伝的アルゴリズムに従って前記物理情報システムの出力と前記オートマトンの出力とが不一致となる入力を探索する探索部と、を有し、前記学習部は、探索結果に応じて前記オートマトンを再学習するオートマトン生成装置に関する。【選択図】図4
請求項（抜粋）：
物理情報システムを近似するオートマトンを学習する学習部と、
モデル検査に従って、時相論理により記述された仕様に対して前記オートマトンを検証する検証部と、
検証結果に応じて、遺伝的アルゴリズムに従って前記物理情報システムの出力と前記オートマトンの出力とが不一致となる入力を探索する探索部と、
を有し、
前記学習部は、探索結果に応じて前記オートマトンを再学習するオートマトン生成装置。
IPC (1件)：
FI (1件)：
引用特許：
前のページに戻る
