본 논문은 대규모 시스템에 적용 가능한 스위치 기술 설명 시스템을 위한 새로운 인증된 모델 축소 알고리즘을 제시한다. 이 알고리즘은 스위치 상태 공간 변환과 스위치 일반 미분 방정식에 대한 확장된 균형 절단 기법을 결합한다. 또한 수치 근사 오류를 고려한 a priori 오차 경계를 제공한다.