• Journal of the Korea Safety Management & Science
• /
• v.17 no.1
• /
• pp.179-192
• /
• 2015

In an automated industry PLC plays a central role to control the automation system. Therefore, fault free operation of PLC controlled automation system is essential in order to maximize a firm's productivity. A prior test of control system is a practical way to check fault operations, but it is a time consuming job and can not check all possible fault operation. A formal verification of PLC program could be a best way to check all possible fault situation. Tracing the history of the study on formal verification, we found three problems, the first is that a formal representation of PLC control system is incomplete, the second is a state explosion problem and the third is that the verification result is difficult to use for the correction of control program. In this paper, we propose a transformation method to reproduce the control system correctly in formal model and efficient procedure to verify and correct the control program using verification result. To demonstrate the proposed method, we provided a suitable case study of an automation system.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.1
• /
• pp.583-586
• /
• 2005

We propose a shelter guidance system using the PLC communication to resolve that a conventional shelter guidance light for underground space has problems. The proposed shelter guidance system is composed of a main control part, a PLC remote control part, a charging part, a sound generation part, a display part, an alarm part and a smoke sensing part.. The efficacy of the proposed system is verified by means of experimental. Experimental results are presented that show the effectiveness and the improvement of noise.

• Proceedings of the KAIS Fall Conference
• /
• 2010.05a
• /
• pp.135-137
• /
• 2010

In this paper, PLC program for flowing type steam boiler control is presented. The function of the implementation are flowing type steam boiler, PLC control, interpretation of PLC command, and temperature scheme. The flowing type steam boiler approach is based on master-slave control concept. To show validity of the developed PLC program, severial experiments are illustrated.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2004.07a
• /
• pp.296-299
• /
• 2004

This paper introduces a supplementary module reducing tile standby-power of Power Line Communication(PLC) modem, one of the network equipments that take up much of tile stand-by power. This supplementary module consists of three parts, such as a compare part, a control part, and a switch part. This supplementary module controls the power going from the power supply element into PLC modem, which brings about the effect of standby-power reduction. It is assured that over 30% standby-power reduction is estimated when we applied this module to a low-speedy PLC control modem.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.2
• /
• pp.365-375
• /
• 2019

A PLC (Programmable Logic Controller) is a highly-reliable industrial digital computer which supports real-time embedded control applications for safety-critical control systems. Real-time operating systems such as uC/OS have been used for PLCs and must meet real-time constraints. As PLCs have been widely used for industrial control systems and connected to the Internet, they have been becoming a main target of cyberattacks. In this paper, we propose an execution code sanitizer to enhance the security of PLC systems. The proposed sanitizer analyzes PLC programs developed by an IDE before downloading the program to a target PLC, and mitigates security vulnerabilities of the program. Our sanitizer can detect vulnerable function calls and illegal memory accesses in development of PLC programs using a database of vulnerable functions as well as the other database of code patterns related to pointer misuses. Based on these DBs, it detects and removes abnormal use patterns of pointer variables and existence of vulnerable functions shown in the call graph of the target executable code. We have implemented the proposed technique and verified its effectiveness through experiments.

• Proceedings of the KAIS Fall Conference
• /
• 2006.05a
• /
• pp.327-329
• /
• 2006

In this paper, PLC program for flowing type steam boiler control is presented. The function of the implementation are flowing type steam boiler, PLC control, interpretation of PLC command, and temperature scheme. The flowing type steam boiler approach is based on master-slave control concept. To show validity of the developed PLC program, severial experiments are illustrated.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.272-276
• /
• 2004

The conventional PID (Proportional-Integral-Derivative) control technique is widely used for the process control in many industries since it is simple in structure and provides the good response. Nowadays, this control technique has been developed on the Programmable Logic Controller (PLC) to use for the process control loop. However, using this technique is difficult when tuning the PID parameters ($K_p$, $T_i$ and $T_d$) to achieve the best response. Moreover, trial-and-error procedure along with the operator experiences are required to obtain the best results when tuning the PID controller parameters. This paper proposes the self-tuning PID controller based on PLC for the process control in the industries. The proposed self-tuning PID controller uses the PLC-based PID structures to control the process production. The proposed PID tuning utilizes the PLC to synthesize and analyze controller parameter as well as to tune for appropriate parameters using Dahlin method and extrapolation. Experimental results using a self-tuning PID controller to control temperature of the oven show that the controller developed is capable of controlling the process very effectively and provides a good response.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2001.09a
• /
• pp.82-88
• /
• 2001

Manufactured easy elevator can drives from the first floor to fifth floor as sequence control circuit in cause opening than existing equipment of experiment and practice, the structure of in the first implementation process are hand-worked control component with push-button, L/S and relay, it is structured a lamp to express that the door open and moving of cage by mechanical action of For/Rev motor-braker of which load. The second structure of implement process to control from the first floor to the fifth floor with the PLC elevator program can control by the sensor of hand-operated function of L/Sl~L/S5 in time that the S/Wl~S/W5 of PLC control panel operates to the For/Rev. The function of two kind process that an elevator is driven by PLC program and the sequence control relay circuit is a mechanical relay sequence control field and it is equipment apparatus of it to get appropriately the technology of For/Rev in that mechanical operating cause of a load using the PLC program. Also the wring circuit using a plug, dissembly. the circuit and the principle of component, and PLC program with the function test can be used the implementation field to the total technology theory about FA.

• Journal of Biosystems Engineering
• /
• v.23 no.6
• /
• pp.599-606
• /
• 1998

This study was carried out to develop the control system with PLC and its operating software and to investigate its control ability of greenhouse environments. Two experimental greenhouses were controlled by PLC and ON/OFF controller, respectively. In greenhouse controlled by PLC, target values of air temperature, relative humidity and $CO_2$ concentration were automatically changed. In warm-water heating, the variation of air temperature was reduced to $\pm$ $0.6^{\circ}C$ by the method of proportional-integration(PI) control with an inverter. In ventilation, the variation of air temperature was reduced, since windows open and close with multistage by mutual relation formula among the target, indoor, and outdoor temperature. Relative humidity at daytime was maintained with range of 35% to 55% by PLC controlled fogger. $CO_2$ concentration was automatically controlled from 300 to 800 $\mu$molㆍ$mol^{-1}$ according to amount of solar radiation. The suppling amount and frequency of nutrient solution were controlled by total integrated solar radiation. Difference in the yield of cucumber in the greenhouse controlled by PLC and by ON/OFF controller was not significant at the 5% level.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2423-2425
• /
• 2000

A wireless communication module for multiple PLC was developed. The function of the developed system are dual communication, concurrent multiple communication. PLC control, d interpretation of PLC command, and A/D D/A converting. The multiple communication approach is based on master-slave control concept. To show validity of the developed module, severial experiments are illustrated.