• 제목/요약/키워드: Deadlock avoidance

검색결과 30건 처리시간 0.023초

순차상태전이금지(FSSTP)를 이용한 교착상태 관리제어를 위한 재구성 방법 (Reconfiguration method for Supervisor Control in Deadlock status Using FSSTP(Forbidden Sequence of State Transition Problem))

  • 송유진;이은주;이종근
    • 제어로봇시스템학회논문지
    • /
    • 제14권3호
    • /
    • pp.213-220
    • /
    • 2008
  • The object of this paper is to propose a method to deal with the problem of modeling user specifications in approaches based on supervisory control and Petri nets. However, most of Petri Net approaches are based on forbidden states specifications, and these specifications are suitable the use of tool such as the reachability graph. But these methods were not able to show the user specification easily and these formalisms are generally limited by the combinatorial explosion that occurs when attempting to model complex systems. Herein, we propose a new efficient method using FSSTP (Forbidden Sequences of State-Transitions Problem) and theory of region. Also, to detect and avoid the deadlock problem in control process, we use DAPN method (Deadlock Avoidance Petri nets) for solving this problem in control model.

레일기반 컨테이너 이송 시스템의 교착에 관한 시뮬레이션 연구 (A Simulation Study on the Deadlock of a Rail-Based Container Transport System)

  • 서정훈;이상혁;김갑환
    • 한국항해항만학회지
    • /
    • 제42권1호
    • /
    • pp.47-56
    • /
    • 2018
  • 초대형선박의 등장으로 컨테이너 터미널 생산성의 한계에 직면하고 있으며 이를 해결하기 위한 새로운 개념의 터미널시스템들이 제안되고 있다. 본 논문에서는 개념설계 중인 레일기반 컨테이너 이송시스템을 대상으로 연구한다. 이는 레일 위를 움직이는 무인반송차인 플랫카와 천장형 레일을 따라 움직이는 셔틀크레인으로 구성된 시스템이다. 자동화된 컨테이너 터미널에서 컨테이너 수송 기능을 담당하는 무인반송차의 운영 시 교착과 같은 병목현상은 오랫동안 중요한 문제로 잘 알려져 있다. 따라서 초대형 선박과 같이 대량의 컨테이너 취급하는 신개념의 레일기반 컨테이너 이송시스템에서 발생 가능한 교착 현상을 정의하고 해결방안에 대해 논한다. 교착 현상은 이종장비 간 교착과 플랫카 간 교착문제로 구분하여 소개한다. 본 연구는 시뮬레이션 접근법을 사용하여 레일기반 컨테이너 시스템 모델을 개발한다. 개발된 시뮬레이션 모델의 실행을 통하여 수송구간에서 발생 가능한 교착 상태를 확인하고 이를 해소하기 위한 교착 회피 규칙을 개발한다. 시뮬레이션 실험을 통하여 교착발생 빈도를 기준으로 교착 회피 규칙들의 성능을 비교한다.

시뮬레이티드 어닐링 기반 m-RUN 교착 회피 정책 생성 알고리즘 설계 (Design of an Algorithm for Generating m-RUN Deadlock Avoidance Policy Based on Simulated Annealing)

  • 최진영
    • 한국시뮬레이션학회논문지
    • /
    • 제20권4호
    • /
    • pp.59-66
    • /
    • 2011
  • 본 연구에서는 시뮬레이티드 어닐링 알고리즘에 기반한 다중 RUN(multi-RUN: m-RUN) 교착 제어 정책 생성 알고리즘 설계에 대해 제안하였다. 이 방법은 단순한 RUN DAP를 m개 생성한 후 이들의 합성에 의해 초기 m-RUN DAP를 정의하고 이를 점차적으로 개선시켜 나가는 것이다. 이 때 이웃(Neighbor) m-RUN은 현재 m-RUN에서 오직 한 개의 성분 RUN만을 랜덤하게 수정하여 생성하는 지역 탐색 기법을 적용하여 선택하였다. 또한 몇 가지 기본적인 시스템 구성을 가정하고 수치 실험을 적용하여 제안된 교착 제어 정책 성능의 우수성을 평가하였다.

