불확실 선형 동적 시스템의 궁극적 경계 보장 | Synapse