• Journal of the Korean Society for Precision Engineering
• /
• v.16 no.5 s.98
• /
• pp.169-174
• /
• 1999

In this paper, the CLQR(Constrained LQR) controller, which considers the actuator saturation in a cross-product term of a given performance index for an automotive active suspension control has been proposed. The effects of actuator saturations have been reflected directly in the states by using the linear relation between the control input and states. The method proposed here is more effective and intuitive compared with the conventional schemes. The CLQR has been applied to designing an automotive active suspension control system to verify its effectiveness and practical aspects.

• Proceedings of the KIPE Conference
• /
• 2005.07a
• /
• pp.283-285
• /
• 2005

Three control strategies that can be applied to a three-phase AC-DC converter under unbalanced input voltage condition are discussed. Analytic solutions are given on the a-b-c frame, and are very simple, direct and Intuitive. All of the strategies guarantee sinusoidal input currents. All the control functions, including decoupled current control and PWM, are implemented on the a-b-c frame. Accordingly, the controller is very simple and robust. The proposal is verified by simulation and experiments on a prototype operating at 15 kHz

• The Journal of Korea Robotics Society
• /
• v.16 no.2
• /
• pp.164-171
• /
• 2021

This paper proposes a continuum mechanism for manually controlled endoscopic surgical instruments. The wire-driven mechanism is typically adapted for endoscopic surgical tools because motors cannot be embedded to the joints due to the size limitation. However, the conventional wire-driven mechanism has inherent problems caused by redundancy, such as deflection and low precision. It does not have operating force and manipulability for surgery. Therefore, a method to increase the force of the continuum mechanism using a multi-wire with simple mechanical structure is proposed. Moreover, for intuitive operation, a hand-controller mechanism that can manipulate the length of the wire without complex process is proposed. Finally, we show that the proposed mechanism and methods are applicable to endoscopic surgical tools through simple experiments.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.15 no.1
• /
• pp.249-256
• /
• 2011

Since various applications is converged in digital televisions, playing game on DTV will be available in the immediate future. Game programming of DTV is more difficult than that of PC in a viewpoint of game development. Since TV use very simple remote controller as user interface, mapping type, choice type, and one-button type are used among mobile game user interfaces. In addition, we suggest to use text class, numeral class, bitmap class, and shape class of DTV OSD middleware which is proven software, instead of developing new DTV-oriented game engine. The proposed interfaces can be applied in various game situations and allow intuitive and fast operations. By using OSD middleware, game actions can be subdivided into state structures, OSD objects can be used as game objects, and events and actions of remote controller keys are easily defined.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.11 no.3
• /
• pp.307-312
• /
• 2018

In this paper, we can confirm the result of intuitive interface software implementation for operating a digital PA(Public Address) controller and the performance of audio mixer control part. Developed user interface software provides the maintaining management and control function of digital hybrid mixer. This SW loaded in the integrated control server controls an sound status of the audio mixer TAD-168M and checks the device status for Public Address integrated system. Also, this SW enables the integrated control and the continuous upgrade. Developed SW is connected to TAD-168M with Ethernet and linked to PC Lan port and the 4-port switch, located in the backside of TAD-168M, by LAN cable for communicating with operating PC. Integrated control including system management, audio control and uplink broadcasting control for broadcasting system will be made available with this novel developed system.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.22 no.12
• /
• pp.1563-1570
• /
• 2018

Internet of Things technology is rapidly becoming a reality in many parts of our lives through various product services, and product development especially in the field of smart home is being actively carried out. Most controllers for controlling various smart home products use smart phone applications. However, smart phone applications are not suitable as smart home controllers, contrary to smart home services that emphasize intelligence and convenience. In order to provide intelligent smart home service, intuitive form of smart home controller is needed, which enables integrated control of smart home device. Therefore, this paper proposes a smart home remote control that can control the Internet devices and services of objects. The proposed smart home remote control provides an environment where users can build a smart home service through the IFTTT(If This Then That) automated service platform.

• Korean Journal of Computational Design and Engineering
• /
• v.18 no.1
• /
• pp.21-27
• /
• 2013

Presented in the paper is a log data based modeling method for effective construction of a virtual plant model which can be used for the virtual PLC (Programmable Logic Controller) simulation. For the PLC simulation, the corresponding virtual plant, consisting of virtual devices, is required to interact with the input and output symbols of a PLC. In other words, the behavior of a virtual device should be the same as that of the real device. Conventionally, the DEVS (Discrete Event Systems Specifications) formalism has been used to represent the behavior a virtual device. The modeling using DEVS formalism, however, requires in-depth knowledge in the simulation area, as well as the significant amount of time and efforts. One of the key ideas of the proposed method is to generate a plant model based on the log data obtained from the production system. The proposed method is very intuitive, and it can be used to generate the full behavior model of a virtual device. The proposed approach was applied to an AGV (Automated Guided Vehicle).

• Journal of the Institute of Electronics and Information Engineers
• /
• v.53 no.4
• /
• pp.149-155
• /
• 2016

This paper presents a control method of a mecanum wheel-based omni-directional electric board using driver weight shift. Instead of a steering device such as a joystick or a remote controller, 3 degree-of-freedom driving command for translational and rotational motion of the omni-directional electric board is generated from position of center of gravity measured from weight distribution. The weight shifting motion is not only a driving command but also an intuitive motion to overcome inertial forces. The overall control structure is presented with experimental results to prove validity of the proposed method.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.6
• /
• pp.235-242
• /
• 2019

This paper proposes a reusable test case extraction technique for modified MATLAB Simulink/Stateflow (SL/SF) model. Creating test cases for complicated SL/SF model like ECU(Electrical Control Unit) of automotive, requires a lot of time and effort. An intuitive way to reduce to create new test cases whenever the model changes, is to reuse some test cases which have been generated for the original model. In this paper, we propose a method to define reusable test cases in SL/SF after defining model behavior and judging model equality by test cases. The proposed technique is evaluated using a commercial automotive controller model.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.3
• /
• pp.211-215
• /
• 2009

As Programmable Logic Controllers (PLCs) are increasingly used to implement safety critical systems such as nuclear instrumentation & control system, formal verification for PLC based programs is becoming essential. This paper proposes a formal verification technique for PLC program implemented with function block diagram (FBD). In order to verify an FBD program, we translate an FBD program into a Verilog model and perform model checking using SMV model checker We developed a tool, FBD Verifier, which translates FBD programs into Verilog models automatically and supports efficient and intuitive visual analysis of a counterexample. With the proposed approach and the tool, we verified large FBD programs implementing reactor protection system of Korea Nuclear Instrumentation and Control System R&D Center (KNICS) successfully.