[논문 리뷰] Rational semimodules over the max-plus semiring and geometric approach of discrete event systems

Stéphane Gaubert, Ricardo D. Katz|ArXiv.org|2002. 08. 02.

semigroups and automata theory참고 문헌 27인용 수 12

한 줄 요약

이 논문은 이산 사건 시스템으로의 기하적 제어 이론 확장을 위해 최대-덧셈 반군 위의 유리 반모듈을 도입한다. 항목별 곱셈에 대한 자유 반모듈의 유리 부분집합에 의해 생성되는 반모듈을 유리 반모듈로 정의함으로써, 저자들은 유니언, 인터섹션, 프로젝션, 수직 여부 등 핵심 대수적 연산에 대해 닫힘을 증명한다. 이를 위해 프레스버거 산술을 사용한다. 주요 기여는 최대-덧셈 선형 시스템에서의 도달 가능 공간과 관측 가능성 공간이 모두 유리 반모듈임을 보여주며, 이는 무한차원 제어 문제의 효과적인 알고리즘적 분석을 가능하게 한다.

ABSTRACT

We introduce rational semimodules over semirings whose addition is idempotent, like the max-plus semiring, in order to extend the geometric approach of linear control to discrete event systems. We say that a subsemimodule of the free semimodule S^n over a semiring S is rational if it has a generating family that is a rational subset of S^n, S^n being thought of as a monoid under the entrywise product. We show that for various semirings of max-plus type whose elements are integers, rational semimodules are stable under the natural algebraic operations (union, product, direct and inverse image, intersection, projection, etc). We show that the reachable and observable spaces of max-plus linear dynamical systems are rational, and give various examples.

연구 동기 및 목표

• 기존의 유한차원 가정이 실패하는 최대-덧셈 선형 이산 사건 시스템으로 기하적 제어 이론을 확장하기 위해.
• 특히 도달 가능성과 관측 가능성에 있어 유한생성되지 않는 반모듈을 다루는 데 도전하기 위해.
• 유리 집합을 이용한 유한차원 하위반모듈의 계산적으로 효과적인 분석 프레임워크를 개발하기 위해.
• 최대-덧셈 시스템에서 도달 가능하고 관측 가능한 공간이 유리 반모듈임을 확립하여 알고리즘적 처리를 가능하게 하기 위해.

제안 방법

• 항목별 곱셈에 대해 자유 반모듈 $\mathcal{S}^n$ 의 유리 부분집합에 의해 생성되는 부분반모듈로 유리 반모듈를 정의한다.
• 이드포텐트 반군 위에서의 프레스버거 산술을 사용하여, 유리 부분집합을 일阶논리 공식으로 정의 가능함을 특징짓는다.
• 유니언, 직접 합, 직접 및 역 이미지, 인터섹션, 프로젝션, 수직 여부에 대해 유리 반모듈의 닫힘을 증명한다.
• 유리 부분집합이 $\mathbb{Z}^n$ 에서 덧셈에 대해 반선형 집합임을 이용하여 논리적이고 알고리즘적인 분석이 가능함을 활용한다.
• 이론을 최대-덧셈 선형 시스템에 적용하여, 자동차 이론적 구성 방법을 통해 도달 가능 및 관측 가능 공간이 유리 반모듈임을 보인다.
• 극점 분석과 프로젝션의 유리성에 기반한 반례를 구성하여 구조적 가정의 필요성을 입증한다.

실험 결과

연구 질문

• RQ1 기하적 제어 프레임워크를 선형 시스템에서 유한생성되지 않을 수 있는 최대-덧셈 반군으로 확장할 수 있는가?
• RQ2 최대-덧셈 선형 이산 사건 시스템에서의 도달 가능 및 관측 가능 공간은 유리 반모듈인가?
• RQ3 유리 반모듈가 유니언, 프로젝션, 인터섹션 등의 대수적 연산에 대해 닫혀 있는 조건은 무엇인가?
• RQ4 프레스버거 산술을 사용하여 이드포텐트 반군 위의 유리 반모듈의 닫힘 성질을 증명할 수 있는가?
• RQ5 도달 가능 공간이 유리가 되지 않는 자연스러운 최대-덧셈 시스템의 클래스가 존재하는가? 만약 그렇다면, 유리성을 방해하는 구조적 조건은 무엇인가?

주요 결과

• 최대-덧셈 선형 이산 사건 시스템의 도달 가능 공간은 $\mathbb{Z}^n$ 의 유리 부분집합에 의해 생성되므로 유리 반모듈이다.
• 최대-덧셈 시스템에서의 관측 동치 공간 역시 유리 반모듈이며, 이는 기하적 제어 프레임워크를 이 설정으로 확장함을 의미한다.
• 유리 반모듈는 프레스버거 논리에 의해 증명된 바와 같이, 유니언, 직접 합, 직접 및 역 이미지, 인터섹션, 프로젝션, 수직 여부에 대해 닫혀 있다.
• 반례를 통해 $\mathbb{R}_{\max}$ 위의 유리 반모듈가 직접 이미지에 대해 닫혀 있지 않을 수 있음을 보여주며, 특정 반군 가정의 필요성을 강조한다.
• $\mathbb{Z}_{\min}^6$ 에서 $\mu(\{a_1,a_2\}^*)$ 가 생성하는 반모듈은 무리 반모듈이며, $\mathbb{Z}_{\min}^3$ 로의 프로젝션 역시 무리 반모듈이다. 이는 비가환 도달 가능 공간이 유리가 되지 않을 수 있음을 보여준다.
• 유리 반모듈의 극점 집합은 특정 조건 하에서만 유리이며, 관련 함수 $\gamma_E(n)$ 의 성장률 분석을 통해 이러한 집합의 무리성도 증명할 수 있다.