적분 이차 제약을 통한 시스템 분석 | Synapse