그래디언트 기반 STL 제어와 비홀론믹 시스템 적용

본 논문은 신호시계열 논리(STL) 기반 과제 사양을 만족하도록 비선형·비홀론믹 시스템을 제어하기 위한 그래디언트 기반 제어 프레임워크를 제시한다. 먼저 STL의 기본 개념과 강건성(robustness) 메트릭 ρφ를 소개하고, ρφ가 양수이면 해당 STL 사양이 만족된다고 정의한다. 시스템은 ˙x = f(x)+g(x)u+w 형태의 비선형 동역학이며, 여기서 w는 제한된 프로세스 노이즈이다. 핵심 가정은 (i) f, g, ρψ 및 그 그래디언트가 국소적으로 Lipschitz 연속이고, (ii) 노이즈 w가 조각별 연속이며, (iii) 목표 강건성 곡선 γ(t)와 상한 Γ(t) (γ(t)+ε ≤ Γ(t))가 존재해, 시스템이 γ(t) 위에 머물면 STL 사양 φ가 만족된다는 것이다. 관심 영역 X(t)= {x | γ(t) ≤ ρψ(x) ≤ Γ(t)} 를 정의하고, 이 영역의 상·하 경계에서만 제어 입력을 활성화한다. 제어 설계는 ρψ의 시간 미분을 이용한다. ∂ρψ/∂x·g(x) 를 v(x)라 두고, v(x)≠0인 영역이 존재한다는 가정 하에, 제어 입력을 u(x,t)= {0, x∈A(t) ; κ(x,t)·K·v(x)/‖v(x)‖² + Δ·v(x), otherwise} 형태로 정의한다. 여기서 A(t)= {x | ρψ(x) > Γ(t)}는 제어가 필요 없는 영역이다. κ(x,t)≥0는 시간에 따라 변하며, 경계점 x∈∂X(t)에서 κ(x,t) ≥ γ̇(t)+B(x) (B(x) = -∂ρψ/∂x·f(x) + max_w ‖∂ρψ/∂x·w‖) 를 만족하도록 설계한다. 이 조건은 Nagumo의 정리를 통해 γ(t) 경계를 넘지 않도록 보장한다. 정리 1은 위 제어법이 로컬 강건성 만족을 보장함을 증명한다. 증명은 Lipschitz 연속성 확보, 고유 해 존재성(Lemma 1,2) 및 Nagumo 조건(∂ζ/∂t ≤0) 적용을 통해 이루어진다. 정리 2는 시스템 상태가 유계이면 전역 STL 사양도 만족한다는 것을 보여준다. 이는 상태가 유계이면 해가 전 시간 구간에 존재하고, 초기 조건이 γ(0) 위에 있으면 강건성 경계가 유지되기 때문이다. 다음으로 논문은 유니사이클(비홀론믹) 모델에 프레임워크를 확장한다. 유니사이클의 상태는 (x, y, θ)이며, 제어 입력은 전진 속도 v와 회전 속도 ω이다. ρψ의 그래디언트를 좌표 변환을 통해 계산하고, v(x)와 동일한 형태의 제어법을 적용한다. 여기서 K와 Δ를 적절히 선택하면 회전과 전진을 동시에 제어하면서도 강건성 경계를 유지할 수 있다. 복합 과제 해결을 위해 여러 기본 사양 ρψ_i ≥ γ_i 를 각각의 관심 영역 X_i(t)에서 독립적으로 만족시키는 제어기 u_i를 설계한다. 각 X_i가 서로 겹치지 않으면 전체 입력 u = Σ_i u_i 로 합성해도 개별 제어기의 로컬 강건성 보장이 전체 시스템의 전역 강건성으로 이어진다(Corollary 2.1). 이는 복합 STL 사양을 단일 최적화 문제로 풀지 않고도, 계산량을 크게 늘리지 않으면서도 복합 과제를 수행할 수 있게 한다. 시뮬레이션에서는 (1) 충전 스테이션에 일정 시간 내에 도달, (2) 장애물 회피, (3) 지정된 경로 따라 이동 등 복합 과제를 설정하고, 제안된 그래디언트 기반 제어기와 기존 MPC·PPC 기반 제어기를 비교한다. 결과는 제안된 방법이 실시간 계산 요구량이 크게 낮으며, 강건성 메트릭이 목표 곡선 위에 머무는 것을 확인한다. 또한, 여러 제어기를 조합했을 때도 각 사양이 독립적으로 만족되어 전체 과제가 성공적으로 수행된다. 결론적으로, 이 논문은 STL 사양을 만족시키는 강건성 메트릭을 직접 제어함으로써, 고비용 최적화 기반 제어와는 달리 경량·실시간 적용 가능한 제어기를 설계하는 새로운 접근법을 제시한다. 향후 연구는 더 복잡한 비선형 시스템, 불확실성 모델링, 그리고 강화학습과의 연계 등을 통해 제어기의 적용 범위를 확대하는 방향으로 진행될 예정이다.