적분 이차 제약
비선형 또는 불확실한 시스템 구성 요소를 이차 부등식 형태로 모델링하여 전체 시스템의 안정성을 분석하는 제어 이론 기법이다. 최적화 알고리즘의 수렴 성능을 자동화된 방식으로 증명하는 데 활용된다.