[논문 리뷰] A numerical solution to the minimum-time control problem for linear discrete-time systems

Laurent Bako, Dulin Chen외 1명|arXiv (Cornell University)|2011. 09. 17.

Sparse and Compressive Sensing Techniques참고 문헌 16인용 수 8

한 줄 요약

이 논문은 선형 이산시간 시스템에 대한 최소시간 제어 문제를 위한 일반적인 수치적 해법을 제시한다. 상태 시퀀스의 카디널리티 최소화를 가중치가 부여된 ℓ2-노름 최소화로 유연하게 변환함으로써, 볼록 최적화를 가능하게 하여 충분한 조건 하에서 정확히 시간 최적 제어를 복원할 수 있다. 이 방법은 범용 다중입력 시스템에 적용 가능하며, 번개-번개 제어 구조를 요구하지 않는다.

ABSTRACT

The minimum-time control problem consists in finding a control policy that will drive a given dynamic system from a given initial state to a given target state (or a set of states) as quickly as possible. This is a well-known challenging problem in optimal control theory for which closed-form solutions exist only for a few systems of small dimensions. This paper presents a very generic solution to the minimum-time problem for arbitrary discrete-time linear systems. It is a numerical solution based on sparse optimization, that is the minimization of the number of nonzero elements in the state sequence over a fixed control horizon. We consider both single input and multiple inputs systems. An important observation is that, contrary to the continuous-time case, the minimum-time control for discrete-time systems is not necessarily entirely bang-bang.

연구 동기 및 목표

• 임의의 선형 이산시간 시스템에 대해 일반적이고 계산적으로 실현 가능한 최소시간 제어 문제의 해법을 개발한다.
• 기존 방법들이 이중 적분기와 같은 저차원 또는 특수 시스템에 국한되어 있다는 한계를 해결한다.
• 상태 시퀀스의 희박성(카디널리티)을 직접 최소화하는 것이 계산적으로 불가능하다는 점을 고려해 볼록 근사를 사용한다.
• 유연한 문제의 해가 특정 이론적 조건 하에서 진짜 최소시간 해와 정확히 일치함을 보여준다.
• 번개-번개 제어 구조에 국한되지 않고, 이산시간 시스템에서 항상 성립하지 않는 경우가 있는 일반적인 적용 가능성을 넓힌다.

제안 방법

• 유한 시간 간격 동안 상태 궤적의 비영 상태 수를 최소화하는 방식으로 최소시간 제어 문제를 수식화한다. 즉, 상태 궤적의 희박성 최소화이다.
• 상태 시퀀스의 카디널리티 최소화 문제를 비볼록이고 조합적인 문제로 간주하여, 상태의 가중치가 부여된 ℓ2-노름을 사용해 볼록 최적화 문제로 유연하게 변환한다.
• 시간에 따라 증가하는 시간에 따라 변하는 가중치를 도입하여, 초기에 상태 감쇠와 희박성을 유도한다.
• 볼록 최적화 솔버를 사용해 상태를 최소 시간 내에 0으로 이끄는 제어 시퀀스를 효율적으로 계산한다.
• 유연한 해가 진짜 최소시간 제어 정책과 정확히 일치하는 데 필요한 충분한 조건을 유도한다.
• 최적화를 매 시간 단위가 아닌 주기적으로 수행하는 온라인 후퇴 시간 영역 전략을 구현한다.

실험 결과

연구 질문

• RQ1 희박 최적화 문제의 볼록 근사화가 이산시간 선형 시스템에서 최소시간 제어 문제의 정확한 해를 도출할 수 있는가?
• RQ2 제안된 방법이 이중 적분기와 같은 특수 케이스 외에도 임의의 다중입력 선형 시스템에 적용 가능한가?
• RQ3 왜 이산시간 시스템에서는 최적 제어가 반드시 번개-번개가 아니며, 연속시간 시스템과는 어떻게 다를 수 있는가?
• RQ4 가중치가 부여된 ℓ2-노름 근사화가 어떤 조건에서 진짜 최소시간 해를 정확히 복원하는가?
• RQ5 이 방법은 상태 차원이 높고 다수의 입력을 가진 시스템에서 어떻게 성능을 발휘하는가?

주요 결과

• 제안된 방법은 이중 적분기 시스템에 대해 시간 최적 제어 시퀀스를 성공적으로 계산하였으며, 연속시간 해에서 관찰되는 예상되는 포물선 궤적과 일치한다.
• 이중 적분기 시스템에서 최적 제어는 완전히 번개-번개가 아니며, 이는 이산시간 시스템에서 최적 제어가 항상 번개-번개가 아닐 수 있음을 확인하는 이전 연구 결과를 뒷받침한다.
• 랜덤 동역학을 가진 3차원 다중입력 시스템에서, 10단계 시간 간격 내에 상태를 0으로 이끄는 타당한 제어 시퀀스를 계산하였다.
• 상태가 0에서 멀리 떨어져 있을 때 제어 입력은 그 경계(즉, ∥u∥₂ = 1)에 수렴하고, 상태가 0에 가까워질수록 감소함을 보여, 효과적인 피드백 행동을 나타낸다.
• 가중치가 부여된 ℓ2-노름 근사화 방법은 유도된 충분한 조건 하에서 정확히 최소시간 해를 복원하였으며, 이는 이론적 프레임워크의 타당성을 검증한다.
• 이 방법은 실시간 응용에서 주기적인 재최적화를 가능하게 하여 계산 부담을 줄이면서도 성능를 유지한다.