하이브리드 집합 탐색 시스템 모델프리 피드백 최적화와 하이브리드 포함 이론

초록

**
본 논문은 연속·이산 동작을 동시에 갖는 하이브리드 시스템에 적용 가능한 모델프리 피드백 최적화(극값 탐색) 기법을 체계적으로 정리한다. 평균화·특이 섭동 이론을 하이브리드 포함 형태로 확장하고, 정적·동적 플랜트에 대한 다양한 스위칭·리셋·모멘텀 기반 알고리즘을 제시한다. 해석적 근접성 개념을 그래프 수렴으로 정의해 연속‑이산 혼합 동작에서도 안정성을 보장한다.

**

상세 분석

**
논문은 먼저 기존 극값 탐색(Extremum Seeking, ES) 이론이 연속시간, 매끄러운 ODE 기반 평균화와 특이 섭동 기법에 의존한다는 점을 지적한다. 이러한 접근법은 고주파 진동 신호와 작은 진동 진폭(ε) 하에서 시스템 궤적이 평균 동역학(gradient flow)과 (T,ε)-근접함을 보장함으로써 안정성·수렴성을 분석한다. 그러나 하이브리드 시스템에서는 상태가 불연속적으로 점프하거나 논리적 모드 전환이 발생하므로, 전통적인 유니폼 거리 기반 근접성은 Zeno 현상 등에서 무의미해진다. 이를 해결하기 위해 저자는 해석적 해(solution)를 (시간 연속 인덱스 t, 이산 인덱스 j) 로 파라미터화하고, 해의 그래프 집합에 대한 수렴(그래프 컨버전스)을 새로운 근접성 척도로 채택한다. 이 접근은 Krasovskii‑Filippov 정규화와 차분 포함(difference inclusion)·미분 포함(differential inclusion) 형태의 하이브리드 포함 모델을 모두 포괄한다.

핵심 수학적 기여는 다음과 같다.

1. 하이브리드 평균화 이론: 고주파 사인 파형을 포함한 연속‑이산 혼합 입력에 대해, 평균화 연산을 하이브리드 시간 영역(연속 구간 + 점프 순간) 전체에 적용한다. 결과적으로 평균 동역학은 집합‑값 벡터장 F̄(x) 로 표현되며, 이는 기존 연속 평균화와 동일한 구조를 유지하지만 점프 규칙 G(x) 도 포함한다.
2. 특이 섭동 해석: ε와 ω가 충분히 작고 크게 선택될 때, 원래 하이브리드 ES 시스템과 평균·특이 섭동 근사 시스템 사이의 그래프 수렴을 정량화한다. 이를 통해 (T,ε)-근접성 대신 ‘그래프 (T,ε)-근접성’이라는 새로운 개념을 도입한다.
3. 안정성 전이: 평균 동역학이 Lyapunov 혹은 LaSalle 함수에 의해 안정성을 보이면, 동일한 Lyapunov 함수가 하이브리드 포함 시스템에도 적용 가능함을 증명한다. 이는 집합‑값 동역학에 대한 일반화된 라플라스 안정성 이론과 연결된다.

알고리즘적 측면에서는 여러 스위칭 스키마를 제시한다.

• 임의 빠른 스위칭: 스위치 간 최소 시간 제한 없이도 평균화가 성립하도록 dwell‑time와 평균 활성 시간 조건을 이용한다.
• Dwell‑time / 평균 dwell‑time: 최소 스위치 간격(dwell‑time) 혹은 평균적인 스위치 비율을 보장함으로써 Zeno 현상을 방지하고, 평균 동역학의 수렴을 유지한다.
• 상태 기반 스위칭: 장애물 회피와 같은 상황에서 현재 상태에 따라 스위치가 트리거되며, 이는 집합‑값 전이 규칙 G(x) 로 모델링된다.
• Gradient‑Newton 스위칭: 구배 흐름과 뉴턴 흐름을 교대로 적용해 수렴 속도를 가속화한다.
• 모멘텀·리셋·간헐적 업데이트: 관성 효과를 도입하거나, 일정 주기마다 상태를 리셋함으로써 과도 응답을 개선한다.

마지막으로, 동적 플랜트(ODE 기반)와의 결합을 다룬다. 여기서는 플랜트 자체가 하이브리드 동역학을 가질 수 있음을 가정하고, 두 레벨(플랜트·컨트롤러)의 특이 섭동 스케일을 명시적으로 구분한다. 결과적으로 전체 폐루프는 다중 시간 스케일 하이브리드 포함 시스템이 되며, 평균·특이 섭동 이론을 연쇄적으로 적용해 전역 수렴을 보장한다.

전반적으로 이 논문은 하이브리드 시스템에 대한 ES 설계·분석을 위한 통합 프레임워크를 제공한다. 기존 매끄러운 ES 이론을 집합‑값 포함 이론과 그래프 수렴 개념으로 확장함으로써, 사이버‑물리 시스템, 로봇, 전력 전자 등에서 요구되는 고성능, 안전성, 실시간 최적화를 구현할 수 있는 이론적 토대를 마련한다.

**