• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1987년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 16-17 Oct. 1987
• /
• pp.422-425
• /
• 1987

Auto-programming of sequencer was implemented by PLC-.mu.C system, to transform the PLC program in the relay ladder diagram.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2004년도 학술대회지
• /
• pp.486-490
• /
• 2004

Programmable logic controller (PLC) is widely used in manufacturing system or process control. This paper presents the design of a 32-bit microprocessor for a sequence control using an Application Specification Integrated Circuit (ASIC). The 32-bit microprocessor was designed by a VHDL with top down method; the program memory was separated from the data memory for high speed execution of 274 specified sequence instructions. Therefore it was possible that sequence instructions could be operated at the same time during the instruction fetch cycle. And in order to reduce the instruction decoding time and the interface time of the data memory interface, an instruction code size was implemented by 32-bits. And the real time debugging as single step run, break point run was implemented. Pulse instruction, step controller, master controllers, BIN and BCD type arithmetic instructions, barrel shit instructions were implemented for many used in PLC system. The designed microprocessor was synthesized by the S1L50000 series which contains 70,000 gates with 0.65um technology of SEIKO EPSON. Finally, the benchmark was performed to show that designed 32-bit microprocessor has better performance than Q4A PLC of Mitsubishi Corporation.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권3호
• /
• pp.211-215
• /
• 2009

프로그래머블 로직 콘트롤러(PLC)가 원자력 계측제어 시스템과 같은 안전 필수 시스템 구현에 많이 사용됨에 따라, PLC 프로그램에 대한 정형검증의 필요가 높아지고 있다. 본 연구에서는 함수 블록 다이어램(FBD)으로 구현된 PLC 프로그램에 대한 자동화된 정형검증 기법을 제안한다. FBD 프로그램을 검증하기 위해서 먼저 FBD 프로그램을 검증언어인 Verilog로 변환하고, 변환된 Verilog모델에 대해 SMV 모델체커를 호출해 모델체킹을 수행한다. 자동화를 위해 FBD Verifier 도구를 개발하였다. FBD Verifier는 FBD 프로그램으로부터 Verilog 모델로의 자동변환 기능뿐 아니라 모델체킹 결과 생성된 반례를 직관적이고 효과적으로 분석할 수 있는 기능 또한 제공한다. 제안된 기법과 도구를 사용해 원전계측제어시스템 개발사업단의 원자로 보호시스템에 대한 방대한 양의 FBD 프로그램을 성공적으로 검증하였다.

• 한국시뮬레이션학회논문지
• /
• 제25권4호
• /
• pp.21-30
• /
• 2016

최근 자동 생산 시스템은 PLC (Programmable Logic Controller) 제어 프로그램을 일반적으로 사용하고 있다. 생산제품의 수명 주기가 길지 않기 때문에 공법과 라인 및 설비 변경이 자주 일어난다. 대부분, 기존 공정을 바탕으로 이루어지고 설비의 위치 및 제어정보를 수정한다. PLC 제어 프로그램 또한 기존 공정을 바탕으로 수정이 이루어진다. 새로운 제어 프로그램을 검증하기 위해서는 실제 생산 시스템을 구축하기 전에 가상의 공간에서 실제 공정과 같이 구성하여 순차적으로 공정이 진행되는 지 확인할 수 있는 방법이 필요하다. 본 연구는 순차제어(sequential control)와 병목현상 처리에 유용한 Timed-FSA를 기반으로 하는 논리적인 모델링 방법을 사용한다. 기존에 연구되었던 I-O 모델링과 I-O 모델링에서 요구되었던 하나의 설비에 다양한 상태의 정의를 통해 사용자의 시간과 공수를 절감하기 위한 기존 모델링에 페트리네트의 토큰(Petri Nets Coloured Token) 개념을 추가한 확장된 I-O 모델링 방법을 제안한다. 예제 설비를 통하여 사용자의 모델링 시간을 절감하는 실험과 사용자 평가를 통해 제안하는 확장된 I-O 모델링의 편의성을 검증한다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2013년도 전력전자학술대회 논문집
• /
• pp.49-50
• /
• 2013

