On Real-Time Feasibility of High-Rate MPC using an Active-Set Method on Nano-Quadcopters

이 논문은 제한된 계산 능력을 가진 나노 쿼드콥터 (Crazyflie 2.1) 에 주파수 500Hz 로 실행 가능한 듀얼 액티브셋 솔버 (DAQP) 를 성공적으로 배포하여 기존 ADMM 기반 솔버보다 빠른 실행 시간을 입증하고, 주성분 분석을 활용한 데이터 기반 세트 선택법을 통해 실시간 실행 가능성을 오프라인에서 검증할 수 있음을 보여줍니다.

핵심

이 논문은 **"작은 드론이 어떻게 뇌가 매우 작아도 복잡한 계산을 빠르게 해서 날 수 있게 되었는지"**에 대한 이야기입니다.

마치 초소형 드론 (크레이플리) 이라는 작은 비행기가, **매우 제한된 계산 능력 (작은 뇌)**을 가지고 있으면서도, 매우 빠르고 정밀하게 (초당 500 번의 계산) 스스로를 제어하며 날아다니는 방법을 발견한 실험 보고서라고 생각해보세요.

이 복잡한 내용을 일상적인 비유로 쉽게 설명해 드릴게요.

---

1. 문제 상황: "작은 머리로 거대한 산을 넘다"

일반적으로 드론은 바람, 장애물, 무게 변화 등 수많은 변수를 고려해 "어떻게 날아야 가장 안전하고 빠를까?"를 계산하는 **MPC(모델 예측 제어)**라는 고급 두뇌를 사용합니다. 하지만 이 계산은 보통 거대한 슈퍼컴퓨터가 해야 할 일입니다.

그런데 이 논문에서는 손가락만 한 크기의 드론에 이 슈퍼컴퓨터 같은 두뇌를 얹으려 했습니다. 문제는 드론에 달린 **마이크로칩 (뇌)**이 너무 작고 힘이 약하다는 점입니다. 마치 어린이에게 수학 경시대회 문제를 풀게 하려는데, 시간이 0.2 초밖에 주어지지 않는 상황과 같습니다.

2. 해결책: "새로운 두뇌 (DAQP) 의 등장"

기존에는 이 문제를 풀기 위해 'ADMM'이라는 방법 (TinyMPC) 을 썼습니다. 이는 천천히 하지만 꾸준히 답을 찾아내는 방법입니다.

하지만 이 논문은 **"이건 너무 느려! 더 똑똑하고 빠른 방법이 있어!"**라고 말하며 **DAQP(이중 액티브-셋 솔버)**라는 새로운 방법을 도입했습니다.

• 비유:
  • 기존 방법 (TinyMPC): 미로에서 헤매다가 벽을 하나씩 만져보며 출구를 찾는 방법. (안정적이지만 느림)
  • 새로운 방법 (DAQP): 미로의 지도를 미리 보고, "여기 벽이 없으니 바로 직진하자!"라고 가장 빠른 길만 골라 쏜살같이 출구로 가는 방법. (계산이 복잡해 보이지만, 실제로는 훨씬 빠름)

결과: 이 새로운 방법 (DAQP) 을 쓰니, 드론의 작은 뇌에서도 초당 500 번이나 계산을 해내며 드론이 안정적으로 날아다닐 수 있었습니다. 기존 방법보다 더 빠르고 효율적이었습니다.

3. 혁신적인 아이디어: "예측 가능한 나침반 (PCA 와 실시간 인증)"

하지만 단순히 "빠르다"고 해서 드론을 날리는 것은 위험합니다. "혹시 갑자기 계산이 너무 오래 걸려서 드론이 추락하면 어떡하지?"라는 걱정이 있기 때문입니다.

연구진은 **"실제 비행에서 어떤 상황들이 일어날지 미리 예측해서, worst case(최악의 상황) 도 계산할 수 있는지 확인하는 방법"**을 개발했습니다.

• 비유 (데이터 기반 PCA):
  드론이 날아다니는 모든 가능한 공간 (하늘 전체) 을 다 계산하면 시간이 너무 오래 걸립니다. 하지만 드론이 실제로 날아다니는 곳은 하늘의 특정 구역뿐입니다.
  연구진은 **"드론이 실제로 날아다니는 흔적 (데이터)"**을 모아서 **주성분 분석 (PCA)**이라는 도구를 썼습니다.

  • 전통적인 방법: "하늘 전체를 다 덮을 수 있는 거대한 방패"를 만들어서 방어하려 함. (너무 무겁고 비효율적)
  • 이 논문의 방법 (PCA): "드론이 실제로 날아다니는 좁은 길목만 정확히 덮을 수 있는 맞춤형 방패"를 만듦.

  이렇게 하면 불필요한 계산을 줄여서 드론의 뇌가 훨씬 가볍게 일할 수 있게 됩니다.

