• 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.

• 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.

• 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.

• 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.