샘플링 데이터 확률 비선형 시스템을 위한 안전 디지털 제어기 자동 합성

초록

본 논문은 비선형 동역학, 측정 잡음 및 확률적 외란을 갖는 샘플링‑데이터 시스템에 대해, 안전성을 확률적 임계값 이상으로 보장하는 디지털 제어기를 자동으로 설계하는 방법을 제시한다. 후보 제어기를 빠른 몬테카를로 시뮬레이션으로 생성하고, SMT 기반 검증기로 정확한 안전 확률 구간을 계산하여 만족 여부를 판단한다. 필요시 제어기 차수를 증가시켜 탐색 영역을 확장한다.

상세 분석

이 연구는 세 가지 핵심 기술을 결합함으로써 기존의 선형‑전용 안전 제어 설계 한계를 뛰어넘는다. 첫째, 후보 제어기 p_c 를 찾는 단계에서는 비검증 ODE 솔버와 몬테카를로 추정을 이용해 안전 확률을 최대화한다. 비검증 솔버는 수치적 오차를 허용하지만 매우 빠른 시뮬레이션을 가능하게 하여 고차원 파라미터 공간을 효율적으로 탐색한다. 둘째, 후보가 불안정할 가능성을 사전에 차단하기 위해 저자들은 샘플링‑데이터 비선형 시스템에 대한 라플라스 간접법의 불안정 조건을 증명하였다. 이 조건은 선형화된 폐루프 시스템의 고유값이 단위 원을 벗어나면 원래 비선형 시스템도 라플라스 안정성을 만족하지 못한다는 간단한 검증 절차를 제공한다. 셋째, 검증 단계에서는 SMT 기반의 검증 솔버와 구간 추정 기법을 결합해 통계적·수치적으로 유효한 신뢰 구간