[논문 리뷰] Practical Distributed Control Synthesis

Doron Peled, Sven Schewe|arXiv (Cornell University)|2011. 11. 14.

Petri Nets in System Modeling참고 문헌 26인용 수 4

한 줄 요약

이 논문은 중앙집중식 솔루션이 존재할 경우 완전한 합성 결과를 도출할 수 있도록, 프로세스 간 국소적 지식과 공동 지식을 활용하여 통신을 최소화하는 실용적인 분산 제어 합성 방법을 제안한다. 중앙집중화된 제어를 피하면서도 정확성을 보장하며, 순서화된 감시와 지식 기반 조율을 통해 불필요한 차단과 사각지대를 줄인다.

ABSTRACT

Classic distributed control problems have an interesting dichotomy: they are either trivial or undecidable. If we allow the controllers to fully synchronize, then synthesis is trivial. In this case, controllers can effectively act as a single controller with complete information, resulting in a trivial control problem. But when we eliminate communication and restrict the supervisors to locally available information, the problem becomes undecidable. In this paper we argue in favor of a middle way. Communication is, in most applications, expensive, and should hence be minimized. We therefore study a solution that tries to communicate only scarcely and, while allowing communication in order to make joint decision, favors local decisions over joint decisions that require communication.

연구 동기 및 목표

• 프로세스 간 통신을 통제하고 희소하게 하여 분산 제어 합성의 결정 불가능성을 해결하고자 한다.
• 분산 제어기들이 국소적 지식과 공동 지식에 기반해 의사결정을 내리도록 하여 전역 동기화에 대한 의존도를 줄이고자 한다.
• 감시자 상호작용을 최소화하면서도 시스템의 진행을 유지하고 사각지대를 방지하고자 한다.
• 중앙집중식 제어기가 존재할 경우 언제나 해답을 찾는 완전한 합성 방법을 제공하고자 한다.
• 완전히 중앙집중식이거나 완전히 분산식 제어 방식에 대한 실용적이고 확장 가능한 대안을 제공하고자 한다.

제안 방법

• 각 프로세스 또는 감시자가 국소적 지식과 다른 프로세스의 공동 지식에 기반해 의사결정을 내리는 지식 기반 제어 합성 기법을 사용한다.
• 프로세스의 우선순위를 정하기 위해 부분 순서 $≯$ 를 도입하여, 충분한 공동 지식이 확보된 경우 고우선순위 프로세스가 저우선순위 프로세스에게 의사결정을 위임할 수 있도록 한다.
• 다른 프로세스 또는 감시자 그룹이 함께 충분한 지식을 보유하고 있음을 알고 있을 경우, 프로세스는 차단 대신 대기 상태로 전환한다.
• 의사결정을 위해 고우선순위 프로세스의 공동 지식을 표현하기 위해 중첩된 지식 표현식, 예를 들어 $\kappa^{\Pi_{i}^{\succ\pi}}$ 를 사용한다.
• 제어 전략은 네 단계의 순서화된 단계로 구성된다: 국소 지식 확인, 다른 이들에게 위임, 감시자 그룹의 지식에 의존, 마지막으로 다른 선택지가 없을 경우에만 감시자에 의존한다.
• 순서화된 전략으로 인해 새로운 사각지대가 발생하지 않으며, 무한한 위임을 방지한다.

실험 결과

연구 질문

• RQ1 통신을 최소화하면서도 정확성을 유지할 수 있도록 분산 제어 합성의 실용성을 높일 수 있는가?
• RQ2 국소적 지식과 공동 지식을 어떻게 활용하여 분산 시스템에서 중앙집중식 감시에 대한 의존도를 줄일 수 있는가?
• RQ3 의사결정 위임 시 무한 대기 상태에 빠지지 않도록 보장하는 메커니즘은 무엇인가?
• RQ4 중앙집중식 제어기가 존재할 경우 언제나 해답을 찾을 수 있는 완전한 합성 방법을 설계할 수 있는가?
• RQ5 프로세스 간 부분 순서를 어떻게 활용하여 제어 의사결정의 우선순위를 정하고 감시자 상호작용을 줄일 수 있는가?

주요 결과

• 제안된 방법은 완전한 합성을 달성한다: 주어진 불변 조건에 대해 중앙집중식 제어기가 존재할 경우, 분산 솔루션을 찾는다.
• 프로세스 간 부분 순서의 도입으로, 위임이 무한 대기나 무한 통신으로 이어지지 않도록 하여 사각지대를 방지한다.
• 고우선순위 프로세스 또는 감시자 그룹이 충분한 공동 지식을 보유하고 있음을 알고 있을 경우, 프로세스가 대기 상태로 전환함으로써 감시자 상호작용을 줄인다.
• 원래 시스템의 모든 스타트링-클로즈드 LTL 성질을 유지하여 의미론적 정확성을 보장한다.
• 이 방법은 전체 동기화를 피하면서도 필요한 시점에 정확한 공동 의사결정을 가능하게 하여 확장성과 실용성을 확보한다.
• 해결책은 이전 연구에서 구현 및 검증되었으며, 실제 분산 제어 시나리오에서의 실현 가능성을 입증했다.