• Transactions of the Korean Society of Automotive Engineers
• /
• v.18 no.3
• /
• pp.26-36
• /
• 2010

This paper provides a description of the combustion model to obtain an accurate dynamic engine phenomena that satisfies real-time simulation for model-based engine control. The combustion chamber is modeled as a storage device for mass and energy. The combustion process is modeled in terms of a two-zone model for the burned and unburned gas fractions. The mass fraction burnt is modeled in terms of a Wiebe function. The instantaneous net engine torque is calculated from the engine speed and the instantaneous piston work. The modeling accuracy has been tested with a cylinder pressure data on a test bench and also the ability of real-time simulation has been checked. The results show that combustion model yields sufficiently good performance for the model-based control logic design. However the influence factors effected on model accuracy are some room for improvement.

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10a
• /
• pp.436-440
• /
• 1992

As an approach to design the intelligent controller, this paper proposes a new FNN(Fuzzy Neural Network) control method using the hybrid combination of fuzzy logic control and neural network. The proposed FNN controller has two important capabilities, namely, adaptation and learning. These functions are performed by the following process. Firstly, identification of the parameters and estimation of the states for the unknown plant are achieved by the MNN(Model Neural Network) which is continuously trained on-line. And secondly, the learning is performed by FNN controller. The error back propagation algorithm is adopted as a learning technique. The effectiveness of the proposed method will be demonstrated by computer simulation of a two d.o.f. robot manipulator.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1992.04a
• /
• pp.354-358
• /
• 1992

This paper describes a development of high speed fuzzy inference circuit for the industrialprocesses. The hardware fuzzy inference circuit is developed utilizing a hardware fuzzy inference circuit is developed utilizing a DSP and a multiplier and accumulator chip. To enhance the inference speed, the pipeline disign is adopted at the bottleneck and the general Max-Min inference method is slightly modified as Max-max method. As a results, the inference speed is evaluated to be 100 KFLIPS. Owing to this high speed feature, satisfactory application can be attained for complex high speed motion control as well as the control of multi-input multi-output nonlinear system. As an application, the developed fuzzy inference circuit is embedded to a PLC (Porgrammable Logic Controller) for industrial process control. For the fuzzy PLC system, to fascilitate the design of the fuzzy control knowledge such as membership functions, rules, etc., a MS-Windows based GUI (Graphical User Interface) software is developed.

• Proceedings of the IEEK Conference
• /
• 2006.06a
• /
• pp.1021-1022
• /
• 2006

In industrial control system used by Programmable Logic Controller(PLC), Ladder Diagram(LD) is the most widely utilized and plays an important role in industrial control system. But recently, the study about Sequential Function Chart(SFC) is performed actively. When we program by SFC, generally, we design one routine from start to end. This method is difficult to design, and we often make mistakes. In this paper, we propose the method that we compose each sub-system after we design each sub-system, and we analysis the difference of the method used this paper from conventional method.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.24 no.5
• /
• pp.55-61
• /
• 2010

When we design the control system used Programmable Logic Controller(PLC) by Sequential Function Chart(SFC), if we use a SFC, it is easy to know the sequential flow of control, to maintenance the controller and to describe a program. We program a SFC by a unique sequence, an alternative sequence and a parallel sequence. If we program a SFC by a alternative sequence, the memory size of a alternative sequence must be larger than the memory size of a unique sequence. Therefore this thesis show an efficient method to reduce a memory size and we confirmed its feasibility through actual example.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2000.11a
• /
• pp.169-177
• /
• 2000

In general, the size of index set of the emotion-based control is smaller than that of the logic-based control. And thus, by using the concept of emotion we can control the behavior's patterns of multiple persons more softly from the global viewpoint. The principle just mentioned, we think, can be applied on fille general purpose system. In this paper we presented a n : n negotiation model in the deal based on emotional agent. Through the emotional layers of the agents we tried to show that the flexible control of the negotiation process is possible especially in case of dynamic environment.

• The KIPS Transactions:PartA
• /
• v.9A no.3
• /
• pp.351-362
• /
• 2002

Along with an asynchronous finite state machine, in short AFSM, a signal transition graph, in short STG, is one of the most widely used behavioral description languages for asynchronous controllers. Unfortunately, STGs are not user-friendly, and thus it is very unwieldy and time consuming for system designers to conceive and describe manually the behaviors of a number of asynchronous controllers which constitute an asynchronous control unit for a target system in the form of STGs. In this paper, we suggest an automatic STG derivation method through a process-oriented method. Since the suggested method considers special properties of STG-based asynchronous logic synthesis very carefully, asynchronous controllers which are synthesized from STGs derived through the suggested method are superior in aspects of area, synthesis time, performance and implementability compared to those obtained through previous methods.

• KSBB Journal
• /
• v.15 no.1
• /
• pp.14-21
• /
• 2000

In this study, algae cultivation using the photobioreactor has been applied to remove the nitrogen and phosphorus compounds in the wastewater of the livestock industry. The optimal ratio of nitrate and ortho-phosphate concentration was found for the enhancement of removal efficiency. To achieve the high density culture of algae, the photobioreactor consisted of optical fibers wes developed to get the sufficient light intensity. The light could be illuminated uniformly from light source to the entire reactor by the optical fibers. The structured kinetic model was proposed to describe the growth rate, consumption rate of nitrates and ortho-phosphates in algae culture. The self-organizing fuzzy logic controller incorporated with genetic algorithm was constructed to control the semi-continuous wastewater treatment system. The proposed fuzzy logic controller was applied to maintain the nitrated concentration at the given set-point with the control of wastewater feeding rate. The experimental results showed that the self-organizing fuzzy logic controller could keep the nitrate concentration and enhance algae growth.

• Journal of Korean Society of Environmental Engineers
• /
• v.22 no.10
• /
• pp.1905-1919
• /
• 2000

The main motivation of this research is to develop an intelligent control strategy for Activated Sludge Process (ASP). ASP is a complex and nonlinear dynamic system because of the characteristic of wastewater, the change in influent flow rate, weather conditions, and etc. The mathematical model of ASP also includes uncertainties which are ignored or not considered by process engineer or controller designer. The ASP is generally controlled by a PID controller that consists of fixed proportional, integral, and derivative gain values. The PID gains are adjusted by the expert who has much experience in the ASP. The ASP model based on $Matlab^{(R)}5.3/Simulink^{(R)}3.0$ is developed in this paper. The performance of the model is tested by IWA(International Water Association) and COST(European Cooperation in the field of Scientific and Technical Research) data that include steady-state results during 14 days. The advantage of the developed model is that the user can easily modify or change the controller by the help of the graphical user interface. The ASP model as a typical nonlinear system can be used to simulate and test the proposed controller for an educational purpose. Various control methods are applied to the ASP model and the control results are compared to apply the proposed intelligent control strategy to a real ASP. Three control methods are designed and tested: conventional PID controller, fuzzy logic control approach to modify setpoints, and fuzzy-PID control method. The proposed setpoints changer based on the fuzzy logic shows a better performance and robustness under disturbances. The objective function can be defined and included in the proposed control strategy to improve the effluent water quality and to reduce the operating cost in a real ASP.

• Journal of Information Processing Systems
• /
• v.15 no.3
• /
• pp.570-592
• /
• 2019

The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.