FMS에서의 Deadlock 탐지와 방지에 관한 연구

  • 임동순
    • 대한산업공학회지
    • /
    • 제20권1호
    • /
    • pp.53-69
    • /
    • 1994
  • Deadlock in flexible manufacturing systems (FMS) which refers to the stop state of job flow in the system can be commonly occurred in operating FMS. This state mainly due to bad movements of jobs and commonly job routings should be avoided to maximize the utilization of high-capital resources in this study, the deadlock generated from the conflict between flow objects competing to occupy space resources in FMS is investigated. Capacity Designated Directed Graph (CDG) is constructed to represent the space resources and flow object routings. From the characteristics of CDG, an algorithm for the detection of the deadlock possibility is proposed. Finally two deadlock avoidance rule are proposed and implemented in the control on Automated Guided Vehicle system in an FMS.

  • PDF

자동화 컨테이너 터미널에서 AGV 교착 방지와 회귀 분석을 이용한 경로 선정 방안 (A Deadlock A voidance Method and a Regression-Based Route Selection Scheme for AGV s in Automated Container Terminals)

  • 전진표;류광렬;윤항묵
    • 한국항해항만학회지
    • /
    • 제29권8호
    • /
    • pp.723-733
    • /
    • 2005
  • 본 논문은 AGV 주행 영역을 그리드 단위로 나누어 관리하는 자동화 컨테이너 터미널에서 AGV들 간의 교착을 방지할 수 있는 방안과 목적지까지의 예상 소요 시간이 짧은 경로를 효율적으로 선정할 수 있는 방안을 함께 제안한다. AGV들 간의 교착을 방지하기 위하여 그리드를 노드로 하여 AGV 주행 중 점유 순서의 선후를 연결한 그래프에서 교착 발생 가능성이 있는 강결합 요소를 파악한다. 운행 시에는 강결합 요소에 해당되는 그리드들에 AGV들이 진입하는 것을 통제함으로써 교착 발생을 방지한다. 이와 함께 AGV들 간의 간섭에 의한 지연까지 고려하여 목적지에 보다 일찍 도착할 수 있는 경로를 실시간에 추정할 수 있도록 주행 소요 시간을 추정할 수 있는 회귀 분석 함수를 생성하고 활용하는 방안을 함께 소개한다. 제안한 방안을 시뮬레이션 한 실험 결과 48시간동안 교착 발생 없이 AGV들을 운행할 수 있었으며, 회귀분석 함수를 이용하여 선정한 경로 이용 시 QC별 AGV 방문 횟수를 $2\~10$회 향상시킬 수 있었다.

패트리 넷에서의 교착 상태 확인 알고리즘 성능분석 (An Performance Evaluation of the Deadlock Detection Algorithm in Petri Nets)

  • 김종욱;이종근
    • 한국시뮬레이션학회논문지
    • /
    • 제18권1호
    • /
    • pp.9-16
    • /
    • 2009
  • 본 연구에서는 교착상태 확인 알고리즘의 성능분석을 위하여 사이폰(siphon) 알고리즘, DAPN알고리즘과 추이적 행렬 알고리즘을 상호 비교한다. 이를 위하여 비교 모델을 설정하여 각 알고리즘을 활용한 결과를 복잡도, 이해도 그리고 신속성 등의 3가지 함수를 이용하여 성능을 분석한다. 서로 다른 개념의 알고리즘을 비교분석에 한계성이 있으나, 동일한 모델에 적용하여 그 효율성을 비교 분석하여 각 알고리즘의 특성들을 분석한다.

