We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
Transformation algorithm from Ladder Diagram to SFC using temporal logic.
- Authors
Zanma, Tadanao; Suzuki, Tatsuya; Inaba, Akio; Okuma, Shigeru
- Abstract
The Ladder Diagram (LD) has been widely used in industry as a language for sequential control. However, the LD cannot represent sequential flows of control logic explicitly. This leads to difficulties for other engineers in understanding the control logic. To overcome this problem, the Sequential Function Chart (SFC) has been proposed. Because the SFC can represent sequential flow explicitly, it is expected to be used more widely. Since the LD has been widely used in the past, however, it is necessary to develop an algorithm for transformation from the LD to the SFC. In this paper, a technique to transform an 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, sequence information including parallel path divergences is extracted to develop the transformation algorithm. An example is presented to verify the feasibility of the proposed algorithm. © 1999 Scripta Technica, Electr Eng Jpn, 129(1): 74–81, 1999
- Subjects
LADDER networks; ELECTRONIC controllers; PROGRAMMABLE sequence controllers; PROGRAMMABLE controllers; PROGRAMMING languages; ALGORITHMS; ELECTRICAL engineering
- Publication
Electrical Engineering in Japan, 1999, Vol 129, Issue 1, p74
- ISSN
0424-7760
- Publication type
Article
- DOI
10.1002/(SICI)1520-6416(199910)129:1<74::AID-EEJ9>3.0.CO;2-B