입력 제한과 시공간 제약을 만족하는 고정시간 제어 이차계획법 기반 설계

초록

본 논문은 비선형 제어가능 시스템에 대해 입력 제한과 안전·목표 집합의 시공간 제약을 동시에 만족하도록 고정시간 수렴을 보장하는 제어기를 설계한다. 이를 위해 고정시간 안정성 조건을 활용한 이차계획(QP) 문제를 구성하고, 슬랙 변수를 도입해 입력 제한 하에서도 항상 해가 존재하도록 보장한다. 해의 연속성 및 유일성을 증명하고, 두 로봇 및 적응형 크루즈 컨트롤 사례를 통해 실효성을 검증한다.

상세 분석

이 논문은 고정시간 안정성(FxTS)과 제어 입력 제한을 동시에 고려한 최초의 체계적인 프레임워크를 제시한다. 먼저, 입력 구속이 존재할 때 FxTS의 도메인 오브 어트랙션(DOA)과 수렴 시간 사이의 정량적 관계를 분석한다. 제어 권한(입력 한계)이 확대되거나 허용 수렴 시간이 늘어날수록 DOA가 확대된다는 결과는, 설계자가 시스템의 물리적 한계와 시간 요구사항 사이에서 트레이드오프를 명확히 파악할 수 있게 한다.

핵심 기여는 FxT‑CLF와 ZCBF(Zeroing Control Barrier Function)를 결합한 QP 기반 제어 합성이다. 안전 집합 (S_S)에 대한 전진 불변성을 Nagumo 정리를 통해 보장하고, 목표 집합 (S_G)에 대한 고정시간 수렴을 FxT‑CLF 부등식으로 표현한다. 입력 제한을 포함한 제약식은 QP의 불가능성을 초래할 수 있으므로, 저자들은 안전 제약과 수렴 제약 각각에 슬랙 변수를 도입한다. 슬랙 변수는 KKT 조건 하에서 최적값을 명시적으로 구할 수 있으며, 특히 입력이 포화될 때 슬랙 값이 어떻게 조정되는지를 정확히 기술한다.

슬랙 변수를 포함한 QP는 항상 해가 존재함을 보장한다(Feasibility Guarantee). 더 나아가, 엄격한 보완 슬랙성(strict complementary slackness)이 만족될 경우, 최적 해는 상태 변수에 대해 연속함을 증명한다. 이는 제어 입력이 급격히 변하는 현상을 방지하고, 시스템 해의 유일성을 확보함으로써 전진 불변성(Forward Invariance)을 Nagumo 정리로 엄격히 입증할 수 있게 한다.

이론적 결과는 1‑차원 시스템에 대한 도메인‑오브‑어트랙션 분석과, 다중 로봇 및 적응형 크루즈 컨트롤 시뮬레이션을 통해 실증된다. 특히, 두 로봇이 충돌 회피와 목표 지점 도달을 동시에 만족하면서 입력 포화 상황에서도 안정적으로 동작하는 모습을 보여, 제안 방법의 실용성을 강조한다.

전체적으로, 입력 제한을 명시적으로 고려한 고정시간 제어 설계, 슬랙 변수를 통한 QP의 항상 가능한 구조, 그리고 연속성·유일성 증명을 결합함으로써 기존 CLF‑CBF 기반 QP 방법론을 크게 확장하였다.