正規言語の学習アルゴリズムを用いたスーパバイザの合成

参考文献4件
  • 平石 邦彦
    北陸先端科学技術大学院大学・情報科学研究科

書誌事項

タイトル別名
  • Synthesis of Supervisors Using Learning Algorithm of Regular Languages

この論文をさがす

説明

離散事象システムにおけるスーパバイザの合成アルゴリズムを提案する.提案アルゴリズムは正規言語の学習アルゴリズムにも基づいており, 2種類の質問・所属性質問および等価性質問・により与えられる仕様を満足するスーパバイザを構築する.さらに, プラントの挙動がlimited lookahead window内でしか得られない場合の合成問題についても考察する.
We propose algorithms for the synthesis of a supervisor in discrete event systems. The proposed algorithms are based on a learning algorithm of regular languages, and construct a supervisor satisfying a specification given by two kinds of queries, membership query and equivalence query.We also consider the synthesis problem for the case that the behavior of the plant is known only in a limited lookahead window.

収録刊行物

参考文献 (4)*注記

もっと見る

キーワード

詳細情報 詳細情報について

  • CRID
    1573387452257801472
  • NII論文ID
    110003300072
  • NII書誌ID
    AN10438446
  • 本文言語コード
    en
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