[논문 리뷰] On Algorithms and Extensions of Coordination Control of Discrete-Event Systems

Jan Komenda, Tomáš Masopust외 1명|arXiv (Cornell University)|2012. 01. 01.

Petri Nets in System Modeling참고 문헌 11인용 수 2

한 줄 요약

이 논문은 이산사건시스템의 조율 제어 프레임워크를 개선하고 단순화하기 위해 조건부 분해 가능성, 제어 가능성, 닫힘성의 정교화된 개념을 도입함으로써 재정의하고 개선한다. 일반적인 비접두사전집합 언어에 대해 비차단성을 보장하는 조율자(코ordinatior)를 계산하는 새로운 절차를 제시하여 이전의 작업이 접두사전집합 언어에 국한되었던 것을 확장함으로써 분산 감시 제어 분야에서 더 넓은 적용 가능성을 확보한다.

ABSTRACT

In this paper, we further develop the coordination control scheme for discrete-event systems based on the Ramadge-Wonham framework. The notions of conditional decomposability, conditional controllability, and conditional closedness are revised and simplified, supremal conditionally controllable sublanguages of general non-prefix-closed languages are discussed, and a procedure for the computation of a coordinator for nonblockingness is presented.

연구 동기 및 목표

• 접두사전집합 언어에 국한된 기존의 조율 제어 프레임워크를 일반적인 정규 언어로 확장한다.
• 조건부 분해 가능성, 제어 가능성, 닫힘성의 핵심 개념을 보다 명확하고 적용 가능하도록 단순화하고 재정의한다.
• 조율 제어 아키텍처에서 비차단 동작을 보장하는 조율자를 체계적으로 계산하는 절차를 개발한다.
• 기존 방법의 격차를 메우기 위해 비접두사전집합 환경에서 최대 조건부 제어 가능 부분언어를 위한 일반적인 알고리즘을 제공한다.
• libFAUDES와 같은 기존 도구가 비접두사전집합 사양을 처리할 수 있도록 하여 실용적 구현을 지원한다.

제안 방법

• 조건부 분해 가능성, 제어 가능성, 닫힘성을 보다 단순하고 동치적인 정의로 재구성함으로써 전체 일반성을 유지한다.
• 최대 조건부 제어 가능 부분언어를 활용하여 비차단성을 보장하는 조율자를 계산하는 절차를 도입한다.
• 시스템 동작과 감시자 상호작용을 모델링하기 위해 투영과 동기적 곱 연산을 사용한다.
• LCC(LCC, 출력 제어 일관성)와 관측기(observer)의 개념을 적용하여 제어 가능성과 닫힌 루프 행동을 확보한다.
• 최대 제어 가능 부분언어 연산자 supC(K, L, Eu)를 활용하여 최대 실현 가능한 감시자 언어를 계산한다.
• 관측기와 제어 가능성 성질을 통해 조율자가 비차단성을 보장하는 조건을 설정한다.

실험 결과

연구 질문

• RQ1 조건부 분해 가능성, 제어 가능성, 닫힘성의 개념은 이론적 기반을 유지하면서 어떻게 단순화될 수 있는가?
• RQ2 일반적인(비접두사전집합) 언어에 대해 최대 조건부 제어 가능 부분언어의 구조와 계산 방법은 무엇인가?
• RQ3 비접두사전집합 언어에 대해 조율 제어에서 비차단 동작을 보장하는 조율자를 알고리즘적으로 어떻게 계산할 수 있는가?
• RQ4 비가역 사건이 존재하는 상황에서 조율자가 제어 가능성과 닫힘성을 유지하는 조건은 무엇인가?
• RQ5 이 프레임워크는 접두사전집합 사례를 초월하여 libFAUDES와 같은 실용적 도구의 확장 가능성을 어떻게 지원할 수 있는가?

주요 결과

• 논문은 조건부 분해 가능성, 제어 가능성, 닫힘성을 더 단순화된 형태로 재정의하였으며, 이는 명확성 향상과 더 넓은 적용 가능성을 가능하게 한다.
• 비접두사전집합 언어에 대해 조율 제어에서 비차단성을 보장하는 조율자를 계산하는 새로운 절차가 확립되었다.
• 일반적인 비접두사전집합 언어에 대해 최대 조건부 제어 가능 부분언어가 존재하며, 제안된 프레임워크 하에서 계산 가능하다는 것이 입증되었다.
• 논문은 관측기와 제어 가능성 조건이 만족될 경우 조율자가 닫힌 루프 시스템이 비차단성을 확보함을 증명하였다.
• 접두사전집합 사례로의 결과 확장을 위해 LCC와 관측기 성질을 활용한 재수정된 증명이 제시되었으며, 이는 이전 작업과 일치하지만 더 강력한 이론적 기반을 확보하였다.
• 이 프레임워크는 비접두사전집합 사양을 지원하기 위해 libFAUDES와 같은 도구에 조율 제어 플러그인을 구현할 수 있도록 하여 실용적 구현의 핵심 격차를 메웠다.