• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

大規模離散事象システムの階層型状態フィードバック制御とそのFMSへの応用

Research Project

Project/Area Number 08750526
Research Category

Grant-in-Aid for Encouragement of Young Scientists (A)

Allocation TypeSingle-year Grants
Research Field 計測・制御工学
Research InstitutionOsaka University

Principal Investigator

高井 重昌  大阪大学, 工学部, 助手 (60243177)

Project Period (FY) 1996
Project Status Completed (Fiscal Year 1996)
Budget Amount *help
¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 1996: ¥1,100,000 (Direct Cost: ¥1,100,000)
Keywords離散事象システム / 状態フィードバック制御 / ス-パバイザ制御
Research Abstract

本研究により以下の成果が得られた.
1.制御仕様が形式言語で与えられるような離散事象システムに対して,事象と状態の部分観測列に基づく分散ス-パバイザ制御が可能であるための必要十分条件を明らかにした.
2.制御仕様が形式言語で与えられるような離散事象システムに対して,不可観測事象が存在する場合にも適用できるような,事象と状態の部分観測列に基づくス-パバイザを提案し,そのス-パバイザが存在するための必要十分条件を明らかにした.
3.制御仕様が形式言語で与えられるような離散事象シテムに対して,コマンドを出すことによってシステムを制御するようなコマンド型ス-パバイザが部分観測のもとで存在するための必要十分条件を明らかにした.
4.制御仕様が述語で与えられるような無限状態をもつ離散事象システムにおいて,状態フィードバックが存在するような最大部分述語を求めるアルゴリズムを束理論の観点から与えた.
5.制御仕様が述語で与えられるような離散事象システムに対して,部分観測のもとでの状態フィードバックが存在するようなすべての部分述語を特徴づけた.さらにそれらの部分述語が極大・最大部分述語であるための十分条件を明らかにした.
6.ペトリネットでモデル化された離散事象システムにおいて,複数の述語の交わりで与えられる制御仕様に対する最大許容フィードバックの部分観測のもとでのモジュラ設計が可能であるための必要十分条件を明らかにした.

Report

(1 results)
  • 1996 Annual Research Report
  • Research Products

    (6 results)

All Other

All Publications (6 results)

  • [Publications] 高井重昌: "事象と状態の部分観測によるス-パバイザ制御-不可観測事象をもつシステムへの拡張" システム制御情報学会論文誌. 9・4. 197-199 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 高井重昌: "事象と状態の部分観測に基づく分散ス-パバイザ制御" システム制御情報学会論文誌. 9・7. 305-312 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 高井重昌: "部分観測のもとでのペトリネットのモジュラ制御" システム制御情報学会論文誌. 9・12. 598-605 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 高井重昌: "離散事象システムにおけるコマンド型ス-パバイザ制御" 計測自動制御学会論文集. 32・3. 429-431 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 高井重昌: "束理論による離散事象システムの状態フィードバック制御" 計測自動制御学会論文集. 32・4. 533-538 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Shigemasa Takai: "Characterization of all M-controllable subpredicates arising in predicate based control" Proceedings of the International Workshop on Discrete Event Systems. 127-132 (1996)

    • Related Report
      1996 Annual Research Report

URL: 

Published: 1996-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi