탄력적 배치 추정 프레임워크

본 논문은 사이버‑물리 시스템(CPS)에서 발생할 수 있는 복합적인 잡음 환경에 강인한 상태 추정기를 설계하고, 그 이론적 성능을 정량적으로 분석한다. 시스템 모델은 시간변화 선형 이산시간 형태이며, 상태 방정식에는 유계 프로세스 잡음 w_t가, 출력 방정식에는 유계·밀집 잡음 v_t와 임펄시브·희소 잡음 s_t가 동시에 존재한다. 희소 잡음은 대부분 0이지만 비제로 시점에서는 임의의 큰 값을 가질 수 있어, 전통적인 추정 방법은 큰 오차를 초래한다. 저자들은 이러한 문제를 해결하기 위해 “성능 함수 V_Σ(Y,Z)”를 정의한다. V_Σ는 두 부분으로 구성되는데, 첫 번째는 동역학 오류에 대한 손실 φ_t, 두 번째는 측정 잔차에 대한 손실 ψ_t이다. φ_t와 ψ_t는 각각 가중치 행렬 W_t, V_t와 결합된 기본 손실 함수 φ, ψ로 표현되며, 양의 정의, 연속성, 대칭성, 일반화 동차성(P4), 일반화 삼각 부등식(P5) 등 다섯 가지 수학적 성질을 만족한다. 이러한 성질은 손실 함수가 K∞ 함수와 연계되어 하한을 확보하고, 최적화 문제의 존재성을 보장한다. 추정기는 집합값 맵 E(Y)=arg min_Z V_Σ(Y,Z) 로 정의된다. 즉, 주어진 측정 행렬 Y에 대해 V_Σ를 최소화하는 모든 상태 궤적 Z의 집합을 반환한다. 이 정의는 최소값이 존재하고 비어 있지 않음을 전제한다. 이를 위해 논문은 새로운 관측가능성 개념을 도입한다. 기존 관측가능성은 행렬