文献

J-GLOBAL ID：201702243081913904   整理番号：17A1630436

グラフ解析を用いた生産システムのための安全性制約の無矛盾性検査【Powered by NICT】

Consistency Checking of Safety Constraints for Manufacturing Systems with Graph Analysis

著者 (3件)： PICHARD R. (CReSTIC (EA3804), UFR Sciences Exactes et Naturelles, Reims University (URCA), Moulin de la Housse, 51687 Reims - France) ,  PHILIPPOT A. (CReSTIC (EA3804), UFR Sciences Exactes et Naturelles, Reims University (URCA), Moulin de la Housse, 51687 Reims - France) ,  RIERA B. (CReSTIC (EA3804), UFR Sciences Exactes et Naturelles, Reims University (URCA), Moulin de la Housse, 51687 Reims - France)
資料名： IFAC PapersOnLine  (IFAC PapersOnLine)
巻： 50  号： 1  ページ： 1193-1198  発行年： 2017年 
JST資料番号： W3101A  ISSN： 2405-8963  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 本研究では,プログラマブル論理コントローラ(PLC)により制御された製造システムの安全制御を検討した。使用した方法は,Boole安全制約,安全フィルタとして作用するに基づいている,安全を保証するオンラインにした。入力と制御プログラムに関わらず安全性を確保するために,安全制約を形式的に検証する必要がある。本論文では,整合性をチェックして,保証する形式的オフライン手法を提案した。アプローチにより安全制約のグラフ表現を用いた。グラフアルゴリズムのおかげで,矛盾を検出し,それらを解決するために設計者を助けることが可能である。安全フィルタに関する従来の研究は,必要条件いずれも十分条件を提案した,本論文では,整合性をチェックして,保証する必要十分条件を提案した。安全フィルタアプローチと一貫性問題を提示した。アプローチを例証し,生産システムへの応用に関する議論を行った。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 制御プログラム ,  制御装置 ,  *図式解法 ,  *安全性 ,  動的系 ,  *生産システム ,  必要条件 ,  十分条件 ,  フィルタ
準シソーラス用語： 必要十分条件 ,  グラフアルゴリズム ,  オフライン ,  オンライン , 【Automatic Indexing@JST】

著者キーワード (5件)： ブール代数 ,  安全フィルタ ,  離散事象動的システム ,  形式的手法 ,  濃度

分類 (3件)： 電気式制御機器  (IC02020Y) ,  素粒子・核物理実験計測用エレクトロニクス  (BE01020Q) ,  生産形態  (KB03020E)

タイトルに関連する用語 (4件)： グラフ解析 ,  安全性 ,  制約 ,  無矛盾性検査