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

使用 Max-Plus 代数控制离散事件系统及其在生产系统中的应用

• 批准号: 09750502
• 负责人: 高井 重昌
• 金额: $ 1.34万
• 依托单位: Wakayama University (1998)Osaka University (1997)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 1998
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09750502/
• 关键词: 離散事象システム; Max-Plus代数; スーパバイザ制御; ス-パバイザ制御

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

In this study, the following results were obtained. 1. Max-Plus algebra is a set of discrete event systems, such as the maximum and minimum controllable fire time series. 2. For the discrete event system of the discrete real-time machine in the Max-Plus algebra, the control method is proposed for some of the examples of the control system at the moment of fire. 3. The necessary condition for state space partition is derived by minimizing the necessary state measurement information for state space partition. 4. The concept of control is proposed in the middle of the application of the control concept. The necessary conditions for controlling speech are derived from closed speech and discrete speech, completely decentralized speech and discrete speech. In the case where the system is implemented, it is possible to approximate some of the speech and hyperspeech components.

项目成果

Shigemasa Takai: "Supervisory control of timed event graphs with partial specifications" International Journal of Systems Science(発表予定). (1999)

Shigemasa Takai：“具有部分规范的定时事件图的监督控制”《国际系统科学杂志》（即将出版）（1999 年）。

Shigemasa Takai: "Characterization of all M-controllable subpredicates of a given predicate" International Journal of Control. 70・4. 541-549 (1998)

Shigemasa Takai：“给定谓词的所有 M 可控子谓词的表征”国际控制杂志 70・4（1998）。

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)

Shigemasa Takai：“Golaszewski-Ramadge 模型描述的离散事件系统的平衡状态反馈控制器”IEICE Transactions on E80-A·5 (1997)。

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

Shigemasa Takai：“离散事件系统状态反馈控制的最优状态空间划分”第 36 届 IEEE 决策与控制会议论文集。

Shigemasa Takai: "M-controllable subpredicates arising in state feedback control of discrete event siystems" International Journal of Control. 67・4. 553-566 (1997)

Shigemasa Takai：“离散事件系统的状态反馈控制中出现的 M 可控子谓词”国际控制杂志 67・4（1997）。