• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.4
• /
• pp.498-504
• /
• 2005

A fuzzy logic for collision avoidance of underwater robots is proposed in this paper. The VFF(Virtual Force Field) method, which is widely used in the field of mobile robots, is modified for application to the autonomous navigation of underwater robots. This Modified Virtual Force Field(MVFF) method using the fuzzy logic can be used in either track keeping or obstacle avoidance. Fuzzy logics are devised to handle various situations which can be faced during autonomous navigation of underwater robots. The obstacle avoidance algorithm has the ability to handle multiple static obstacles. Results of simulation show that the proposed method can be efficiently applied to obstacle avoidance of the underwater robots.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.8 no.5
• /
• pp.165-172
• /
• 2000

The VDC(Vehicle Dynamic Control) is a control system whose target is to improve stability of a vehicle under lateral motion. A lateral vehicle motion, especially on a slippery road, can lead to a hazardous situation, and the situation can even worsen by the driver`s inappropriate response. In this paper, two VDC systems, a fuzzy-based controller and an LQR-based controller have been developed. The controllers take as input the yaw rate and the sideslip angle of either body or rear wheel, and they yield the direct yaw moment signal by which the vehicle can gain stability during cornering. Simulations have been conducted to evaluate the performance of the control system. The results indicated that the controllers can successfully improve vehicle stability under potentially dangerous driving conditions.

• Proceedings of the SAREK Conference
• /
• 2005.11a
• /
• pp.469-473
• /
• 2005

Capacities of a tandom-type air-conditioner may be modulated by turning on/off multiple compressors and adjusting positions of a electronic expansion valve. In this study. control algorithms for compressors and a electronic expansion valve were developed by using fuzzy’ logics. There algorithms were implemented in a test lab and proved to be effective for the control of indoor air temperature and superheat temperature.

• Proceedings of the SAREK Conference
• /
• 2006.06a
• /
• pp.675-680
• /
• 2006

Capacities of a tandem-type air-conditioner may be modulated by turning on and off of multiple compressors, and adjusting the position of a electronic expansion valve. In this study, control algorithms for compressors and a electronic expansion valve were developed by using fuzzy logics. The pressure control algorithm was also developed for the safe operation of compressors. There algorithms were implemented in a test lab and proved to be effective for the control of indoor air temperature and superheat temperature,

• Korean Journal of Logic
• /
• v.23 no.1
• /
• pp.1-23
• /
• 2020

This paper deals with mianorm-based logics with right and left n-potency axioms and their fixpointed involutive extensions. For this, first, right and left n-potent logic systems based on mianorms, their corresponding algebraic structures, and their algebraic completeness results are discussed. Next, completeness with respect to algebras whose lattice reduct is [0, 1], known as standard completeness, is established for these systems via Yang's construction in the style of Jenei-Montagna. Finally, further standard completeness results are introduced for their fixpointed involutive extensions.

• Korean Journal of Logic
• /
• v.19 no.1
• /
• pp.107-126
• /
• 2016

This paper deals with Kripke-style semantics for weakening-free non-commutative fuzzy logics. As an example, we consider an algebraic Kripke-style semantics for an extension of the pseudo-uninorm based fuzzy logic HpsUL, $CnHpsUL^*$. For this, first, we recall the system $CnHpsUL^*$, define its corresponding algebraic structures $CnHpsUL^*$-algebras, and algebraic completeness results for it. We next introduce a Kripke-style semantics for $CnHpsUL^*$, and connect it with algebraic semantics.

• Korean Journal of Logic
• /
• v.11 no.2
• /
• pp.171-197
• /
• 2008

In this paper we deal with new standard completeness proofs of some systems introduced by Metcalfe and Montagna in [10]. For this, this paper investigates several fuzzy-relevance logics, which can be regarded as neighbors of the R of Relevance with mingle (RM). First, the monoidal uninorm idempotence logic MUIL, which is intended to cope with the tautologies of left-continuous conjunctive idempotent uninorms and their residua, and some schematic extensions of it are introduced as neighbors of RM. The algebraic structures corresponding to them are defined, and standard completeness, completeness on the real unit interval [0, 1], results for them are provided.

• International Journal of Control, Automation, and Systems
• /
• v.2 no.1
• /
• pp.39-54
• /
• 2004

We developed an automatic blood pressure control system to maintain the blood pressure of patients at a substantially low level during a surgical operation. The developed system discharges two functions, continuous feedback control of the mean arterial pressure (MAP) by a state-predictive servo controller and risk control based on the inference by fuzzy-like logics and rules using measured data. Twenty-eight clinical applications were made beginning in November 1995, and the effects of the automatic blood pressure control on the operation time and on bleeding were assessed affirmatively by means of Wilcoxon testing. This paper essentially reports the engineering details of the control system.

• Korean Journal of Logic
• /
• v.20 no.3
• /
• pp.313-333
• /
• 2017

In this paper, we deal with standard completeness of some axiomatic extensions of the involutive mianorm logic IMIAL. More precisely, first, seven involutive mianorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for four of them using construction in the style of Jenei-Montagna.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.953-958
• /
• 1993

We develop a neural network control algorithm for the ACS (Advanced Control System). The ACS is an extended version of the DCS (Distributed Control System) to which functions of fault detection and diagnosis and advanced control algorithms are added such as neural networks, fuzzy logics, and so on. In spite of its usefulness proven by computer simulations, the neural network control algorithm, as far as we know, has no tool which makes it applicable to process control. It is necessary that the neural network controller should be turned into the function code for its application to the ACS. So we develop a general method to implement the neural network control systems for the ACS. By simulations using the simulator for the boiler of 'Seoul fire power plant unit 4', the methodology proposed in this paper is validated to have the applicability to process control.