• Title/Summary/Keyword: First Order Logic

Search Result 176, Processing Time 0.018 seconds

A New Dynamic Residual Generator for Process Fault Detection (프로세스고장검출을 위한 새로운 잔차발생기구)

  • 이기상;이상문
    • The Transactions of the Korean Institute of Electrical Engineers D
    • /
    • v.52 no.10
    • /
    • pp.575-582
    • /
    • 2003
  • A new FDOs (fault diagnostic observers) and the residual generation schemes using the FDOs are suggested for the process fault detection and isolation of linear (control) systems. The design method of the FDO is described, first, for the full measurement systems. Then it is extended for the systems with unmeasurable state variables. An unknown input observer is proposed and applied for the extension. The size of the observer bank may be the smallest, specially in full measurement systems, because the order of the proposed FDO is very low. In spite of the simplicity, the scheme provides the same information for the detection and isolation of the anticipated faults as the conventional multiple observer based schemes. The residuals may be structured so that fault isolation can be performed by pre-selected logic. An FDIS using the proposed scheme is constructed for the model of the four-tank system. Simulation results show the practical feasibility of the proposed scheme.

Fuzzy Modeling and Control of Differential Driving Wheeled Mobile Robot: To Achieve Performance Objective

  • Kang, Jin-Shig
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.3 no.2
    • /
    • pp.166-172
    • /
    • 2003
  • The dynamics of the DDWMR depends on the velocity difference of the two driving wheels. And which is known as a type of non-holonomic equation. By this reason, the treatment of DDWMR had become difficult and conservative. In this paper, the differential-driving wheeled mobile robot is considered. The Takaki-Surgeno fuzzy model and a control method for DDWMR is presented. The suggested controller has three control elements. The first element is fuzzy state feedback designed for eliminating the dependence of time-varying parameter. The second element is weighting controller which is designed for good frequency response. The third controller is PI-controller which is designed for good command following and robustness with un-modeled dynamics. In order for achieving the performance objective, the design of controller is based on the loop-shaping algorithm.

Intelligent Digital Controller Using Digital Redesign

  • Joo, Young-Hoon
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.3 no.2
    • /
    • pp.187-193
    • /
    • 2003
  • In this paper, a systematic design method of the intelligent PAM fuzzy controller for nonlinear systems using the efficient tools-Linear Matrix Inequality and the intelligent digital redesign is proposed. In order to digitally control the nonlinear systems, the TS fuzzy model is used for fuzzy modeling of the given nonlinear system. The convex representation technique also can be utilized for obtaining TS fuzzy models. First, the analog fuzzy-model-based controller is designed such that the closed-loop system is globally asymptotically stable in the sense of Lyapunov stability criterion. The simulation results strongly convince us that the proposed method has great potential in the application to the industry.

Takagi-Sugeno Fuzzy Integral Control for Asymmetric Half-Bridge DC/DC Converter

  • Chung, Gyo-Bum
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.7 no.1
    • /
    • pp.77-84
    • /
    • 2007
  • In this paper, Takagi-Sugeno (TS) fuzzy integral control is investigated to regulate the output voltage of an asymmetric half-bridge (AHB) DC/DC converter; First, we model the dynamic characteristics of the AHB DC/DC converter with state-space averaging method and small perturbation at an operating point. After introducing an additional integral state of the output regulation error, we obtain the $5^{th}$-order TS fuzzy model of the AHB DC/DC converter. Second, the concept of the parallel distributed compensation is applied to design the fuzzy integral controller, in which the state feedback gains are obtained by solving the linear matrix inequalities (LMIs). Finally, simulation results are presented to show the performance of the considered design method as the output voltage regulator and compared to the results for which the conventional loop gain method is used.

The Impact of Delay Optimization on Delay fault Testing Quality

  • Park, Young-Ho;Park, Eun-Sei
    • Journal of Electrical Engineering and information Science
    • /
    • v.2 no.3
    • /
    • pp.14-21
    • /
    • 1997
  • In delay-optimized designs, timing failures due to manufacturing delay defects are more likely to occur because the average timing slacks of paths decrease and the system becomes more sensitive to smaller delay defect sizes. In this paper, the impact of delay optimized logic circuits on delay fault testing will be discussed and compared to the case for non-optimized designs. First, we provide a timing optimization procedure and show that the resultant density function of path delays is a delta function. Next we also discuss the impact of timing optimization on the yield of a manufacturing process and the defect level for delay faults. Finally, we will give some recommendations on the determination of the system clock time so that the delay-optimized design will have the same manufacturing yield as the non-optimized design and on the determination of delay fault coverage in the delay-optimized design in order to have the same defect-level for delay faults as the non-optimized design, while the system clock time is the same for both designs.

  • PDF

