• Title/Summary/Keyword: First Order Logic

Search Result 176, Processing Time 0.026 seconds

Fuzzy Logic Speed Control of a Surface-Mounted Permanent Magnet Synchronous Motor (표면 부착형 영구자석 동기전동기의 퍼지 속도제어)

  • Jung, Jin-Woo;Choi, Young-Sik;Yu, Dong-Young
    • Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
    • /
    • v.24 no.12
    • /
    • pp.184-192
    • /
    • 2010
  • This paper proposes a new fuzzy speed controller to precisely regulate the speed of a surface-mounted permanent magnet synchronous motor(SPMSM). The proposed fuzzy controller needs the knowledge of the load torque to realize its robust and accurate control, thus the first-order load torque observer is adopted to estimate it. It is analytically confirmed that the overall control system containing the fuzzy speed controller and the load torque observer is exponentially stable. To prove the validity of the proposed fuzzy speed controller, the simulation and experimental results are shown. It is concluded that the proposed control scheme can be employed to accurately control the speed of a SPMSM motor.

Re-adhesion Control for Wheeled Robot Using Fuzzy Logic (퍼지 제어기를 이용한 이동 로봇의 재점착 제어)

  • Kwon, Sun-Ku;Huh, Uk-Youl;Kim, Hak-Il
    • Proceedings of the KIEE Conference
    • /
    • 2004.07d
    • /
    • pp.2423-2425
    • /
    • 2004
  • Mobility of an indoor wheeled robot is affected by adhesion force that is related to various floor conditions. When the adhesion force between driving wheels and the floor decreases suddenly, the robot has slip state. First of all, this paper models adhesion characteristics and slip in wheeled robot. Secondly, the paper proposes estimation method of adhesion force coefficient(AFC) according to slip velocity. In order to overcome this slip problem, optimal slip velocity must be decided for stable movement of wheeled robot. The paper proposes an anti-slip control system based on an ordinary disturbance observer, that is, the re-adhesion control is achieved by reducing the driving torque enough to give maximum adhesion force coefficient. fuzzy logic controller(FLC) is petty useful with slip through that compare fuzzy with PI control for the controller performance. These procedure is implemented using a Pioneer 2-DXE parameter.

  • PDF

Vibration Control of Quarter Vehicle ER Suspension System Using Fuzzy Moving Sliding Mode Controller (퍼지이동 슬라이딩모드 제어기를 이용한 1/4차량의 ER현가장치 진동제어)

  • Sung, Kum-Gil;Cho, Jae-Wan;Choi, Seung-Bok
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2006.05a
    • /
    • pp.644-649
    • /
    • 2006
  • This paper presents a robust and superior control performance of a quarter-vehicle electrorheological (ER) suspension system. In order to achieve this goal, a moving sliding mode control algorithm is adopted, and its moving strategy is tuned by fuzzy logic. As a first step, ER damper is designed and manufactured for a passenger vehicle suspension system, and its field-dependent damping force is experimentally evaluated. After formulating the governing equation of motion for the quarter-vehicle ER suspension system, a stable sliding surface and moving algorithm based on fuzzy logic are formulated. The fuzzy moving sliding mode controller is then constructed and experimentally implemented. Control performances of the ER suspension system are evaluated in both time and frequency domains.

  • PDF

Knowledge Representation and Fuzzy Reasoning in the Level of Predicate Logic based on Fuzzy Pr/T Nets (퍼지 Pr/T 네트를 기반으로 하는 술어논리 수준의 지식표현과 퍼지추론)

  • 조상엽;이동은
    • Journal of Internet Computing and Services
    • /
    • v.2 no.2
    • /
    • pp.117-126
    • /
    • 2001
  • This paper presents fuzzy Pr/T nets to represent the fuzzy production rules of a knowledge-based system in the level of first-order predicate logic. The fuzzy Pr/T nets are fuzzy extension of the Pr/T nets. Based on the fuzzy Pr/T net, we propose a fuzzy reasoning algorithm. This algorithm is much closer to human intuition and reasoning than other methods because of using the proper belief functions according to fuzzy concepts in fuzzy production rules.

  • PDF

A Logical Transformation Rules for Business Process Under Resource Allocation Constraint based CTR (CTR 기반 자원할당 제약조건 하에서의 비즈니스 프로세스를 위한 논리적 변환규칙)

  • An Hyoung-Keun;Koh Jae-Jin
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11b
    • /
    • pp.205-207
    • /
    • 2005
  • 최근 수많은 정보를 통해서 증명 되듯이 비즈니스 프로세스 관리(Business Process Management, BPM)는 기업의 소프트웨어 시장의 가장 중요한 부분을 차지하고 있다. 비즈니스 프로세스 관리는 프로세스 전 라이프 사이클을 지원하고자 하는 개념으로 급변하는 경영 환경의 변화에서 기업의 경쟁력을 재고 하기위하여 필요로 되는 새로운 기업 컴퓨팅 패러다임이다. 비즈니스 프로세스 관리의 핵심적인 정보시스템 역할을 수행하는 워크플로우(Workflow)에서의 스케줄링은 정확한 업무 순서를 명세하기 위한 시간적인 제약들에 집중되어 있다. 워크플로우와 BPM과 같은 비즈니스 프로세스에서의 또 하나의 중요한 측면은 자원할당관리이다. 현재 대부분 다양한 자원들을 모델링하는데 초점을 맞추어 왔으며 자원들과 연관된 제약에서의 스케줄링에 대한 관심은 많지 않은 편이었다. 본 논문에서는 First Order Logic 기반의 CTR(Concurrent Transaction Logic)을 이용하여 각 비즈니스 프로세스 스케줄링을 위한 자원할당에 따른 제약들을 논리적인 모형으로 구체화하고, 모형에 필요한 변환 규칙을 소개하고자 한다.

  • PDF