• 실시간 인증 (Real-time Certification):
  비행하기 전에 컴퓨터 시뮬레이션으로 "이 설정으로 비행하면, 최악의 상황에서도 0.001 초 안에 계산이 끝날까?"를 미리 검증하는 과정을 거쳤습니다. 마치 비행 전 안전 점검처럼, "이 드론은 안전하니까 날려도 된다"는 공인된 증명서를 발급받은 셈입니다.

4. 실험 결과: "성공적인 비행"

연구진은 이 새로운 두뇌 (DAQP) 를 실제 드론에 탑재하고 실험했습니다.

• 드론은 초당 500 번의 계산을 하며 복잡한 궤적 (8 자 모양, 계단식 이동 등) 을 따라 날아다녔습니다.
• 기존 방법 (TinyMPC) 보다 계산 속도가 더 빨랐습니다.
• 미리 만든 '맞춤형 방패 (PCA)'를 사용하면, 드론이 실시간으로 계산을 놓치지 않고 안전하게 날아다닐 수 있음을 증명했습니다.

5. 결론: "작은 뇌도 큰 일을 할 수 있다"

이 논문의 핵심 메시지는 다음과 같습니다:

"작은 드론의 제한된 컴퓨터 성능 때문에 복잡한 제어 알고리즘을 쓸 수 없다고 생각했던 과거를 끝냈습니다. **더 똑똑한 계산 방법 (DAQP)**과 **현실적인 검증 도구 (PCA 기반 인증)**를 쓰면, 아주 작은 드론도 안전하고 빠르게 스스로를 제어하며 날아다닐 수 있습니다."

이는 앞으로 작은 로봇, 자율주행 차량, 우주선 등 계산 능력이 제한된 기기들이 더 똑똑하고 안전하게 작동할 수 있는 길을 열어준 중요한 발견입니다.

기술 요약

1. 문제 정의 (Problem Statement)

• 배경: 모델 예측 제어 (MPC) 는 복잡한 시스템, 특히 드론과 같은 불안정 시스템의 안전하고 공격적인 기동을 위해 필수적입니다. MPC 는 상태 및 입력 제약을 명시적으로 처리할 수 있다는 장점이 있습니다.
• 도전 과제: 나노 쿼드콥터 (예: Crazyflie 2.1) 와 같은 초소형 플랫폼은 온보드 마이크로컨트롤러 (MCU) 의 계산 자원이 극도로 제한적입니다. 이로 인해 고주파수 (High-rate) 로 작동하는 저수준 제어 루프에 MPC 를 적용하는 것은 계산 비용이 너무 높아 실현 불가능한 경우가 많았습니다.
• 기존 접근법의 한계:
  • 기존 연구들은 주로 1 차 방법 (First-order methods, 예: ADMM) 을 사용하거나, 활성 집합 (Active-set) 솔버를 고수준 제어에만 국한시켰습니다.
  • 특히 12 개의 상태를 가진 나노 쿼드콥터 시스템의 저수준 (inner loop) 제어에 2 차 방법인 활성 집합 솔버를 적용하고, 이를 **실시간으로 인증 (Certification)**한 사례는 보고된 바가 없었습니다.

2. 방법론 (Methodology)

이 연구는 제한된 자원 환경에서 고성능 MPC 를 구현하고 그 실시간성을 검증하기 위해 다음과 같은 방법론을 사용했습니다.

• 제어 대상 및 모델:

  • 플랫폼: Bitcraze Crazyflie 2.1 (STM32F405 Cortex-M4 MCU, 168MHz).
  • 모델: 12 상태 (위치, 속도, 자세, 각속도) 를 포함하는 선형 이산 시간 모델.
  • 제어 주파수: 500Hz (매 2ms 마다 제어 입력 계산).
  • 예측 구간 (Horizon): $N=15$.

• 솔버 비교:

  • DAQP (Dual Active-Set Solver): 본 논문에서 적용한 2 차 방법의 쌍대 활성 집합 솔버.
  • TinyMPC: 기존에 널리 사용되던 ADMM (Alternating Direction Method of Multipliers) 기반 솔버.
  • 설정: 두 솔버 모두 동일한 MPC 문제 설정 (비용 함수, 제약 조건, 튜닝 파라미터) 을 사용하여 공정한 비교를 수행했습니다.

• 실시간성 인증 (Real-time Certification):

  • WCET (Worst-Case Execution Time) 분석: Arnström et al. (2024) 의 프레임워크를 사용하여 솔버의 최악의 실행 시간을 분석했습니다.
  • 데이터 기반 파라미터 공간 축소 (PCA): 기존에 상태 공간 전체를 덮는 보수적인 상자 (Box) 를 사용하는 대신, 비행 중 실제로 도달하는 상태 데이터에 **주성분 분석 (PCA)**을 적용하여 더 정밀한 하이퍼직사각형 (Hyper-rectangle) 파라미터 집합을 생성했습니다. 이를 통해 불필요한 비물리적 상태 조합을 제거하고 인증 과정의 계산 효율성을 높였습니다.

