Double Integrator

• 카테고리: Control › Feedback control
• 태그: dynamics, linear-systems, state-space, control-theory, point-mass

가장 단순한 2차 동역학 시스템으로, 제어 입력은 가속도이고 위치와 속도가 상태이다. 명령된 힘을 받아 움직이는 질점을 모델링한다.

정의

이중 적분기(double integrator)는 입력을 두 번 적분해 출력을 얻는 시스템이다. 1차원에서 동역학은 ẍ = u이다. 제어 u는 가속도이고, 속도는 그 적분이며, 위치는 속도의 적분이다. 상태 [p; v]를 쓰는 상태 공간 형식에서 시스템은 ẋ = A x + B u이며, A = [[0, 1], [0, 0]], B = [0; 1]이다. 고차원 버전은 축마다 이런 쌍을 하나씩 쌓으므로, 3D에서 움직이는 질점은 독립적인 이중 적분기 세 개이다. 물리적으로는 힘으로 구동되는 마찰 없는 질량을 나타내며, 이때 입력은 힘을 질량으로 나눈 값이다.

이중 적분기는 선형이고 가제어이므로 제어와 계획에서 표준 예제가 된다. 위치와 속도에 대한 비례-미분(PD) 피드백이 이를 안정화하며, 이득은 폐루프의 고유 진동수와 감쇠에 직접 대응된다. 이 시스템에 대한 선형 이차 레귤레이터는 작은 리카티 방정식에서 나오고, 가속도가 제한된 최소 시간 문제에는 위상 평면에 스위칭 곡선이 하나뿐인 잘 알려진 뱅뱅 해가 있다. 시간 간격 Δt와 그 간격 동안 일정한 입력을 쓰는 이산 시간에서 갱신식은 p ← p + v Δt + ½ u Δt²와 v ← v + u Δt이며, 모델 예측 제어와 궤적 최적화에 쉽게 넣을 수 있다.

많은 실제 시스템은 변환을 거치면 이중 적분기로 귀착된다. 계산 토크 제어는 완전 구동 매니퓰레이터의 비선형 동역학을 상쇄해, 각 관절이 명령된 가속도로 구동되는 이중 적분기처럼 동작하게 만든다. 쿼드로터의 병진 운동은 명령된 가속도에 대해 이중 적분기에 가까우며, 이것이 미분 평탄성과 최소 스냅 궤적이 드론에서 잘 작동하는 이유 중 하나이다. 계획 논문들은 시뮬레이션에서 흔히 이중 적분기 로봇을 사용하는데, 동역학을 단순하게 유지하면서도 운동량과 가속도 한계를 담아내기 때문이다. 그 단순함의 대가로 마찰, 액추에이터 동역학, 비홀로노믹 구속, 포화가 빠져 있으므로, 이중 적분기에서 얻은 결과가 실제 플랫폼으로 자동으로 이어지지는 않는다.

중요한 이유

이중 적분기는 관성, 즉 로봇이 속도를 순간적으로 바꿀 수 없다는 사실을 담아내는 가장 단순한 모델이다. 피드백 제어, 궤적 생성, 키노다이내믹 계획을 이해하는 출발점이며, 많은 실용적 제어기는 먼저 로봇을 이 형태로 축약한 뒤 설계된다.

주요 응용

• 모션 플래닝 및 제어 연구를 위한 벤치마크 동역학
• 쿼드로터 병진 운동과 질점 이동체의 단순화 모델
• 계산 토크 선형화 이후의 관절 수준 모델
• PD, LQR, 최소 시간 제어 교육
• 2차 에이전트를 이용한 다중 에이전트 합의 및 대형 제어

실제 사례

지상 로봇 팀을 위한 반응형 계획기를 시제작하는 한 팀이, 계획기가 정지 거리를 고려해야 하도록 가속도와 속도가 제한된 시뮬레이션 이중 적분기 에이전트에서 먼저 시험한다. 계획기가 작동하면, 계획된 가속도를 추종하는 저수준 제어기와 추종 오차를 흡수하기 위한 가속도 한계 여유를 두고 실제 차동 구동 로봇에 배치한다. 실제 로봇이 회전에서 지나치게 돌아가자, 팀은 문제의 원인을 모델링되지 않은 비홀로노믹 구속으로 추적하고, 이를 계획기에 추가하거나 가속도 한계를 더 좁힌다.

흔한 오해

• 이중 적분기는 교과서용 장난감일 뿐이다 — 많은 제어 시스템이 피드백 선형화 후 이 형태로 귀착되며, 드론과 매니퓰레이터 제어에 널리 쓰인다
• 이중 적분기에서 얻은 결과는 실제 로봇으로 바로 이어진다 — 마찰, 액추에이터 한계, 지연, 비홀로노믹 구속이 모델에 없으며 이들이 거동을 바꿀 수 있다
• 이중 적분기는 단일 적분기와 같다 — 단일 적분기는 속도를 입력으로 받아 속도를 순간적으로 바꿀 수 있지만, 이중 적분기는 가속도를 입력으로 받으며 운동량을 가진다

알아야 할 사람

• 제어 엔지니어와 학생
• 새 알고리즘을 시험하는 모션 플래닝 연구자
• 드론 및 이동 로봇 개발자
• 다중 로봇 시스템 연구자

관련 기술

• PD 제어(PD Control)
• 계산 토크 제어(Computed-Torque Control)
• 뱅뱅 제어(Bang-Bang Control)
• 상태 공간 모델(State-Space Models)
• 모델 예측 제어(Model Predictive Control)

관련 용어

• Linear-Quadratic Regulator
• PID Controller
• Model Predictive Control
• Feedback Linearization
• Minimum-Snap Trajectory
• Kinodynamic Planning

관련 프로젝트

• Drake: MIT robotics toolbox for model-based dynamics, optimization, and control system design
• DART: C++ physics engine for articulated rigid body dynamics and robotics simulation
• frax: JAX library for fast, differentiable robot kinematics, dynamics and inverse kinematics