2025-11-23T02:40:16.760420

Dual-Regularized Riccati Recursions for Interior-Point Optimal Control

Sousa-Pinto, Orban

We derive closed-form extensions of Riccati's recursions (both sequential and parallel) for solving dual-regularized LQR problems. We show how these methods can be used to solve general constrained, non-convex, discrete-time optimal control problems via a regularized interior point method, while guaranteeing that each step is a descent direction of an Augmented Barrier-Lagrangian merit function. We provide MIT-licensed implementations of our methods in C++ and JAX.

academic

आंतरिक-बिंदु इष्टतम नियंत्रण के लिए द्वैत-नियमितकृत रिक्काती पुनरावृत्तियाँ

मूल जानकारी

पेपर ID: 2509.16370
शीर्षक: Dual-Regularized Riccati Recursions for Interior-Point Optimal Control
लेखक: João Sousa-Pinto, Dominique Orban
वर्गीकरण: math.OC cs.MS cs.RO cs.SY eess.SY
प्रकाशन समय: 15 अक्टूबर 2025 (arXiv v2)
पेपर लिंक: https://arxiv.org/abs/2509.16370

सारांश

यह पेपर द्वैत-नियमितकृत LQR समस्या को हल करने के लिए रिक्काती पुनरावृत्तियों के बंद-रूप विस्तार (अनुक्रमिक और समानांतर संस्करण दोनों सहित) प्राप्त करता है। लेखक दिखाते हैं कि कैसे नियमितकृत आंतरिक-बिंदु विधि का उपयोग करके सामान्य बाधित, गैर-उत्तल, असतत समय इष्टतम नियंत्रण समस्याओं को हल किया जाए, जबकि प्रत्येक चरण में संवर्धित बाधा-लैग्रेंजियन फलन की अवरोही दिशा की गारंटी दी जाए। पेपर C++ और JAX में MIT लाइसेंस कार्यान्वयन प्रदान करता है।

अनुसंधान पृष्ठभूमि और प्रेरणा

मूल समस्या

यह अनुसंधान समानता और असमानता बाधाओं के साथ गैर-उत्तल असतत समय इष्टतम नियंत्रण समस्याओं को कुशलतापूर्वक हल करने का तरीका खोजने के लिए है। पारंपरिक विधियों को इस तरह की समस्याओं को संभालते समय निम्नलिखित चुनौतियों का सामना करना पड़ता है:

कम्प्यूटेशनल दक्षता समस्या: मानक आंतरिक-बिंदु विधि इष्टतम नियंत्रण समस्याओं को संभालते समय बड़े पैमाने पर रैखिक प्रणालियों को हल करने की आवश्यकता होती है, जिससे कम्प्यूटेशनल जटिलता अधिक होती है
संख्यात्मक स्थिरता: जब नियमितकरण पैरामीटर शून्य की ओर जाता है, तो पारंपरिक विधियां संख्यात्मक अस्थिरता प्रदर्शित कर सकती हैं
समानांतरकरण कठिनाई: मौजूदा विधियां समानांतर कम्प्यूटिंग संसाधनों का पूर्ण उपयोग करना मुश्किल है

समस्या की महत्ता

इष्टतम नियंत्रण समस्याओं का रोबोटिक्स, एयरोस्पेस, स्वायत्त ड्राइविंग और अन्य क्षेत्रों में व्यापक अनुप्रयोग है। इस तरह की समस्याओं को कुशलतापूर्वक हल करना वास्तविक समय नियंत्रण प्रणालियों के लिए महत्वपूर्ण है, विशेष रूप से जटिल बाधाओं को संभालने की आवश्यकता वाले परिदृश्यों में।

मौजूदा विधियों की सीमाएं

DDP एल्गोरिदम: हालांकि व्यावहारिक रूप से सबसे अधिक उपयोग की जाने वाली विधि है, लेकिन एकल-शूटिंग विधि के रूप में, स्वतंत्र रूप से गर्म-शुरुआत स्थिति प्रक्षेपवक्र नहीं कर सकता
मानक LQR विधि: केवल बिना बाधा या सरल बाधा वाली रैखिक प्रणालियों के लिए उपयुक्त
मौजूदा आंतरिक-बिंदु विधियां: जैसे IPOPT आदि सामान्य सॉल्वर, इष्टतम नियंत्रण समस्याओं की संरचनात्मक विशेषताओं का पूर्ण लाभ नहीं उठा सकते

मूल योगदान

सैद्धांतिक योगदान: द्वैत-नियमितकृत LQR समस्या को हल करने के लिए बंद-रूप रिक्काती पुनरावृत्ति विस्तार प्राप्त किए, अनुक्रमिक और समानांतर संस्करण दोनों सहित
एल्गोरिदम नवाचार: नियमितकृत आंतरिक-बिंदु विधि प्रस्तावित की जो अवरोही दिशा की गारंटी देती है, संवर्धित बाधा-लैग्रेंजियन फलन को योग्यता फलन के रूप में उपयोग करके
संख्यात्मक स्थिरता: जब नियमितकरण पैरामीटर δ→0 होता है तो संख्यात्मक रूप से स्थिर एल्गोरिदम डिज़ाइन किया, जो मानक LQR एल्गोरिदम को पुनः प्राप्त कर सकता है
समानांतर एल्गोरिदम: संबद्ध स्कैन (associative scans) के आधार पर O(log N) समानांतर समय जटिलता के साथ हल एल्गोरिदम लागू किया
सॉफ्टवेयर योगदान: C++ और JAX में खुला स्रोत कार्यान्वयन प्रदान किया, जो कुशल विरल रैखिक बीजगणित संचालन का समर्थन करता है

विधि विवरण

कार्य परिभाषा

असतत समय इष्टतम नियंत्रण समस्या पर विचार करें:

$\min_{x_0,u_0,\ldots,x_N} \sum_{i=0}^{N-1} f_i(x_i, u_i) + f_N(x_N)$

बाधा शर्तें:

प्रारंभिक स्थिति: $x_0 = s_0$
गतिशीलता बाधा: $x_{i+1} = d_i(x_i, u_i), \forall i \in \{0,\ldots,N-1\}$
समानता बाधा: $c_i(x_i, u_i) = 0, \forall i \in \{0,\ldots,N-1\}$
असमानता बाधा: $g_i(x_i, u_i) \leq 0, \forall i \in \{0,\ldots,N-1\}$
टर्मिनल बाधा: $c_N(x_N) = 0, g_N(x_N) \leq 0$

undefined