A Fault Tolerant Control for Distributed Programmable Logic Controller System (분산형 PLC 시스템에서의 고장 허용 제어)

  • Jeong, S.K.;Jeong, Y.M.
    • Journal of Power System Engineering
    • /
    • v.8 no.1
    • /
    • pp.62-68
    • /
    • 2004
  • This paper describes a fault tolerant control in distributed PLC(Programmable Logic Controller) system to ensure reliability of controllers which have some faults simultaneously. First, the behavior of PLC is modeled as discrete expressions using Galois field. Then, we design the control laws for additional spare controllers to generate parity code with two dimensions. Finally, the algorithm for estimating normal output instead of abnormal output from the controllers with fault is suggested. Comparing to the traditional duplication method, the suggested method can reduce the number of spare controllers significantly to ensure control reliability. This method will be applied to an automatic system in order to increase reliability. Also, it can improve cost performance of the system.

  • PDF

Vibration Control of Quarter Vehicle ER Suspension System Using Fuzzy Moving Sliding Mode Controller (퍼지이동 슬라이딩모드 제어기를 이용한 1/4차량의 ER현가장치 진동제어)

  • Sung, Kum-Gil;Cho, Jae-Wan;Choi, Seung-Bok
    • Transactions of the Korean Society for Noise and Vibration Engineering
    • /
    • v.16 no.8 s.113
    • /
    • pp.822-829
    • /
    • 2006
  • This paper presents a robust and superior control performance of a quarter-vehicle electrorheological (ER) suspension system. In order to achieve this goal, a moving sliding mode control algorithm is adopted, and its moving strategy is tuned by fuzzy logic. As a first step, ER damper is designed and manufactured for a passenger vehicle suspension system, and its field-dependent damping force is experimentally evaluated. After formulating the governing equation of motion for the quarter-vehicle ER suspension system, a stable sliding surface and moving algorithm based on fuzzy logic are formulated. The fuzzy moving sliding mode controller is then constructed and experimentally implemented. Control performances of the ER suspension system are evaluated in both time and frequency domains.

MULTI-LAYERED PRODUCT KNOWLEDGE MODEL (다중 레이어 기반 제품 지식 모델)

  • Lee J.H.;Suh H.W.
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 2005.06a
    • /
    • pp.65-70
    • /
    • 2005
  • This paper introduces an approach to multi-layered product knowledge model for collaborative engineering environment. The participants in collaborative engineering want to share and reason product knowledge through internet without any heterogeneity and ambiguity. However the previous knowledge models are limited in providing those aspects. In this paper, the collaborative engineering domain is analyzed and then the product knowledge is organized into four levels such as product context model, product specific model, product design model and product manufacturing model. The four levels are represented by first-order logic in layered fashion. The concepts and the instances of a formal ontology are used for recursive representation of the four levels. The instances of the concepts of an upper level like product context model are considered as the concepts of an adjacent lower level like product specific model, and this mechanism is applied to the other levels. These logic representations are integrated with the schema and the instances of a relational database. OWL representation of the four levels is defined through the integration of the logic representation and OWL primitives. The four product knowledge models have their major representation according to the characteristics of each model. This approach enables engineer to share product knowledge through internet without any ambiguity and utilize it as basis for additional reasoning.

  • PDF

Design of a Fuzzy Logic Controller Using Response Surface Methodology (반응표면분석법을 이용한 퍼지제어기 설계)

  • 이세헌
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.9 no.6
    • /
    • pp.591-597
    • /
    • 1999
  • When fuzzy logic controllers which are designed based on plant models and intuitive base are applied to real plants, the control systems may not give satisfactory control results due to the modeling error and the lack of knowledge on the plants. In that case. the controller must be retuned by adjusting the control parameters; this retuning process may require a large number of trial-and-error evaluations and thus much time and cost. In order to resolve these problems, we propose a systematic and efficient procedure for designing a fuzzy logic controller using response surface methodology. First wc select the initial optimal conditions of control parameters using a genetic algorithm, in which a nominal plant model with intrinsic modeling errors is used. And then we determine the tinal optimal conditions of the control parameters using response surface methodology. Computer simulations are performed to verify the capability of the proposed method.

  • PDF

Crash Discrimination Algorithm with Two Crash Severity Levels Based on Seat-belt Status (안전띠 착용 유무에 근거한 두 단계의 충돌 가혹도 수준을 갖는 충돌 판별 알고리즘)

  • 박서욱;이재협
    • Transactions of the Korean Society of Automotive Engineers
    • /
    • v.11 no.2
    • /
    • pp.148-156
    • /
    • 2003
  • Many car manufacturers have frequently adopted an aggressive inflator and a lower threshold speed for airbag deployment in order to meet an injury requirement for unbolted occupant at high speed crash test. Consequently, today's occupant safety restraint system has a weakness due to an airbag induced injury at low speed crash event. This paper proposes a new crash algorithm to improve the weakness by suppressing airbag deployment at low speed crash event in case of belted condition. The proposed algorithm consists of two major blocks-crash severity algorithm and deployment logic block. The first block decides crash severity with two levels by means of velocity and crash energy calculation from acceleration signal. The second block implemented by simple AND/OR logic combines the crash severity level and seat belt status information to generate firing commands for airbag and belt pretensioner. Furthermore, it can be extended to adopt additional sensor information from passenger presence detection sensor and safing sensor. A simulation using real crash data for a 1,800cc passenger vehicle has been conducted to verify the performance of proposed algorithm.