Abstract: Disclosed is a method of analyzing a programmable logic controller (PLC) logic to detect whether an anomaly that deviates from a standard pattern occurs in a repeated cycle. After modeling and patterning an operation pattern of automation equipment and processes with a graph, an anomaly detecting model capable of detecting whether a pattern is abnormal may be constructed as a graph AutoEncoder model. By detecting the change in the process pattern, it is possible to early detect the anomaly of the equipment and processes.

Abstract: An apparatus for extracting common command information from programmable logic controller (PLC) ladder information according to the present invention may include: a logic information extracting portion configured to extract control logic information from XML information converted from PLC ladder information; and a common command converting portion configured to convert the control logic information extracted by the logic information extracting portion into common command information, wherein the logic information extracting portion is configured to extract, from the XML information, the control logic information in the form of a block obtained by grouping units that respectively represent contacts and lines constituting the PLC ladder information according to an AND condition and an OR condition.

Abstract: The present disclosure discloses a master pattern generation method which is a major pattern in a repeated cycle by analyzing programmable logic controller (PLC) logic, and a method for training a model that may analyze an error of a cycle using the generated master pattern. The master pattern generation method and the training method for a cycle analysis model according to the present disclosure are different from the related art in that the methods are a technology of processing a machine control language (low-level language) that is difficult for humans to analyze and converting the machine control language into an analyzable language (high-level language), i.e., a machine language processing (MLP)-based technology that analyzes the executed machine language (a language that controls a machine) with a computer and cats be understood by humans.

Abstract: A device and a method for common type conversion of a PLC control program are disclosed. The device for common type conversion of a PLC control program according to an embodiment of the present invention comprises: a common command library construction unit for constructing a common command library by generating, using a common command generation algorithm, a common command for commands used in text-based PLC control programs having different types; and a common type conversion unit for converting an arbitrary text-based PLC control program into a common type PLC control program by using the common command library, in accordance with the arbitrary text-based PLC control program requested to be converted into a common type being able to be converted into a common type PLC control program.

Abstract: Provided is a method of verifying an interlock function of a PLC control program which includes transforming the PLC control program into a control intermediate model, simplifying the control intermediate model using information on an output signal list of output signals among a plurality of output signals outputted from the PLC driving system as the PLC control program is driven, transforming the PLC driving system and the simplified control intermediate model into a finite state machine (FSM) form, and verifying in relays of checking whether a situation in which the output signals of the output signal list causing the erroneous situation are turned on (ON) at the same time occurs in the control intermediate model simplified to the FSM form using a symbolic model verifier (SMV) and modifying the PLC control program.

Abstract: A method of alarming an abnormal state of a line of an automated manufacturing system using a programmable logic controller (PLC) signal pattern is provided.

Abstract: Disclosed are a PLC (Programmable Logic Controller) symbol structure for a PLC code for automatically generating an input/output model, and a simulation apparatus and a simulation method for testing the PLC code using the same. In one embodiment, a computer-readable recording medium records a PLC code including a plurality of PLC symbols, wherein each of the PLC symbols includes a plurality of levels identified by an identifier, and a computer automatically generates an input/output model using the structure of each of the PLC symbols, thereby performing a simulation for testing the PLC code. The PLC symbol structure according to one embodiment systematically contains information required for automatically generating the input/output model, making it possible to automatically generate the input/output model for testing the PLC code in an easier manner without knowledge of simulation and modeling, and reducing the time consumed and the labor required for generating the input/output model.

Abstract: A multiple programmable logic controller (PLC) simulation system is provided.

Abstract: A multiple programmable logic controller (PLC) simulation system is provided.

Abstract: An apparatus and method for distinguishing between tack-welding and welding are provided. The apparatus for distinguishing between tack-welding and welding includes: a current sensor configured to detect arc current of a welder; and a distinguish control unit configured to distinguish whether a welding operation performed by the welder is tack-welding or welding based on the arc current detected by the current sensor for a predefined period of time. Accordingly, the amount of work performed by a welding worker can be fairly and accurately evaluated.

Abstract: Provided are a system and a method for monitoring welding operations. The system includes a welding machine, a current sensor sensing an operation time of the welding machine and a welding current, a welding information database storing information of the operation time of the welding machine and the welding current for each welding operator and storing information of a consumed charge amount of the welding machine, which is preset for each welding operation process, a data analyzer checking a charge amount consumed for the operation time by using the sensed operation time of the welding machine and the welding current and determining whether the welding operator achieves a task goal of a corresponding process by comparing the checked consumed charge amount with the preset consumed charge amount for a process performed by the welding machine, and a display unit outputting a result of the determining, performed by the data analyzer, whether the welding operator achieves a task goal of a corresponding process.

Abstract: Disclosed are a PLC (Programmable Logic Controller) symbol structure for a PLC code for automatically generating an input/output model, and a simulation apparatus and a simulation method for testing the PLC code using the same. In one embodiment, a computer-readable recording medium records a PLC code including a plurality of PLC symbols, wherein each of the PLC symbols includes a plurality of levels identified by an identifier, and a computer automatically generates an input/output model using the structure of each of the PLC symbols, thereby performing a simulation for testing the PLC code. The PLC symbol structure according to one embodiment systematically contains information required for automatically generating the input/output model, making it possible to automatically generate the input/output model for testing the PLC code in an easier manner without knowledge of simulation and modeling, and reducing the time consumed and the labor required for generating the input/output model.