• Journal of Korea Game Society
• /
• v.4 no.2
• /
• pp.13-20
• /
• 2004

We have been interested in solving escapee-chaser game. In this game, with avoiding chaser, the escapee must escape from given male. The winning strategies of the escapee are driving the chaser to an intended place and closely evading from chaser by using some walls. According to our experience, some stages of the game are too difficult to solve manually. So we take the model checking method to get a solution of the game. Because the model checking with breadth fist search manner exhaustively searches the all state space of the game, the solution using model checking is best solution, shortest path. Fortunately, during the process of finding solution path, the state space explosion problem didn't occur, and the results of the game solving was applied to embedded system, Lego Mindstorm. Two agents, escapee and chaser, were implemented into robots and several experiments conformed the correctness of our solution.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.16 no.2
• /
• pp.162-172
• /
• 2011

This paper proposes embedded System of two wheeled inverted pendulum robot designed by model based design method, using MATLAB/SIMULINK and LEGO NXT Mindstorms. At first, stability and performance of controller is verified through modeling and simulation. After that direct conversion from simulation model to C code is carried and effectiveness of controller is experimentally verified. Two wheeled inverted pendulum robot has basic function about autonomous balancing control using principle of inverted pedulum and it is also possible to arrive at destination. In this paper, state feedback controller designed by quadratic optimal control method is used. And quadratic optimal control uses state feedback control gain K to minimize performance index function J. Because it is easy to find gain, this control method can be used in the controller of two wheeled inverted pendulum robot. This proposed robot system is experimentally verified with following performances - balancing control, disturbance rejection, remote control, line following and obstacle avoidance.

• Proceedings of the Korea Contents Association Conference
• /
• 2009.05a
• /
• pp.146-151
• /
• 2009

A reward of the work which used physical computing in fields artistic modern installation is becoming large. But the example that used a robot cannot try to easily look it up on a tool of the drawing which isn't robot use for interaction. I will mention it about a user and a drawing system design and the developmental process which I can communicate with at these papers. I used a Mindstorm NXT system to have been said in Lego companies in the robot which composed working environment, and I classified it to virtual environments that I forecasted environmental actual drawing this, and I did simulate. I used an Icommand library to control a NXT system, and drawing used a processing library in actual environments for the purpose of in order to to express to virtual environment. I got image information, and I expressed to a vector method SVG file to bases for line drawing. This system can have already made it according to demand of a user as real-time communication is possible by bluetooth working together. These figures can work to one performance not being stopping to the results of already in processes doing drawing.

• The KIPS Transactions:PartA
• /
• v.13A no.6 s.103
• /
• pp.481-488
• /
• 2006

FRP(Functional Reactive Programming) is a kind of embedded language in Haskell, it declaratively program reactive system based on two essential high-order types named behavior and events. This Paper design and implementation RT-FRP(Real-time Functional Reactive Programming) translator for using FRP in embedded systems with many constraints. The RT-FRP translator generates a C Program from an RT-FRP program according to the operational semantics of the RT-FRP language. To show the effectiveness of the RT-FRP translator, we loaded and executed the test program generated by the translator onto a real embedded system, LEGO Mindstorm. According to the experimental result, the reactive system software can be programmed more concisely using RT-FRP than using an imperative counter part although the size of the binary code is rather increased.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2011.05a
• /
• pp.298-299
• /
• 2011

최근 스마트폰의 수요증가와 대중화로 인하여 스마트폰을 활용한 다양한 연구가 진행 되고 있다. 이중 항만 물류 하역 시스템에도 스마트폰과 관련된 관심이 높아져 스마트폰을 이용한 다양한 서비스를 지원하고 그에 따른 다양한 프로젝트도 진행 중에 있다. 항만 물류 시스템은 중앙관리실에서 자동화된 시스템으로 관리되고 있으며 이중 하역장비 운용은 관리자가 중앙 관리실에서 원격으로 제어 하고 있다. 이는 관리자가 자리에 위치해 있어야만 관리가 가능하기 때문에 관리자의 이동성을 보장 하지 못한다. 따라서 본 논문에서는 스마트폰으로 하역장비를 원격제어 할 수 있도록 하여 관리자의 이동성을 보장하고 보다 효율적인 작업이 가능하도록 설계하였다. 또한 이를 테스트 해보기 위해 항만 하역장비 원격제어 시스템을 Lego_NXT를 이용하여 프로토타입으로 제시한다.

• Journal of The Korean Association of Information Education
• /
• v.11 no.2
• /
• pp.231-241
• /
• 2007

With a focus on LabView language to program Lego Mindstoms Robot in afterschool class to help children develop their special ability and aptitude. The purpose of this research was to make proposal for programming learning method using a robot as an algorithm learning tool to improve creative problem solving ability. To do this, robot programming training program in the amount of 30th period and teaching aids thereof were developed, and 6th grade primary school children were taught up to 30th period, then after, they were evaluated accordingly. Results from analysis of evaluation of achievement level with a focus on outcomes according to each period revealed that learners understood most of contents of curriculum. In view of such results from evaluation, it is judged that the curriculum as well as teaching aids that devised and created have been constituted in order that school children will be able to have developed a shared understanding of their learning sufficiently, and to put it into practice easily. Through these hands-on experiences in the course of researches, researcher could have confirmed the possibility of success for robot-programming training class as new creative algorithm learning tool in the primary school curriculum.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.11 no.6
• /
• pp.207-214
• /
• 2011

In this paper, using Zigbee-based wireless sensor networks and Lego MindStorms NXT robot, a remote monitoring and navigation system for mobile robot has been developed. Mobile robot can estimate its position using encoder values of its motor, but due to the existing friction and shortage of motor power etc., error occurs. To fix this problem and obtain more accurate position of mobile robot, a ultrasound module on wireless sensor networks has been used in this paper. To overcome disadvantages of ultrasound which include straightforwardness and narrow detection coverage, we rotate moving node attached to mobile robot by $360^{\circ}$ to measure each distance from four fixed nodes. Then location of mobile robot is estimated by triangulation using measured distance values. In addition, images are sent via a network using a USB Web camera to smart phone. On smart phones we can see location of robot, and images around places where robot navigates. And remote monitoring and navigation is possible by just clicking points at the map on smart phones.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.48 no.1
• /
• pp.108-115
• /
• 2011

Virtual Robot Education System (VRES), which is for programming education with a Lego Mindstorm NXT robot, is designed and implemented. Through this system, program learners can edit source code, compile, download it into the robot, and run their executive program. In order to observe it, the system includes web cameras and provide monitoring services. Thus, students are able to verify the operation of robot into which they download their program in detail and to debug if necessary. In addition, we design a new simple user-friendly programming language and a corresponding compiler for it. With those tools, learner can more easily create programs for NXT robot and test them than Java language. A educator can control and manage the robot for the subject of a class with direct control mode of our system. Therefore, the proposed system is able to support students to learn robot programming during or after regular classes with web browsers through Internet.