Camera Motion Parameter Estimation Technique using 2D Homography and LM Method based on Invariant Features

  • Cha, Jeong-Hee
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.5 no.4
    • /
    • pp.297-301
    • /
    • 2005
  • In this paper, we propose a method to estimate camera motion parameter based on invariant point features. Typically, feature information of image has drawbacks, it is variable to camera viewpoint, and therefore information quantity increases after time. The LM(Levenberg-Marquardt) method using nonlinear minimum square evaluation for camera extrinsic parameter estimation also has a weak point, which has different iteration number for approaching the minimal point according to the initial values and convergence time increases if the process run into a local minimum. In order to complement these shortfalls, we, first propose constructing feature models using invariant vector of geometry. Secondly, we propose a two-stage calculation method to improve accuracy and convergence by using homography and LM method. In the experiment, we compare and analyze the proposed method with existing method to demonstrate the superiority of the proposed algorithms.

Fuzzy sliding-mode control of a human arm in the sagittal plane with optimal trajectory

  • Ardakani, Fateme Fotouhi;Vatankhah, Ramin;Sharifi, Mojtaba
    • ETRI Journal
    • /
    • v.40 no.5
    • /
    • pp.653-663
    • /
    • 2018
  • Patients with spinal cord injuries cannot move their limbs using their intact muscles. A suitable controller can be used to move their arms by employing the functional electrical stimulation method. In this article, a fuzzy exponential sliding-mode controller is designed to move a musculoskeletal human arm model to track an optimal trajectory in the sagittal plane. This optimal arm trajectory is obtained by developing a policy for the central nervous system. In order to specify the optimal trajectory between two points, two dynamic and static optimal criteria are applied simultaneously. The first dynamic objective function is defined to minimize the joint torques, and the second static optimization is offered to minimize the muscle forces at each moment. In addition, fuzzy logic is used to tune the sliding-surface parameter to enable an appropriate tracking performance. Simulation results are evaluated and compared with experimental data for upward and downward movements of the human arm.

A topology-based circuit partitioning for field programmable circuit board (Field programmable circuit board를 위한 위상 기반 회로 분할)

  • 최연경;임종석
    • Journal of the Korean Institute of Telematics and Electronics C
    • /
    • v.34C no.2
    • /
    • pp.38-49
    • /
    • 1997
  • In this paper, w describe partitioning large circuits into multiple chips on the programmable FPCB for rapid prototyping. FPCBs consists of areas for FPGAs for logic and interconnect components, and the routing topology among them are predetermined. In the partition problem for FPCBs, the number of wires ofr routing among chips is fixed, which is an additonal constraints to the conventional partition problem. In order to deal with such aconstraint properly we first define a new partition problem, so called the topologybased partition problem, and then propose a heuristic method. The heuristic method is based on the simulated annealing and clustering technique. The multi-level tree clustering technique is used to obtain faster and better prtition results. In the experimental results for several test circuits, the restrictions for FPCB were all satisfied and the needed execution time was about twice the modified K-way partition method for large circuits.

  • PDF

A Study on Embodiment of Evolving Cellular Automata Neural Systems using Evolvable Hardware

  • Sim, Kwee-Bo;Ban, Chang-Bong
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.11 no.8
    • /
    • pp.746-753
    • /
    • 2001
  • In this paper, we review the basic concept of Evolvable Hardware first. And we examine genetic algorithm processor and hardware reconfiguration method and implementation. By considering complexity and performance of hardware at the same time, we design genetic algorithm processor using modularization and parallel processing method. And we design frame that has connection structure and logic block on FPGA, and embody reconfigurable hardware that do so that this frame may be reconstructed by RAM. Also we implemented ECANS that information processing system such as living creatures'brain using this hardware reconfiguration method. And we apply ECANS which is implemented using the concept of Evolvable Hardware to time-series prediction problem in order to verify the effectiveness.

  • PDF

Fuzzy Speed Regulator based on a Fuzzy Acceleration Observer for Vector Control of Permanent Magnet Synchronous Motors (영구자석 동기전동기의 벡터 제어를 위한 퍼지 각가속도 관측기 기반의 퍼지 속도제어기)

  • Jung, Jin-Woo
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.60 no.2
    • /
    • pp.330-337
    • /
    • 2011
  • This paper presents a new fuzzy speed controller based on a fuzzy angular acceleration observer to realize a robust speed control of permanent magnet synchronous motors(PMSM). The proposed speed controller needs the information of the angular acceleration, thus the first-order fuzzy acceleration observer is designed. The LMI existence condition is given for the proposed fuzzy speed controller, and the gain matrices of the controller are calculated. It is verified that the augmented control system consisting of the fuzzy speed controller and the fuzzy acceleration observer is mathematically stable. To validate the effectiveness of the proposed acceleration observer-based fuzzy speed controller, the simulation and experimental results are shown under motor parameter variations. It is definitely proven that the proposed control scheme can precisely track the speed of a permanent magnet synchronous motor.