[논문 리뷰] Best Approximation Optimal Control for Infeasible Double Integrator and Douglas--Rachford Algorithm

Regina S. Burachik, Bethany I. Caldwell외 2명|arXiv (Cornell University)|2026. 02. 08.

Numerical methods for differential equations인용 수 0

한 줄 요약

논문은 불가능해진 이중 적분기 문제에 대한 최적 근사 제어를 분석하고, 최대 한 번의 스위칭이 있는 해석적 bang–bang 해를 도출하며, 수치 사례 연구를 통해 느슨한 Douglas–Rachford 알고리즘을 평가한다.

ABSTRACT

We consider the problem of finding (in some sense) the best approximation control for an infeasible double integrator. The control function is constrained by upper and lower bounds that are too tight and thus cause infeasibility. The infeasibility is characterized by a gap function (representing the separation between two constraint sets) whose squared ${\cal L}^2$-norm is to be minimized to find the best approximation control solution. First, we review the existing results for problems involving a general linear control system. Then, for the infeasible double integrator problem, we present an analytical solution for the bang--bang control with at most one switching. The infinite-dimensional optimization problem is reduced to the problem of solving two algebraic equations in two variables, to compute the switching time and gap function. We discuss numerical approaches to solving the system of equations. Finally, we describe the (relaxed) Douglas--Rachford algorithm for the double integrator problem and carry out numerical experiments to illustrate the implementation of the algorithm and test performance.

연구 동기 및 목표

• 불가능한 선형 동역학에 대한 최적 근사 제어를 동기부여하고 형식화하며, 이중 적분기를 사례 연구로 삼는다.
• 한계가 너무 빡빡하고 허용 가능한 해의 교집합이 비어 있을 때 최적 제어의 구조를 규명한다.
• 최대 한 번의 스위칭으로 나타나는 bang–bang 제어를 보이는 해석적 해를 도출하고, 스위칭 시간과 간극을 구하는 방법을 제시한다.
• 불가능한 제어 문제를 해결하기 위해 느슨한(DR) 알고리즘 포함한 수치 해법들을 탐구한다.

제안 방법

• 갭 최소화를 포함한 일반 선형 동역학의 가능성 평가 및 최적 근사 프레임워크에 대한 검토.
• 불가능한 이중 적분기에 대해 최적 근사 제어가 최대 한 번의 스위칭 시간을 갖는 bang–bang임을 보인다.
• 무한 차원 문제를 두 변수(스위칭 시간과 간극)의 두 대수 방정식 풀기로 환원한다.
• 제한이 촘촘해질 때 스위칭 시간의 점근적 거동을 도출하고 수치 실험과 함께 Douglas–Rachford 알고리즘 변형을 분석한다.
• 사례 연구를 제시하고 뉴턴형 방법에 의한 스위칭 시간 계산과 이산화된 접근법을 비교한다.

(a) $a=a_{c}=1+\sqrt{2}$

실험 결과

연구 질문

• RQ1 불가능한 이중 적분기 제어에 대한 최적 근사 해를 해석적으로 특성화할 수 있는가?
• RQ2 불가능성 하에서 최적의 bang–bang 해의 최대 스위칭 지점 수는 몇 개인가?
• RQ3 축약된 방정식 계에서 스위칭 시간과 간극 함수를 어떻게 계산할 수 있는가?
• RQ4 실제 상황에서 느슨한 Douglas–Rachford 방법이 불가능한 이중 적분기 문제에 어떻게 성능을 보이는가?

주요 결과

a	c1	c2	스위칭 시간 (Newton)	스위칭 시간 (표 11)
2	0.971167995377200	-0.680944121562971	0.701159969031407	0.701
1.5	2.172720275813312	-1.506394502798288	0.693321878369456	0.693
1	3.410002343912741	-2.335315565026760	0.684842803464806	0.685
0.5	4.685608293782471	-3.166921471137164	0.675882675754071
0.1	5.734078050140310	-3.833335390181957	0.668518174440991	0.667
0	6	-4	0.666666666666667	0.667

• 불가능한 이중 적분기에 대한 최적 근사 제어는 최대 한 번의 스위칭을 갖는 bang–bang이다.
• 스위칭 시간과 간극 함수는 두 변수의 두 다항식 방정식의 해를 구함으로써 얻을 수 있다.
• 경계 a가 0으로 수렴할 때 스위칭 시간에 대한 점근적 결과가 제공된다.
• 사례 연구는 뉴턴 방법이 시스템을 높은 정확도로 풀 수 있음을 보여주며, DR 알고리즘의 빠른 평가를 가능하게 한다.
• 느슨한 Douglas–Rachford 알고리즘이 불가능한 문제들에 대해 기술되고 수치적으로 테스트되어 구현 및 성능을 보여준다.

(b) $a=2$