암묵적 시간불변 맥스 민 플러스 스케일링 시스템의 동역학 분석

초록

본 논문은 암묵적(implicit) 형태의 시간불변(Max‑min‑plus‑scaling, MMPS) 시스템에 대해 존재성, 성장률·고정점, 그리고 지역 안정성을 체계적으로 규명한다. 충분조건을 통해 해가 존재함을 보이고, 정규화 절차를 이용해 성장률과 고정점 집합을 계산하는 알고리즘을 제시한다. 정규화된 시스템을 선형 다면체 제약 형태로 변환한 뒤, 최대‑플러스 유계 버퍼 안정성(max‑plus bounded‑buffer stability)을 검증한다. 마지막으로 도시 철도 네트워크 사례를 통해 이론을 실증한다.

상세 분석

본 연구는 기존의 max‑plus, min‑plus, 그리고 max‑min‑plus 모델을 일반화한 MMPS 프레임워크를 기반으로, 특히 상태 변수들이 같은 시간 사이클 내에서 서로 의존하는 암묵적 모델에 초점을 맞춘다. 논문은 먼저 MMPS 함수의 정의와 max‑plus/ min‑plus 연산을 포함한 스케일링 연산을 정형화하고, 이를 이용해 상태공간 방정식 x(k)=f(χ(k))를 제시한다. 여기서 χ(k)=