3. 주요 기여 (Key Contributions)

1. 초고주파수 저수준 MPC 구현: 자원 제한이 심한 STM32F405 MCU 에서 12 상태 모델을 기반으로 한 500Hz 저수준 MPC 컨트롤러를 DAQP 솔버로 성공적으로 구현 및 배포했습니다. 이는 나노 쿼드콥터 저수준 제어에 쌍대 활성 집합 솔버를 사용한 첫 사례입니다.
2. 성능 벤치마킹: STM32 플랫폼에서 TinyMPC(ADMM 기반) 와 DAQP(활성 집합 기반) 의 실행 시간을 직접 비교했습니다. 예상과 달리 더 복잡한 2 차 방법인 DAQP 가 TinyMPC 보다 일관되게 빠른 실행 시간을 보였습니다.
3. 실시간성 인증 프레임워크 적용: WCET 분석 도구를 적용하여 설계 단계에서 실시간 요구사항 충족 여부를 사전에 판단할 수 있음을 입증했습니다.
4. PCA 기반 데이터 주도 전략 도입: 실시간 인증을 위한 파라미터 집합을 축소하기 위해 PCA 를 도입했습니다. 이 방법은 인증 과정의 계산 부하를 줄이고, 실제 비행 환경에 더 부합하는 보수적이지 않은 (less conservative) 실시간성 보장을 가능하게 했습니다.

4. 실험 결과 (Results)

• 실행 시간 비교:

  • 1,179,415 개의 샘플에 대한 실행 시간 측정 결과, DAQP 는 TinyMPC 보다 항상 더 빠르게 연산을 완료했습니다.
  • 히스토그램 분석에서 두 솔버의 실행 시간 차이는 항상 양수 (DAQP 가 더 빠름) 였습니다.
  • 균일 분포 (Uniform distribution) 를 사용한 샘플링은 활성 집합 솔버의 최악의 경우를 놓칠 수 있어, PCA 기반의 데이터 주도 샘플링이 더 정확한 실시간성 평가를 제공함을 보였습니다.

• 비행 실험:

  • 500Hz 제어: DAQP 를 사용한 컨트롤러는 500Hz 주파수로 안정적으로 비행 제어에 성공했습니다.
  • 추적 성능: TinyMPC 펌웨어의 기본 튜닝을 사용할 경우 고도 추적 오차가 발생했으나, 이는 중력 보상 ($u_0$) 과 적분 작용의 부재 때문으로 분석되었습니다.
  • 가중치 ($R$) 조정: 제어 입력 가중치 $R$을 줄이면 추적 성능은 향상되지만, 계산 부하가 증가하여 500Hz 실시간 요구사항을 위반할 수 있음이 확인되었습니다 (특히 하강 구간에서).

• 인증 결과:

  • PCA 를 적용한 파라미터 집합 ($\Theta_{pca}$) 을 사용하면, DAQP 가 500Hz 실시간 요구사항을 충족함을 사전에 인증할 수 있었습니다.
  • 반면, 너무 보수적인 파라미터 집합을 사용하면 DAQP 가 실시간 요구사항을 위반하는 것으로 오인될 수 있었습니다.
  • $R$ 값을 100 으로 줄인 경우, PCA 기반 분석은 해당 설정이 실시간 요구사항을 위반할 것임을 정확히 예측했습니다.

5. 의의 및 결론 (Significance & Conclusion)

• 기술적 의의: 이 연구는 **활성 집합 방법 (Active-set methods)**이 리소스 제약이 심한 임베디드 하드웨어에서도 ADMM 기반 방법보다 경쟁력 있으며, 고주파수 제어에 적합함을 실증했습니다.
• 신뢰성 확보: 실시간성 인증 (Real-time certification) 도구와 PCA 기반의 데이터 주도 접근법을 결합함으로써, 비행 전에 솔버의 실시간 적합성을 신뢰할 수 있게 검증할 수 있는 체계를 마련했습니다.
• 미래 전망: 이 연구는 나노 쿼드콥터뿐만 아니라 다른 자원 제약이 있는 임베디드 최적화 응용 분야에서 고신뢰성 MPC 구현의 새로운 길을 열었습니다. 향후에는 오프셋 프리 (offset-free) MPC 등을 활용한 제어 성능 향상과 인증 알고리즘의 추가 최적화가 필요하다고 결론지었습니다.

핵심 요약: 이 논문은 Crazyflie 나노 드론에서 500Hz 로 작동하는 MPC 를 위해 **DAQP(쌍대 활성 집합 솔버)**를 사용했으며, TinyMPC(ADMM 솔버) 보다 더 빠르고 효율적임을 실험적으로 증명했습니다. 또한 PCA 를 활용한 데이터 기반 파라미터 축소를 통해 실시간성 인증의 정확도와 효율성을 크게 높였습니다.