文献

J-GLOBAL ID：201702226110570854   整理番号：17A1641706

型信頼できない資源を有する自動化生産システムのための遷移カバーベースのロバストなPetriネットコントローラ【Powered by NICT】

Transition Cover-Based Robust Petri Net Controllers for Automated Manufacturing Systems With a Type of Unreliable Resources

著者 (4件)： Feng Yanxiang (State Key Laboratory for Manufacturing Systems Engineering, and Systems Engineering Institute, Xi’an Jiaotong University, Xi’an, China) ,  Xing Keyi (State Key Laboratory for Manufacturing Systems Engineering, and Systems Engineering Institute, Xi’an Jiaotong University, Xi’an, China) ,  Gao Zhenxin (State Key Laboratory for Manufacturing Systems Engineering, and Systems Engineering Institute, Xi’an Jiaotong University, Xi’an, China) ,  Wu Yunchao (State Key Laboratory for Manufacturing Systems Engineering, and Systems Engineering Institute, Xi’an Jiaotong University, Xi’an, China)
資料名： IEEE Transactions on Systems, Man, and Cybernetics: Systems  (IEEE Transactions on Systems, Man, and Cybernetics: Systems)
巻： 47  号： 11  ページ： 3019-3029  発行年： 2017年 
JST資料番号： C0425D  ISSN： 2168-2216  CODEN： ITSMFE  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： これまで,自動生産システム(AMS)のためのデッドロック制御ポリシーの大部分は,資源が破壊しないという仮定に基づいている;非信頼性資源を持つAMSが,主な関心は,デッドロック回避問題である。型信頼できない資源のAMSのためのロバストなデッドロック防止問題に焦点を当て,信頼できない資源の一つは時間でないことを仮定している。Petriネットを考察AMSをモデル化するために導入した。デッドロックは最大完全な資源転移回路(MPRT回路)の観点から特徴づけることができる。システムの微小構造をもつロバストなPetriネットデッドロックフリー・コントローラを開発するために,強い遷移被覆の新しい概念を提案したが,これは特殊な転移被覆である。強い遷移被覆の各MPRT回路への適切な制御変数を用いた制御を設計することにより,一のロバストなPetriネットコントローラが得られたが,制御変数は整数線形計画法によって決定することができる。このような一のロバストなコントローラは信頼できない資源の一つが失敗した場合でもシステムは,すべてのタイプの部品を処理無限できることを保証する。強い遷移被覆のMPRT回路の数はすべてのMPRT回路のそれよりもはるかに少ないので,本ペトリネットコントローラは,小さい構造サイズである。型信頼できない資源の各AMSは少なくとも転移被覆を持つ。アルゴリズムは遷移被覆の強さをチェックして,弱い遷移被覆を形質転換強いものにのために提示した。最後に,簡単な数値例により,本手法の有効性を明らかにした。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *制御装置 ,  *自動化 ,  信頼性 ,  アルゴリズム ,  *ロバスト性 ,  整数線形計画法 ,  モデリング ,  *Petriネット ,  *生産システム ,  微細構造 ,  デッドロック ,  被覆
準シソーラス用語： 制御変数 ,  デッドロック防止 ,  デッドロック回避 , 【Automatic Indexing@JST】

分類 (3件)： 生産形態  (KB03020E) ,  計算理論  (JB02000A) ,  システムモデル  (IB02000Z)

タイトルに関連する用語 (8件)： 型 ,  信頼 ,  資源 ,  自動化 ,  遷移 ,  ロバスト ,  Petriネット ,  コントローラ