DocumentCode :
2341408
Title :
A transformation algorithm from ladder diagram to SFC using temporal logic
Author :
Zanma, T. ; Suzuki, Takumi ; Inaba, A. ; Okuma, S.
Author_Institution :
Dept. of Electr. Eng., Nagoya Univ., Japan
fYear :
1997
fDate :
20-20 June 1997
Firstpage :
41
Abstract :
Summary form only given. A ladder diagram (LD) has been widely used in industries as a language for sequential controls. However, LD can not represent sequential flows of control logics explicitly. This leads to difficulties in understanding the control logics for other engineering. To overcome this problem, a 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 know-hows have been required in the LD, it is necessary to develop transformation algorithm from the LD to the SFC. In this paper, a technique to transform the LD to the corresponding SFC by using temporal logic is proposed. In the closed-loop system which consists of the LD and the controlled plant, informations in the sequence including parallel path divergences are extracted to develop the transformation algorithm. An example is shown verify feasibility of the proposed algorithm.
Keywords :
closed loop systems; control engineering; control theory; diagrams; temporal logic; LD; SFC; closed-loop system; control logics; ladder diagram; parallel path divergences; sequential function chart; temporal logic; transformation algorithm; Closed loop systems; Control systems; Discrete event systems; Grippers; Industrial control; Logic; Relays;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Advanced Intelligent Mechatronics '97. Final Program and Abstracts., IEEE/ASME International Conference on
Conference_Location :
Tokyo, Japan
Print_ISBN :
0-7803-4080-9
Type :
conf
DOI :
10.1109/AIM.1997.652899
Filename :
652899
Link To Document :
بازگشت