• Journal of Intelligence and Information Systems
• /
• v.11 no.3
• /
• pp.25-43
• /
• 2005

In modern automated container terminals, automated guided vehicle (AGV) systems are considered a viable option for the horizontal tansportation of containers between the stacking yard and the quayside cranes. AGVs in a container terminal move rather freely and do not follow fixed guide paths. For an efficient operation of such AGVs, however, a sophisticated traffic management system is required. Although the flexible routing scheme allows us to find the shortest possible routes for each of the AGVs, it may incur many coincidental encounters and path intersections of the AGVs, leading to collisions or deadlocks. However, the computational cost of perfect prediction and avoidance of deadlocks is prohibitively expensive for a real time application. In this paper, we propose a traffic control method that predicts and avoids some simple, but at the same time the most frequently occurring, cases of deadlocks between two AGVs. More complicated deadlock situations are not predicted ahead of time but detected and resolved after they occur. Our method is computationally cheap and readily applicable to real time applications. The efficiency and effectiveness of our proposed methods have been validated by simulation.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2007.12a
• /
• pp.226-227
• /
• 2007

Significant increase of container flows in marine terminals requires more efficient automatic port systems. This paper presents a novel routing and collision avoidance algorithm of linear motor based shuttle cars using random access sequence dynamic programming (RAS DP). The proposed RAS DP is accomplished online for determining optimal paths for each shuttle car.

• Journal of Communications and Networks
• /
• v.16 no.4
• /
• pp.385-396
• /
• 2014

In this paper, we present a formal method for modeling and checking an enhanced version of the carrier sense multiple access with collision avoidance protocol related to the IEEE 802.11 MAC layer, which has been proposed as the standard protocol for wireless local area networks. We deal mainly with the distributed coordination function (DCF) procedure of this protocol throughout a sequence of transformation steps. First, we use the unified modeling language state machines to thoroughly capture the behavior of wireless stations implementing a DCF, and then translate them into the input language of the UPPAAL model checking tool, which is a network of communicating timed automata. Finally, we proceed by checking of some of the safety and liveness properties, such as deadlock-freedom, using this tool.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.18 no.5
• /
• pp.592-598
• /
• 2008

This paper presents collision prediction and avoidance method for AGVS (Automatic Guide Vehicle System). Also, we propose the PO(Right of Path Occupying) with decentralized delay time for collision avoidance. Classified essential element of AGV's working environment is modeled in this paper. Using this model, we propose a new shortest path algorithm using A* search algorithm and obtain the information on AGVs travel time, coordinates and rotation vector. Finally, we use the AGVs information data as input for simulation program. The simulation practice is used in order to evaluate a collision prediction and avoidance, and it has been presented to demonstrate the applicability of the minimize delay time.

• International Journal of Computer Science & Network Security
• /
• v.21 no.7
• /
• pp.331-340
• /
• 2021

The Internet of Things (IoT) is a rapidly growing physical network that depends on objects, vehicles, sensors, and smart devices. IoT has recently become an important research topic as it autonomously acquires, integrates, communicates, and shares data directly across each other. The centralized architecture of IoT makes it complex to concurrently access control them and presents a new set of technological limitations when trying to manage them globally. This paper proposes a new decentralized access control architecture to manage IoT devices using blockchain, that proposes a solution to concurrency management problems and enhances resource locking to reduce the transaction conflict and avoids deadlock problems. In addition, the proposed algorithm improves performance using a fully distributed access control system for IoT based on blockchain technology. Finally, a performance comparison is provided between the proposed solution and the existing access management solutions in IoT. Deadlock detection is evaluated with the latency of requesting in order to examine various configurations of our solution for increasing scalability. The main goal of the proposed solution is concurrency problem avoidance in decentralized access control management for IoT devices.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.751-754
• /
• 2007

본 연구에서는 유연생산시스템에서의 교착상태 확인 및 회피 알고리즘을 추이적 행렬을 이용하여 제안한다. 추이적행렬은 플레이스와 플레이스간의 관계를 표현함으로 마킹의 흐름을 플레이스와 트랜지션간의 관계형에서 상태와 상태간의 관계를 표현함으로 상태의 변화 검증에 편리하다. 교착상태 확인 및 회피 알고리즘을 제시하고, 기존에 발표되어진 siphon과 DAPN알고리즘간의 비료 검토를 통하여 제안한 알고리즘의 유용성을 검증하였다.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1833-1834
• /
• 2008

