• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1991년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 22-24 Oct. 1991
• /
• pp.476-481
• /
• 1991

This paper investigates the relationship between the two problems, supervisor reduction and observation function (projection) design, which arise in supervisory control of DEDS. It is shown through an example that a reduced supervisor of minimal size does not necessarily result in a maximal projection when a projection design method which uses the transition structure of a supervisor is applied. Also, if an L-realizable projection P is available and if a supervisor has a special structural feature, a cover C for supervisor reduction can be easily obtained. By investigating the control-compatibility of states of the reduced supervisor based on C, we can also check maximality of P in a simple manner.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.318-323
• /
• 1993

The paper discusses the problem of computing coarser observation functions in supervisory control of discrete event systems. It is shown that when a supervisor that realizes a given language L has certain properties, L-realizability of a coarser observation function is equivalent to control-compatibility of the states in some subsets of the state space of the supervisor. This characterization is then used to devise an iterative procedure of computing coarser L-realizable observation functions, where supervisor reduction and L-realizability verification of an observation function are performed at each iteration.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.73.5-73
• /
• 2001

In this paper, we present a procedure to design the robust optimal supervisor which has the minimal cost in the sense of average for a given multiple-modelled discrete event system DES. In order to design the robust optimal supervisor, we extend the optimal supervisor design algorithm for a deterministic DES to the case of multiple-modelled DESs. In addition, using the proposed algorithm with modified costs of events and penalities of states, we can show whether a robust supervisor for a given multiple-modelled DES exists and design the minimally restricted robust supervisor.

• 해양환경안전학회지
• /
• 제24권1호
• /
• pp.43-55
• /
• 2018

세월호 사고 이후 내항선 안전관리분야에서의 가장 큰 변화는 해사안전감독관 제도의 도입이라 할 수 있다. 이 제도의 도입으로 내항여객선의 안전관리는 운항관리자와 해양경찰로부터 운항관리자와 새로이 도입된 해사안전감독관으로 변경되었다. 또한 내항화물선의 안전관리도 선박검사관으로부터 해사안전감독관과 선박검사관에 의한 안전관리의 체계로 전환되었다. 그러나 새로이 도입된 이 제도는 전문임기제에 따른 감독관의 신분상의 불안으로 인한 업무연속성 부족, 감독대상의 현실을 무시한 감독관의 자격요건 설정, 내항화물선에 대한 심사와 지도 감독기관의 분리로 인한 업무혼선 및 감항성 확보를 위한 항행정지 개선명령 분야의 한계 등에 대한 문제점이 여전히 남아 있다. 내항선의 안전관리를 보다 강화하기 위해서는 내항선 안전관리 업무를 실질적으로 수행하고 있는 해사안전 감독관 제도의 정착이 필수적이라 아니할 수 없다. 따라서 이러한 문제점을 개선하기 위해서는, 내항화물선에 대해서 통합된 단일기관에 의한 체계적인 안전관리가 이루어져야 하며, 전문임기제인 감독관의 신분상의 제약에 대한 개선이 동시에 이루어져야 한다. 또한 항행정지 개선명령의 분야를 확대하고, 선장 기관장 및 국제선급의 검사원 경험자 위주로 감독관의 자격을 강화해서 보다 체계적이고 실질적인 내항선의 안전관리가 되도록 해야 할 것이다.

• 해양환경안전학회:학술대회논문집
• /
• 해양환경안전학회 2017년도 추계학술발표회
• /
• pp.6-7
• /
• 2017

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.785-788
• /
• 2007

본 연구는 Ramadege 와 Wonham 의 Supervisor Control 을 기반으로 한다. 초기 이 이론은 오토마타를 이용하여 모델링 하였으며, 많은 연구가 활발하게 이루어져왔다. 그러나, 유한 오토마타는 병렬처리 및 동기화, 자원공유를 모델링하기 어렵다는 단점이 있다. 유한 오토마타를 기반으로 한 연구는 일반적으로 복잡한 시스템을 모델링 할 때 발생하는 결합 폭발성에 의한 제한성이 있다. 반면, 패트리 넷은 병렬처리나 동기화에 대한 모델링을 하기에 보다 더 강력한 도구이지만, 패트리 넷을 이용한 통합법은 아직까지 광범위하게 연구되지는 않았다. 따라서, 본 연구에서는 공장설비(plant)모델과 이 설비에 대해 사용자가 원하는 작업을 명시한 사용자 설계명세 (user specifications)모델을 패트리 넷을 이용하여 모델링하는 방법을 제안한다. 본 연구는 사용자 설계명세에 관련한 폐쇄 회로 패트리 넷(closed-loop PN)을 획득하고자 원시 공장설비 모델에 제어 플래이스(control place)를 추가하는 통합을 실행하기 위한 방법으로 Ghaffari의 영역 이론(Theory of Region )을 이용하여 연구개발 하였다

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 추계학술대회 논문요약집
• /
• pp.182-182
• /
• 2003

• 제어로봇시스템학회논문지
• /
• 제6권6호
• /
• pp.478-485
• /
• 2000

A discrete event systems (DES) is a physical system that is discrete in time and state space, asynchronous (event rather than clock-driven), and in some sense generative(or nondeterministic). This paper presents the design of fifteen modular supervisors to control an experimental CIM testbed. These supervisors are nonblocking, controllable and nonconflicting. After verification of the supervisors by simulation, the supervisors for AGV system have been implemented to demonstrate their efficacy.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.411-413
• /
• 1997

This paper presents the problem of fault-tolerant robust supervisory control of timed discrete event systems (DESs). First the concept of faults is quantitatively defined in timed DESs and fault tolerable event sequences are presented as a desired legal language. Given a timed DES with model uncertainty, the conditions for the existence of a supervisor which always guarantees fault tolerable event sequences embedded in the system are derived.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.104.4-104
• /
• 2001

This paper addresses a supervisory control problem to meet bounded time constraints in real-time nondeterministic discrete event systems (DESs) represented as timed transition models. For a timed language specification representing a bounded time constraint, this paper introduces the notions of trace-controllability and time-controllability. Based on the notions, this paper presents the necessary and sufficient conditions for the existence of a supervisor for a real-time nondeterministic DES to achieve the specification.