• 한국경영과학회지
• /
• 제20권2호
• /
• pp.159-178
• /
• 1995

Supervisory control is an approach based on formal language. it is used to model and control discrete event systems in which each discrete event process is represented as an automation. A supervisor is a generator that switches control patterns in such a way that a given discrete evenet process behaves in obedience to various constraints. A flexible manufacturing cell (FMC) is one of discrete evenet systems. Functions necessary for the operation of an FMC are characterized by operational components and informational compoments. The operational components can be modeled using the finite state machines and the informational components can be modeled using the abstract formalism which describes supporting operations of the cell controller. In this paper, we addressed function required for FMC control specification, software engineering aspects on FMC control based on supervisory control, a concept of event queue for resolving synchronization problem, and complexity reduction. Based on the mathematical model of an FMC. we synthesized the controller by integrating a supervisor for FMC with control specification that specifies event-driven operation of the cell controller. The proposed control scheme is stable mathematically so that the system always behaves on a controlled way even under the existence of uncontrollable events. Furthermore, using an event queue concept, we can solve a synchronization problem caused by the violation of instantaneity assumption of supervisory control theory in real life situation. And also, we can propotype a control software rapidly due to the modularity of the proposed control scheme.

• International Journal of Computer Science & Network Security
• /
• 제22권3호
• /
• pp.355-363
• /
• 2022

This paper presents the modeling for islanded hybrid AC/DC microgrid and the verification of the proposed supervisory controller for energy management for this microgrid. The supervisory controller allows the microgrid system to operate in different power flows through the proposed control algorithm, it has several roles in the management of the energy flow between the different components of the microgrid for reliable operation. The proposed microgrid has both essential objectives such as the maximum use of renewable energies resources and the reduction of multiple conversion processes in an individual AC or DC microgrids. The microgrid system considered for this study has a solar photovoltaic (PV), a wind turbine (WT), a battery (BT), and a AC/DC loads. A small islanded hybrid AC/DC microgrid has been modeled and simulated using the MATLAB-Simulink. The simulation results show that the system can maintain stable operation under the proposed supervisory controller when the microgrid is switched from one operating mode of energy flow to another.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.411-413
• /
• 1997

This paper presents the problem of fault-tolerant robust supervisory control of timed discrete event systems (DESs). First the concept of faults is quantitatively defined in timed DESs and fault tolerable event sequences are presented as a desired legal language. Given a timed DES with model uncertainty, the conditions for the existence of a supervisor which always guarantees fault tolerable event sequences embedded in the system are derived.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 A
• /
• pp.244-246
• /
• 1998

Robust control for DC motor is needed according to the highest precision of industrial automation. However when a motor control system with PID controller has an effect of load disturbance, it is very difficult to guarantee the robustness of control system. As a compensation method solving this problem, in this paper, PID-supervision hybrid control method for motor control system is presented. If the PID control system (without the supervisory controller) is stable in the sense that the error is inside the constraint set, the supervisory control is idle. If the error hits the boundary of the constraint, the supervisory controller begins operation to force the error back to the constraint set. We prove that the PID-supervision hybrid control system is globally stable in the sense that the error is guaranteed to be within the tolerance limits specified by the system designer.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.184-184
• /
• 2000

The new-type measuring modules for unmanned remote supervisory system using mobile communication network have been designed in this study. Measuring modules consist of temperature measuring module, humidity measuring module and human body sensing module. And we will design a main part to collect and process informations of each modules, evaluate reliability of combined total system.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2005년도 춘계학술대회 논문집
• /
• pp.203-206
• /
• 2005

This paper presents a design experience of supervisory control system for agile and intelligent manufacturing(AIM). For effectively program job instructions, a Petri net-type graphical language is proposed and it can be applied to a various task such as concurrency and synchronization. PGL is consisted of PGL editor, PGL analyzer and PGL translator; PGL editor generates a job instruction program using graphic symbol. PGL analyzer prevents a deadlock or resource allocation of unit cell. PGL translator transfers to adequate sequential job commands of each unit cell.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제54권8호
• /
• pp.486-494
• /
• 2005

This paper presents a design experience of a supervisory control system. For effective programming of job commands, a petri net-type graphical language (PGL) is proposed applied to various tasks having concurrency and synchronization. Our PGL based supervisory control system is composed of PGL editor and PGL compiler; PGL editor is designed to help us to generate a job program using graphical symbols. PGL compiler includes analyzer, scheduler, and tranlator, PGL analyzer prevents a deadlock or resource allocation of unit cell, PGL scheduler generates a adequate job sequence of unit cell. and PGL translator translate the scheduled sequence into the iob program of each unit cell.

• Journal of Mechanical Science and Technology
• /
• 제14권4호
• /
• pp.369-379
• /
• 2000

In industrial production-distribution systems, production and purchasing rates, associated inventories, and sales are very critical for the profits of each component in the system. The objective of this study is to investigate an effective information control scheme for a production -distribution system by automatic feedback control techniques. In this work, a dynamic control scheme that has an integrated -error with state-feedback and filtering (ISFF) is proposed as a new algorithm for a dynamic controller. Generalized formulations of the dynamic control are proposed in the continuous-time and discrete-time cases. A methodology for an evaluation of ISFF controller gains using the eigen structure property is presented. When an upper-limit is imposed on the production capability by available factory space and capital equipment, supervisory control is provided to avoid integrator-windup and deterioration of system performance.

• 조명전기설비학회논문지
• /
• 제12권4호
• /
• pp.70-74
• /
• 1998

산업 자동화의 고정밀도에 따라 직류 전동기는 강언제어가 요구되고 있다. 하지만 PID 제어기를 갖는 전동기 제어 시스템이 부하 외란의 영향을 받게되면 제어 시스템의 강인제어는 어렵게 된다. 이에 대한 보완적인 한 방법으로 본 논문에서는 전동기 제어시스템올 위한 PID-관리 복합형 제어기법을 제시하였다. 만약 오차가 구속영역 내에 있고, 시스템이 안정한 상태에 있다면 관리 제어기는 사용되지 않고 PID 제어기만 동작한다. 관리 제어기는 오차가 구속 경계에 도달하게 되면 오차를 구속 영역내로 들어가도록 제어를 시작한다. 우리는 PID-관리 복합형 제어 시스램의 오차가 시스템 설계자의 허용한도 내에서 유지되고 전체적으로 안정함을 증명하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1990년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 26-27 Oct. 1990
• /
• pp.523-528
• /
• 1990

This paper discusses the problem of designing an observation function as coarsest as possible in supervisory control of discrete event dynamic systems. Some algebraic properties of two sets consisting of observation functions for which the given desirable behavior is realizable are investigated:these sets with a partial ordering turn out not to possess largest elements. Two natural methods of obtaining an observation function, which is frequently coarser than the identity mapping, are also presented. An example illustrates the use of these methods.