Design recovery for ladder diagram with information of controlled plant

Author

Zanma, Tadaiiao ; Suzuki, Tatsuya ; Inaba, Akio ; Okuma, S.

Author_Institution

Dept. of Electr. Eng., Nagoya Univ., Japan

Volume

4

fYear

1997

fDate

10-12 Dec 1997

Firstpage

3580

Abstract

SFC (sequential function chart), which is a graphical tool for control logic and can also represent the order for events to be controlled explicitly, has been presented as a programming language of sequential control. Since even a nonspecialist can understand SFC, it will be the main tool of sequential control. In spite of this excellent characteristic of SFC, ladder diagrams (LD) are still used in various industrial applications. In this paper, we regard LD and controlled plant as one closed loop, and propose the algorithm for picking up order of events based on the closed-loop system. We try to model the plant by means of temporal logic

Keywords

closed loop systems; discrete event systems; industrial control; programming languages; temporal logic; SFC; closed-loop system; control logic; controlled plant information; design recovery; graphical tool; ladder diagram; programming language; sequential control; sequential function chart; temporal logic; Control systems; Electrical equipment industry; Logic; Sensor phenomena and characterization; Switches;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 1997., Proceedings of the 36th IEEE Conference on

Conference_Location

San Diego, CA

ISSN

0191-2216

Print_ISBN

0-7803-4187-2

Type

conf

DOI

10.1109/CDC.1997.652406

Filename

652406