여러 대의 인버터를 비례 동기 위치제어를 하기 위하여 PLC(Program Logic Contoller)가 사용되는데, 대부분의 기능이 PLC에서 구현이 되기 때문에 프로그램이 복잡하고 많은 통신 데이터가 필요하다. 본 논문에서는 PLC의 연산부하를 줄이기 위하여 비례 동기 위치 제어 연산 과정을 인버터로 구현하는 방법 대하여 연구하였고, 두 대의 인버터로 시스템을 구현하여 제안된 방법의 타당성을 검증하였다. 이를 통하여 PLC 사용자가 프로그램을 구현하는 데 들어가는 시간을 줄이고, 직접 프로그램을 작성하는 데에 발생할 수 있는 오류를 저감시킬 수 있다.

• 대한안전경영과학회지
• /
• 제12권2호
• /
• pp.65-73
• /
• 2010

In an automated industry PLC plays a central role to control the manufacturing system. Therefore, fault free operation of PLC controlled manufacturing system is essential in order to maximize a firm's productivity. On the contrary, distributed nature of manufacturing system and growing complexity of the PLC programs presented a challenging task of designing a rapid fault finding system for an uninterrupted process operation. Hence, designing an intelligent monitoring, and diagnosis system is needed for smooth functioning of the operation process. In this paper, we propose a method to continuously acquire a stream of PLC signal data from the normal operational PLC-based manufacturing system and to generate diagnosis model from the observed PLC signal data. Consequently, the generated diagnosis model is used for distinguish the possible abnormalities of manufacturing system. To verify the proposed method, we provided a suitable case study of an assembly line.

• 조명전기설비학회논문지
• /
• 제20권4호
• /
• pp.49-55
• /
• 2006

PLC를 사용한 공정제어에서 일반적으로 LD 언어로 가장 많이 프로그램한다. 그러나 최근에는 SFC 언어에 대한 연구가 활발히 이루어지고 있다. PLC를 사용한 공정제어에서 SFC 언어로 프로그램할 때는 처음부터 마지막까지 하나의 루틴으로 설계하는 것이 일반적이다. 이러한 방법은 설계하기가 무척 힘들고, 흔히 실수하는 경우가 많다. 본 논문에서는 개별 서브시스템을 설계하고, 각 서브시스템을 결합하는 방법을 제안하였고, 실례를 통해 그의 타당성을 확인하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.706-709
• /
• 1996

In this paper, an algorithm for PLC(Programmable Logic Controller) fault diagnosis system is proposed and experimentation is conducted with a PLC and a virtual plant. Wrong output backward tracking algorithm is proposed in order to find the external faults of PLC. And query with keywords of the fault systems and specially designed test sequence programs are used. We lay emphasis on the backward tracking algorithm to diagnose the faults of PLC. It is shown experimentally that the proposed algorithm can find the faults which a typical self diagnostics in the-commercially available PLC cannot.

• 한국CDE학회논문집
• /
• 제14권5호
• /
• pp.323-329
• /
• 2009

Auto-makers can only remain competitive by producing high quality vehicles in an efficient way. In designing a production line, one of the most important objectives of digital manufacturing is to verify design errors as early as possible. In terms of the cost and time saving, it is very essential to start the construction of a production line with a proven design which is error-free. Likewise, this paper aims to implement PLC verification using an example. The verification in automobile manufacturing means verifying PLC program, which control automatic devices. In this paper, we built a virtual factory to implement PLC simulation and introduced verification procedure using PLC Studio. Finally, we can prove the availability for the PLC verification.

• 한국전기전자재료학회:학술대회논문집
• /
• 한국전기전자재료학회 2002년도 추계학술대회 논문집 Vol.15
• /
• pp.596-602
• /
• 2002

An easy elevator for learning originated is opened to compare the existed learning equipment, and it had a high studying efficient that the sequence control circuit can opens and closes with the wire. The structure of equipment to be controlled from the first floor to the fifth floors is demonstrated a constructive apparatus by a lamp atc to express the function of the open-close of the door according to the cage moving with a mechanical actuation of the forward-reverse breaker and the motor of load and a mechanical actuation of hand-operation control components of push-button S/W and L/S and relay etc. These components let connects each other in order to control of the elevator function with the auto program and the designed sequence control circuit. Consequent1y the process of these functions of 1~5steps could operates the cage with an auto program of the elevator and the sequence control circuit. The sequence control circuit is controlled by the step of forward and reverse to follow as that the sensor function of the L/S1~L/S5 let posit with the control switchs of S/W1~S/W5 of PLC testing panel and switchs of S/W1~S/W5 installed on the transparent acryl plate of the frame. In here, improved apparatus is a hand-auto operation combined learning equipment to study the principle and a technique of the originated sequence control circuit and the auto program of PLC.