時間論理によるラダー図からSFCへの変換法

DOI DOI DOI DOI Web Site ほか1件をすべて表示 一部だけ表示 被引用文献8件 参考文献18件 オープンアクセス

書誌事項

タイトル別名
  • Transformation Algorithm from Ladder Diagram to SFC Using Temporal Logic
  • ジカン ロンリ ニヨル ラダーズ カラ SFC エ ノ ヘンカンホウ

この論文をさがす

説明

Ladder Diagram (LD) has been widely used in industries as a language for sequential controls. However, the LD can not represent sequential flows of control logics explicitly. This leads to difficulties in understanding the control logics for other engineers. To overcome this problem, Sequential Function Chart (SFC) has been proposed. As the SFC can represent the sequential flow explicitly, it is expected to be used more widely. As many knowhows have been required in the LD, it is necessary to develop a transformation algorithm from LD to SFC. In this paper, a technique to transform LD to the corresponding SFC by using Temporal Logic is proposed. In the closed loop system which consists of the controlled plant and LD, the information in the sequence including parallel path divergences is extracted to develop the transformation algorithm. An example is also shown to verify the feasiblity of the proposed algorithm.

収録刊行物

被引用文献 (8)*注記

もっと見る

参考文献 (18)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