안전한 인‑블록 제어 영역 설계와 로봇 적용

초록

**
본 논문은 선형·아핀 시스템에 대해 내부에서 모든 상태가 상호 접근 가능한 “인‑블록 제어(IBC)” 영역을 자동으로 구성하는 방법을 제시한다. 기존 IBC 검증은 주어진 폴리토프에 대해 선형계획법(LP)만 필요했지만, 영역을 설계하려면 NP‑hard인 BMI 문제에 직면한다. 저자들은 기하학적 구조를 이용해 BMI를 회피하고, 입력 제한을 만족하면서 폴리토프를 단계적으로 축소·확장하는 효율적인 알고리즘을 개발한다. 알고리즘의 정당성을 증명하고, 이를 완전 구동 로봇, 가속도 제한이 있는 유니사이클, UAV 등에 적용해 안전 속도 프로파일을 생성한다. 실험에서는 UAV의 실시간 충돌 회피를 성공적으로 구현해 제안 방법의 실용성을 입증한다.

**

상세 분석

**
논문은 먼저 “인‑블록 제어(IBC)”라는 개념을 정의한다. IBC는 시스템이 주어진 폴리토프 X의 내부 X◦ 에 존재하는 모든 초기 상태 x와 목표 상태 y 사이를, 입력이 일정한 상한 M 이하로 제한된 제어 u(t) 를 사용해, 전체 궤적이 X◦ 내에 머무르면서 연결할 수 있음을 의미한다. 기존 연구(Helwa & Caines, 2014a)에서는 주어진 X에 대해 IBC 여부를 판단하기 위해 각 정점에서 선형계획법(LP)을 풀어 h_j·(Ax+Bu)≤0 조건을 검증하였다. 이는 검증 단계에서는 효율적이지만, “어떤 X가 IBC를 만족하는가?”라는 설계 문제로 확장하면, 폴리토프의 면을 조정하면서 동시에 LP 조건을 만족시켜야 하므로 곧바로는 BMI(이중선형행렬부등식) 형태가 된다. BMI는 일반적으로 NP‑hard이며, 고차원 시스템에서는 실용적인 해법을 찾기 어렵다.

이를 극복하기 위해 저자들은 기하학적 접근을 채택한다. 핵심 아이디어는 “control‑to‑facet” 문제와의 연관성을 이용하는 것이다. 즉, 시스템이 현재 위치 x 에서 특정 면 F_i 으로 이동할 수 있는지(그리고 그 면을 통과해 다른 면으로 이동 가능 여부)를 판단함으로써, 폴리토프를 점진적으로 “깎아내는” 절차를 설계한다. 이때 필요한 조건은 각 면의 외부 법선 h_i 에 대해 h_i·(Ax+Bu)≤0 을 만족하는 입력 u 가 존재하는가이다. 이러한 조건은 각 면에 대해 선형 프로그램 하나만 풀면 되므로, BMI를 전혀 사용하지 않는다.

알고리즘은 크게 세 단계로 구성된다.

1. 초기 폴리토프 설정 – 안전 제약(예: 작업 공간, 속도 한계)으로 정의된 큰 폴리토프 X₀ 를 만든다.
2. 면 검증 및 제거 – 각 면 F_i 에 대해 위의 LP를 풀어, 해당 면을 통과할 수 없는 경우(즉, 입력 제한으로 인해 h_i·(Ax+Bu)≤0 을 만족할 수 없는 경우) 그 면을 제거하거나 면을 내부로 이동시킨다.
3. 재귀적 수축 – 면이 제거·이동된 후 새로운 폴리토프 X₁ 을 얻고, 다시 모든 면에 대해 검증한다. 이 과정을 더 이상 면을 제거할 수 없을 때까지 반복한다.

이 절차는 m ≥ n/2 (입력 차원이 상태 차원의 절반 이상)인 경우에 특히 효율적이다. 왜냐하면 이 경우 B 행렬이 충분히 풍부해 C(x) (접선 원뿔)와 Im(B) 의 교차가 비공집합이 되기 쉬워, 각 면에 대해 존재 가능한 입력을 찾는 확률이 높아지기 때문이다.

알고리즘의 정당성 증명은 두 부분으로 나뉜다. 첫째, 면을 제거하거나 이동시키는 과정이 시스템의 IBC 성질을 보존한다는 점을 보인다(즉, 새로운 폴리토프 X′ ⊂ X 에 대해 여전히 모든 x,y∈X′◦ 가 연결 가능). 둘째, 알고리즘이 수렴한다는 것을 보인다. 각 반복에서 최소한 하나의 면이 내부로 이동하거나 사라지므로, 폴리토프의 부피가 단조 감소하고, 부피가 0이 되기 전까지는 무한히 진행될 수 없다는 논리를 전개한다.

실제 로봇 시스템에 적용할 때는 X 을 “위치‑속도” 공간으로 해석한다. 예를 들어, 완전 구동 로봇 팔의 경우 각 관절의 위치와 속도를 포함한 상태 x 에 대해, 입력 u 는 토크 제한을 반영한다. 알고리즘을 적용하면, 각 관절 위치에 대해 허용 가능한 속도 구간이 도출되고, 이는 “안전 속도 프로파일”이 된다. 동일한 절차를 유니사이클 로봇(가속도 제한 포함)과 UAV(3‑D 위치와 속도)에도 적용한다.

실험에서는 UAV 4대가 실내 테스트베드에서 서로 교차하는 경로를 비행하도록 설정하고, 각 UAV에 대해 사전에 계산된 안전 속도 프로파일을 적용하였다. 충돌 회피는 각 UAV가 자신의 속도 제한을 초과하지 않으면서도, 실시간으로 목표 위치를 변경할 수 있음을 보여준다. 실험 결과는 제안된 IBC 기반 영역이 실제 시스템의 제어 한계와 안전 제약을 동시에 만족시키며, 기존의 “제어 불변 집합” 기반 방법보다 더 큰 작업 공간을 제공한다는 점을 입증한다.

핵심 기여는 다음과 같다.

• IBC 영역 설계 문제를 BMI가 아닌 선형 프로그램만으로 해결하는 기하학적 알고리즘을 제시.
• 알고리즘의 **정당성(정리와 증명)**을 이론적으로 확보.
• 입력 차원 m ≥ n/2 조건 하에서 효율성을 보장하고, 실제 로봇 시스템에 적용 가능한 구현 방법을 제공.
• 다양한 로봇(완전 구동 로봇, 유니사이클, UAV)에 대한 안전 속도 프로파일을 도출하고, 실험을 통해 실시간 충돌 회피를 성공적으로 구현.

이러한 결과는 제어 설계 단계에서 안전 제약을 명시적으로 고려할 수 있는 새로운 패러다임을 제시하며, 복잡한 하이브리드·비선형 시스템의 계층적 제어 구조를 구축하는 데도 활용될 수 있다.

**