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

同時進行性をもつ離散事象システムの状態フィードバック制御とそのFMSへの応用

Research Project

Project/Area Number 06750459
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) 1994
Project Status Completed (Fiscal Year 1994)
Budget Amount *help
¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1994: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywords離散事象システム / 状態フィードバック / 同時進行性
Research Abstract

1.全体システムを複数のローカルな状態フィードバックにより制御する分散状態フィードバック制御について,述語のn-可観測性の概念を導入し,仕様を満たす分散状態フィードバックが存在するための必要十分条件を明らかにした。
2.システムの状態の部分観測のもとで,状態フィードバックのモジュラ設計法について考察した.特に仕様が複数の部分仕様の和で与えられる場合に関して,各部分仕様に対して状態フィードバックが構成できる場合,全体仕様に対しても状態フィードバックが構成できるための必要十分条件,さらにそのときモジュラ設計法が可能であるための必要十分条件を明らかにした.
3.離散事象システムの特徴的側面である同時進行性をペトリネットにより陽に表現し,同時進行性のもとで最も多くの事象の同時発火を許容するという意味で最適なフィードバックである最大許容フィードバックが存在するための必要十分条件を明らかにした.
4.制御仕様が許容状態および目標状態に関して与えられる場合の状態フィードバック制御について考察した.特に目標状態に到達しないブロッキングという現象に注目し,ブロッキングが発生しない状態フィードバックの構成法,および論理的な評価関数を導入したときのブロッキングを許容した状態フィードバックの最適化手法を提案した.
5.コンプリメントなプレースと許可枝からなるペトリネットに対して,システムの全状態空間を生成することなく,最大許容フィードバックを構成する多項式オーダのアルゴリズムを提案した.

Report

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

    (6 results)

All Other

All Publications (6 results)

  • [Publications] Shigemasa Takai: "Decentralized state feedback control of discrete event systems" Systems & Control Letters. 22. 369-375 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Shigemasa Takai: "Modular state feedback control of discrete event systems under partial observation" Proceedings of the First Asian Control Conference. 2. 893-896 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Shigemasa Takai: "Concurrency and maximally permissive feedback in Petri nets with external input places" International Journal of Control. 60. 617-629 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 高井 重昌: "外部入力プレース付きペトリネットにおける部分観測と許容フィードバック" 日本応用数理学会論文誌. 4. 275-285 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Shigemasa Takai: "Stabilization and blocking in state feedback control of discrete event systems" Discrete Event Dynamic Systems:Theory and Applications. 5. 33-57 (1995)

    • Related Report
      1994 Annual Research Report
  • [Publications] Wooi Voon Chang: "A forbidden marking problem in controlled complementary-places Petri nets" IEICE Transactions on Fundamentals. E78-A(掲載予定). (1995)

    • Related Report
      1994 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi