[논문 리뷰] Time Optimal Synthesis for Left--Invariant Control Systems on SO(3)

Ugo Boscain, Yacine Chitour|ArXiv.org|2005. 02. 23.

Stability and Control of Uncertain Systems참고 문헌 15인용 수 6

한 줄 요약

이 논문은 소(3)에서의 왼쪽 불변 제어 시스템에 대한 시간 최적 궤적에서의 최대 스위칭 수에 대해, 호프 fibration를 통한 RP² 상의 투영된 제어 문제를 이용하여 날카운 경계를 설정한다. 이를 통해 스위칭 수 $ N(\alpha) $ 가 $ N_S(\alpha) \leq N(\alpha) \leq N_S(\alpha) + 4 $ 를 만족하며, $ \alpha \to 0 $ 일 때 $ N_S(\alpha) \sim \pi/(4\alpha) $ 임을 증명함으로써, 제어 가중치가 작은 비선형 시스템에서 풀러 현상에 대한 이해의 핵심적 격차를 해결한다.

ABSTRACT

Consider the control system given by $\dot x=x(f+ug)$, where $x\in SO(3)$, $|u|\leq 1$ and $f,g\in so(3)$ define two perpendicular left-invariant vector fields normalized so that $\|f\|=\cos(\al)$ and $\|g\|=\sin(\al)$, $\al\in ]0,π/4[$. In this paper, we provide an upper bound and a lower bound for $N(α)$, the maximum number of switchings for time-optimal trajectories. More precisely, we show that $N_S(\al)\leq N(\al)\leq N_S(\al)+4$, where $N_S(\al)$ is a suitable integer function of $\al$ which for $\al o 0$ is of order $π/(4α).$ The result is obtained by studying the time optimal synthesis of a projected control problem on $R P^2$, where the projection is defined by an appropriate Hopf fibration. Finally, we study the projected control problem on the unit sphere $S^2$. It exhibits interesting features which will be partly rigorously derived and partially described by numerical simulations.

연구 동기 및 목표

• 소(3)에서의 왼쪽 불변 제어 시스템에 대해 제어 가중치가 작은 경우 시간 최적 궤적에서의 최대 스위칭 수 $ N(\alpha) $ 를 규명하는 것.
• $ \alpha \to 0 $ 일 때 $ N(\alpha) $ 의 점근적 행동을 규명하는 것, 특히 발산하는지 유한한지 여부를 밝히는 것.
• 이전의 색인 이론에 기반한 추정치를 향상시켜 $ N(\alpha) $ 에 대한 하한과 상한을 동시에 확립하는 것.
• RP² 상의 투영된 제어 문제와 구면 $ S^2 $ 를 기하학적 및 수치적 방법을 통해 분석하는 것.
• 남극 근처 최적 합성의 구조와 스위칭 곡선이 최적성 상실에 미치는 역할을 조사하는 것.

제안 방법

• 원래의 SO(3) 제어 시스템을 호프 피브레이션을 이용해 $ \mathbb{R}P^2 $ 상의 축소된 시스템으로 투영함으로써, 극단적 궤적 분석을 단순화한다.
• 포트리아긴 최대원리 적용을 통해 후보 최적 궤적을 극값선으로 줄이며, 이는 의사해밀토니안 시스템의 해로 표현된다.
• 색인 이론과 고차 최적성 조건(예: 공액점, 고리 이론)을 사용하여 비최적 극값선을 제거한다.
• $ N_S(\alpha) = 2\left[\frac{\pi}{8\alpha}\right] - \left[2\left[\frac{\pi}{8\alpha}\right] - \frac{\pi}{4\alpha}\right] $ 를 $ N(\alpha) $ 를 둘러싸는 기준 함수로 정의한다.
• 남극 근처의 스위칭 곡선과 최적 합성의 행동을 연구하기 위해 구면 $ S^2 $ 에서 수치 시뮬레이션을 수행한다.
• 정의 7을 통해 국소적으로 최적인 스위칭 곡선의 개념을 도입하며, 이는 곡선의 탄젠트가 두 벡터장의 음이 아닌 조합과 항상 일치하지 않음을 요구한다.

실험 결과

연구 질문

• RQ1 시간 최적 궤적에서의 최대 스위칭 수 $ N(\alpha) $ 가 $ \alpha \to 0 $ 일 때 점근적으로 어떻게 행동하는가?
• RQ2 북반구에 있는 모든 극값선이 전역적으로 최적인가, 아니면 국소 최적성 상실 이전에 이미 최적성을 상실하는가?
• RQ3 남극 근처 최적 합성은 나머지 $ r = \pi - 2\alpha[\pi/(2\alpha)] $ 에 따라 어떻게 달라지는가?
• RQ4 어떤 조건에서 스위칭 곡선이 국소적으로 최적이며, 언제는 궤적을 반사하는가?
• RQ5 이 시스템에서 유한한 매개변수를 가진 궤적의 가족이 최적성을 확보하는 데 충분한가? 이는 다른 시스템에서의 유한 스위칭 케이스와 비교해보면 어떻게 되는가?

주요 결과

• 최대 스위칭 수 $ N(\alpha) $ 는 $ N_S(\alpha) \leq N(\alpha) \leq N_S(\alpha) + 4 $ 를 만족하며, $ \alpha \to 0 $ 일 때 $ N_S(\alpha) \sim \pi/(4\alpha) $ 임을 확인하여 날카운 추정치를 제공한다.
• 수치 시뮬레이션은 북반구의 스위칭 곡선이 국소적으로 최적이며, 궤적의 반사가 일어나지 않는 강력한 증거를 제공한다.
• 추측 C1은 스위칭 곡선 $ C_k^\varepsilon(s) $ 가 $ k \leq \left[\frac{\pi - \alpha}{2\alpha}\right] - 1 $ 일 때에만 국소적으로 최적이며, 이는 궤적의 끝점에서 기하학적 정렬과 관련이 있음을 제시한다.
• 만일 $ T \leq (N_A - 1)\pi $ 이면 북반구에 기반한 합성이 여전히 전역적으로 최적이다. 여기서 $ N_A = \left[\frac{\pi}{2\alpha}\right] $ 이다.
• 남극 근처 최적 합성의 구조는 나머지 $ r = \pi - 2\alpha[\pi/(2\alpha)] $ 에 의해 결정되며, 세 가지 경우로 나뉜다: $ r \in ]\alpha_2, 2\alpha[ $, $ r \in [\alpha_1, \alpha_2] $, $ r \in ]0, \alpha_1[ $.
• 경우 A($ r \in ]\alpha_2, 2\alpha[ $) 에서는 $ P_N^{+} $ 에서 시작하는 스위칭 곡선이 원점을 통과하는 오버랩 곡선과 이어지며, 최적 구조의 전이를 나타낸다.