A Deadlock Avoidance Method for Concurrent Part Flows in Flexible Manufacturing Cell

  • Chang-Ouk Kim;Kyung-Sik Kang
    • 산업경영시스템학회지
    • /
    • 제19권39호
    • /
    • pp.193-204
    • /
    • 1996
  • 본 연구는 FMC(Flexible Manufacturing Cell)에 있어 상호 간섭이 없는 부품의 흐름을 제어하기 위한 교착제거방법(Deadlock Avoidance Method)에 대한 제안으로서, 이 방법이 주요한 장점은 첫째, FMC의 환경을 쉽게 적용시킬 수 있고 둘째, 공정상의 부품에 대한 dispatching 모듈이 협력하도록 설계되어 있다는 것이다. 교착제거방법은 두 개의 모듈로 구성되어 있는데 이는 순환발견알고리즘(A Cycle Detection Algorithm)과 원료주문 정책으로서, 특이할 만한 사항은 순환발견알고리즘을 채용하더라도 원료주문정책이 잘못될 수 있기 때문에 교착제거방법에 있어서 원료주문정책은 매우 중요하다는 것이다. 이를 위하여 교착전의 N-step 교착을 제거하고, 발견할 수 있는 교착제거방법과 N-step의 사전주무정책을 제시하였다.

  • PDF

이동 로봇의 자율주행을 위한 목표점 지향 반사 주행 방식 (On a Goal-Directed Reactive Navigation Method for a Mobile Robot)

  • 오용환;윤도영;오상록;박귀태
    • 대한전기학회논문지:시스템및제어부문D
    • /
    • 제53권4호
    • /
    • pp.246-257
    • /
    • 2004
  • This paper proposes two contributions. One is an analysis for the limit of the subject of goal-directed reactive robot navigation, and the other is an effective navigation method employing the scheme of the subject. The analysis for the subject is presented in order to clarify the limit of the method. On the basis of the analysis, a safety-guaranteeing and deadlock-free reactive navigation method is newly proposed. The proposed method has a simple behavior-based frame such that it can make the required navigation tasks such as obstacle avoidance, deadlock resolving, and etc. with a very small set of behaviors in entirely unknown environments such as a living room, an office, and etc. Some results of experiments show these validities.

유한용량 Flexible Manufacturing Systems(FMS) 스케줄링 문제에 대한 효율적인 탐색 알고리즘 연구 (An Efficient Search Algorithm for Flexible Manufacturing Systems (FMS) Scheduling Problem with Finite Capacity)

  • 김황호;최진영
    • 산업공학
    • /
    • 제22권1호
    • /
    • pp.10-16
    • /
    • 2009
  • In this paper, we propose an efficient search algorithm for finding an optimal schedule to minimize makespan, while avoiding deadlock situation in Flexible Manufacturing Systems (FMS) with finite capacity, in which each job needs to be processed in several job stages for completion. The proposed algorithm uses a modeling and control method based on Petri-net. Especially, we improve the efficiency of the search algorithm by using a priority rule and an efficient bounding function during the search procedure. The performance of the proposed algorithm is evaluated through a numerical experiment, showing that it holds considerable promise for providing an optimal solution efficiently comparing to past work.

컨테이너용 AGV의 작업할당과 동적 경로계획 (Job Deployment and Dynamic Routing for Container-AGVs)

  • 소명옥;이현식;진강규
    • Journal of Advanced Marine Engineering and Technology
    • /
    • 제29권4호
    • /
    • pp.369-376
    • /
    • 2005
  • In recent years, AGVs(Automated Guided Vehicles) have received growing attention as a subsystem of the integrated container operating system which enables unmanned control. improvement of job reliability, accuracy and productivity. Therefore, a number of works have been done to enhance the performance AGVs. In this paper. job deployment and a dynamic routing control system composed of supervisor, traffic controller. motion controller and routing table are discussed. A simple job deployment scheme and an efficient dynamic routing algorithm incorporating with the deadlock prediction and avoidance algorithm are investigated.