비선형 예측 피드백을 위한 수치 근사 스킴과 하이브리드 제어 설계

초록

본 논문은 분산 지연을 포함한 피드백 시스템에서 예측 매핑을 수치적으로 근사하는 방법을 제시한다. 전방 완비(non‑forward complete) 비선형 시스템을 대상으로, 샘플링된 측정값을 이용한 하이브리드 제어와 결합된 수치 스킴이 전역 안정성을 보장함을 증명한다. 선형 시불변(LTI) 경우에 대한 특수 결과와 파라미터 추정식도 제공한다.

상세 분석

논문은 먼저 지연이 포함된 비선형 시스템에 대해 예측 피드백(predictor feedback)이라는 이론적 도구가 존재함을 상기한다. 예측 피드백은 현재 상태에 대한 미래 입력을 계산해 지연 효과를 상쇄하지만, 실제 구현에서는 예측 매핑을 정확히 계산하기가 어려워 실시간 수치 근사가 필요하다. 저자는 이러한 구현 문제를 두 단계로 나눈다. 첫 번째는 연속 시간 시스템의 예측 매핑을 오일러·룽게–쿠타 등 전통적인 수치 적분법으로 근사하는 것이고, 두 번째는 근사값을 이용해 샘플링된 측정에 기반한 하이브리드 제어기를 설계하는 것이다. 핵심 가정은 시스템이 전방 완비(forward complete)이며, 지연이 없을 때는 전역 비선형 안정화와 지역 지수 안정화를 동시에 만족한다는 점이다. 이러한 가정 하에 저자는 Lyapunov‑Krasovskii 함수와 입력‑상태 안정성(ISS) 프레임워크를 활용해, 근사 오차가 일정 범위 이내에 머무를 경우 전체 폐루프 시스템이 전역적으로 수렴함을 증명한다. 특히, 수치 스킴의 단계 크기 h와 샘플링 주기 T가 충분히 작으면 근사 오차가 지수적으로 감소하고, 이를 통해 하이브리드 제어기의 전이 구간(transient)과 수렴 속도를 명시적으로 추정할 수 있다. 선형 시불변(LTI) 시스템에 대해서는 상태 전이 행렬의 정확한 형태를 이용해 오차 경계와 안정성 조건을 더 강하게 제시한다. 저자는 또한 파라미터 선택을 위한 명시적 식을 도출했는데, 이는 설계자가 원하는 수렴 속도와 허용 오차에 따라 h와 T를 직접 계산하도록 돕는다. 전체적으로 이 논문은 예측 피드백을 실시간으로 구현할 수 있는 실용적인 수치‑하이브리드 프레임워크를 제공하며, 기존 이론적 결과를 구현 가능성 측면에서 크게 확장한다.