Abstract
To replace or maintain many industrial plants developed in the 1960s is quite hard, because the documents of installed sequential control logics seldom remain. SPAIR is an automatic regeneration method of control logic to cope with this problem. In SPAIR, the control logic for operating plants is automatically regenerated from the input and output data of the control unit and supplementary specification by an inductive learning algorithm. When SPAIR is applied to the regeneration of real operating plants, it is necessary to verify if the regenerated sequential control programs can accurately control such plants. For this purpose, the SPAR-System, in which SPAIR is installed, has been developed. The SPAR-System can edit the data and logic of plants and can verify the inferred logic on the simulation plant model easily.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
