離散事象システムに対するロバストなスーパバイザの設計とその生産システムへの応用

离散事件系统鲁棒监控器的设计及其在生产系统中的应用

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

本研究により,以下の成果が得られた.1.時間の経過を陽に表現した時間付き離散事象システムに対するロバストスーパバイザ制御について考察した.そして,複数の時間付き離散事象システムに対して,事象の部分観測のもとで制御仕様を満足するようなロバストスーパバイザが存在するための必要十分条件を明らかにした.2.離散事象システムの分散スーパバイザ制御において,ある指定した個数以下のローカルスーパバイザの制御動作が停止しても制御仕様が満足されるような,耐故障性を有する分散スーパバイザが存在するための必要十分条件を導出した.さらに,その条件が満足されない場合において,コーディネータを導入することにより,耐故障性を有する分散制御系を構築する方法を提案した.3.離散事象システムの分散スーパバイザ制御において,与えられた制御仕様の最大可制御ノーマル部分言語を用いた,耐故障性を有する分散スーパバイザの構成法を提案した.さらに,集中型のスーパバイザから,耐故障性を有する分散スーパバイザを構成する方法を提案した.4.離散事象システムにおいて,ブロッキングを許容したもとで,ある指定した個数以下のローカルスーパバイザの制御動作が停止しても制御仕様が満足されるような,耐故障性を有する分散スーパバイザが存在するための必要十分条件を導出した.さらにその条件を満足するような制御仕様の部分言語の構成法を明らかにした.5.離散事象システムにおいて,各ローカルスーパバイザがそれぞれ独立に,制御動作をオンラインで計算するような分散スーパバイザの設計法を提案した.個々のローカルスーパバイザが観測事象に対して制御動作を計算するアルゴリズムの計算量は多項式オーダとなる.

1. The time of transition and the time of discrete events are investigated. 2. Discrete event system system with a specified number or less of control actions to stop the control actions. The necessary conditions for the existence of fault tolerance are derived. 3. A method for constructing a distributed control system with fault tolerance is proposed. 4. Discrete event mode mode The necessary conditions for the existence of fault tolerance are derived. 5. The design method of discrete event system is proposed, and each event system is independent of the other, and the control action is distributed. The calculation of the number of times the number of times

项目成果

高井重昌: "任意の制御パターンをもつ部分観測システムのスーパバイザ制御"システム制御情報学会論文誌. 12・8. 498-504 (1999)

Shigemasa Takai：“具有任意控制模式的部分观测系统的监督控制”系统、控制和信息工程师学会学报12・8（1999）。

Shigemasa Takai: "Reliable decentralized supervisory control of discrete event systems"IEEE Transactions on Systems, Man, and Cybernetics-Part B : Cybernetics. 30・5. 661-667 (2000)

Shigemasa Takai：“离散事件系统的可靠分散监督控制”IEEE Transactions on Systems, Man, and Cyber​​netics-Part B：Cyber​​netics（控制论）。

Shigemasa Takai: "Synthesis of reliable decentralized supervisors for discrete event systems"IEICE Transactions on Fundamentals. E83-A・11. 2212-2218 (2000)

Shigemasa Takai：“离散事件系统的可靠分散监督器的综合”IEICE Transactions on Fundamentals。 2212-2218（2000）。

Shigemasa Takai: "Robust supervisory control of a class of timed discrete event systems under partial observation"Systems & Control Letters. 39・4. 267-273 (2000)

Shigemasa Takai：“部分观察下的一类定时离散事件系统的鲁棒监督控制”系统与控制快报 39・4（2000）。

Shigemasa Takai: "On-line synthesis of decentralized supervisors for discrete event systems"IEICE Transactions on Fundamentals. E83-A・11. 2282-2285 (2000)

Shigemasa Takai：“离散事件系统的分散管理器的在线综合”IEICE Transactions on Fundamentals。 2282-2285（2000）。