합성곱 프로그래밍을 이용한 계산적 리apunov 분석의 발전 | Synapse