본 논문에서는 다수의 AGV를 운용하는 물류자동화창고에서 최단경로가 배정된 AGV의 주행도중 발생하는 충돌 및 교착 상태를 예측하고 이를 회피하는 알고리즘을 개발하고자 한다. 충돌 및 교착 상태는 최단 경로와 경로 점유시간을 비교함으로써 예측하고 이를 경로 선입에 따른 우선권 및 지연시간에 따른 우선권에 따라 회피할 AGV를 선정함으로써 충돌 회피에 따른 AGV의 총 운행시간을 최소화한다.

• Journal of Korean Society of Transportation
• /
• v.12 no.3
• /
• pp.49-64
• /
• 1994

The development of a mathematical modular framework based on Petri Network theory to model a traffic network is the subject of this paper. Traffic intersections are the primitive elements of a transportation network and are characterized as event driven and asynchronous systems. Petri network have been utilized to model these discrete event systems; further analysis of their structure can reveal information relevant to the concurrency, parallelism, synchronization, and deadlock avoidance issuse. The Petri-net based model of a generic traffic junction is presented. These modular networks are effective in synchronizing their components and can be used for modeling purposes of an asynchronous large scale transportation system. The derived model is suitable for simulations on a multiprocessor computer since its program execution safety is secured. The software pseudocode for simulating a transportation network model on a multiprocessor system is presented.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2005.05a
• /
• pp.103-112
• /
• 2005

자동화 컨테이너 터미널의 생산성을 향상시키기 위해서는 장치장과 안벽 사이를 오가며 컨테이너를 운반하는 무인유도 차량(Automated Guided Vehicle: AGV)들이 효율적으로 주행하여 제 시간에 필요한 위치에 도착함으로써 연계 작업들의 지연을 최소화하여야 한다, 만일 AGV들이 목적지까지 주행하여야 하는 거리가 길거나 주행 중에 다른 AGV들과의 충돌이나 교축을 피하기 위하여 대기하여야 하는 상황이 빈번히 발생하면 주행 효율이 떨어지게 된다, 주행 경로의 길이를 줄이기 위하여 경로들을 보다 유연하게 설정할 수 있게 허용하면 경로들간의 교차 가능성이 높아져 교통 통제가 어려워지고 결과적으로 충돌과 교착이 발생할 가능성은 높아진다. 특히 교착을 사전에 방지하기 위하서는 문제가 발생할 소지가 있는 영역을 미리 파악하여 일부 영역을 다른 AGV들이 점유하지 못하도록 제한하여야 하는데, 이는 자칫 AGV 주행 공간의 활용도를 떨어뜨릴 수 있다. 또한 교착의 파악과 이를 방지하기 위한 제어는 실시간에 이루어져야 하므로 연산 부담이 상당하다. 본 논문에서는 유연한 주행 경로 설정이 가능하며 주행 공간을 효율적으로 활용할 수 있는 주행 경로 표현법과 충돌 방지 방안을 제안한다. 또한 교착 발생 가능성을 사전에 파악하고 회피(avoidance)하는데 소요되는 연산비용을 줄여 실시간 적용 가능성을 높이기 위하여 교착해결(deadlock resolution)에 기반을 둔 AGV 주행 관리 방안을 제시한다. 본 논문에서 제안하는 방안의 효율성을 시뮬레이션을 통하여 검증해 보았다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.8
• /
• pp.2484-2496
• /
• 2000

High speed switches have been developing to interconnect a large number of nodes. It is important to analyze the switch performance under various conditions to satisfy the requirements. Queueing analysis, in general, has the intrinsic problem of large state space dimension and complex computation. In fact, The petri net is a graphical and mathematical model. It is suitable for various applications, in particular, manufacturing systems. It can deal with parallelism, concurrence, deadlock avoidance, and asynchronism. Currently it has been applied to the performance of computer networks and protocol verifications. This paper presents a framework for modeling and analyzing ATM switch using stochastic activity networks (SANs). In this paper, we provide the ATM switch model using SANs to extend easily and an approximate analysis method to apply A TM switch models, which significantly reduce the complexity of the model solution. Cell arrival process in output-buffered Queueing A TM switch with finite buffer is modeled as Markov Modulated Poisson Process (MMPP), which is able to accurately represent real traffic and capture the characteristics of bursty traffic. We analyze the performance of the switch in terms of cell-loss ratio (CLR), mean Queue length and mean delay time. We show that the SAN model is very useful in A TM switch model in that the gates have the capability of implementing of scheduling algorithm.