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

4 References
  • HIRAISHI Kunihiko
    School of Information Science, Japan Advanced Institute of Science and Technology

Bibliographic Information

Other Title
  • Synthesis of Supervisors Using Learning Algorithm of Regular Languages

Search this article

Description

離散事象システムにおけるスーパバイザの合成アルゴリズムを提案する.提案アルゴリズムは正規言語の学習アルゴリズムにも基づいており, 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.

Journal

  • Technical report of IEICE. CST

    Technical report of IEICE. CST 98 (220), 23-30, 1998-07-28

    The Institute of Electronics, Information and Communication Engineers

References(4)*help

See more

Keywords

Details 詳細情報について

  • CRID
    1573387452257801472
  • NII Article ID
    110003300072
  • NII Book ID
    AN10438446
  • Text Lang
    en
  • Data Source
    • CiNii Articles

Report a problem

Back to top