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

Max-Plus代数による離散事象システムの制御とその生産システムへの応用

Research Project

Project/Area Number 09750502
Research Category

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

Allocation TypeSingle-year Grants
Research Field 計測・制御工学
Research InstitutionWakayama University (1998)
Osaka University (1997)

Principal Investigator

高井 重昌  和歌山大学, システム工学部, 講師 (60243177)

Project Period (FY) 1997 – 1998
Project Status Completed (Fiscal Year 1998)
Budget Amount *help
¥2,100,000 (Direct Cost: ¥2,100,000)
Fiscal Year 1998: ¥1,500,000 (Direct Cost: ¥1,500,000)
Fiscal Year 1997: ¥600,000 (Direct Cost: ¥600,000)
Keywords離散事象システム / Max-Plus代数 / スーパバイザ制御 / ス-パバイザ制御
Research Abstract

本研究により,以下の成果が得られた.
1. Max-Plus代数によりモデル化されたリアルタイム離散事象システムに対して,スーパバイザ制御によって実現できる最大および最小可制御発火時刻系列を求めるアルゴリズムを提案した.
2. Max-Plus代数によりモデル化されたリアルタイム離散事象システムに対して,制御仕様が一部のトランジションの発火時刻で与えられるような部分仕様に対するスーパバイザ制御法を提案した.
3. 制御仕様が述語で与えられる離散事象システムに対して,コントローラが制御仕様を満足するために必要とする状態観測情報を最小化するような状態空間分割が可能であるための必要十分条件を導出した.
4. 制御仕様が述語で与えられる離散事象システムに対して,部分観測のもとでの状態フィードバックが存在するような部分述語を計算するためのアルゴリズムを制御不変性の概念を用いて提案した.
5. 制御仕様が閉じた言語で与えられる離散事象システムに対して,完全分散スーパバイザによって実現される言語を明らかにし,さらにそれが集中型のスーパバイザによって実現される言語と等しくなるための必要十分条件を導出した.
6. サービス仕様をもつ離散事象システムに対して,与えられたサービス仕様がスーパバイザ制御によって実現できない場合,その近似として実現可能な部分言語および超言語の構成法を明らかにした.

Report

(2 results)
  • 1998 Annual Research Report
  • 1997 Annual Research Report
  • Research Products

    (12 results)

All Other

All Publications (12 results)

  • [Publications] Shigemasa Takai: "Formulas for the extremal controllable sequences in timed-event graphs" IEEE Transactions of Automatic Control. 43・10. 1465-1468 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Shigemasa Takai: "Supervisory control of timed event graphs with partial specifications" International Journal of Systems Science(発表予定). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Shigemasa Takai: "Optimal state-space partition for control of discrete-event systems with static specifications" IEEE Transactions on Automatic Control. 43・7. 1013-1016 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Shigemasa Takai: "Characterization of all M-controllable subpredicates of a given predicate" International Journal of Control. 70・4. 541-549 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Shigemasa Takai: "On the language generated under fully decentralized supervision" IEEE Transactions on Automatic Control. 43・9. 1253-1256 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Shigemasa Takai: "The extremal languages arising in supervisory control for service specifications" International Journal of Intelligent Control and Systems. 2・1. 161-175 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Shigemasa Takai: "Balanced state feedback controllers for discrete event systems described by the Golaszewski-Ramadge model" IEICE Transactions on Fundamentals. E80-A・5. 928-931 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Shigemasa Takai: "M-controllable subpredicates arising in state feedback control of discrete event siystems" International Journal of Control. 67・4. 553-566 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Shigemasa Takai: "Estimate based limited lookahead supervisory control for closed language specifications" Automatica. 33・9. 1739-1743 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Shigemasa Takai: "A characterization of realizable behavior in supervisory control of timed event graphs" Automatica. 33・11. 2077-2080 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Shigemasa Takai: "Optimal state space partition for state feedback control of discrete event systems" Proceedings of the 36th IEEE Conference on Decision and Control. 3582-3583

    • Related Report
      1997 Annual Research Report
  • [Publications] 高井 重昌: "離散事象システムに対するロバストな有限状態ス-パバイザ" システム制御情報学会論文誌. 11・2. 71-76 (1998)

    • Related Report
      1997 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi