This work proves that every task provides an upper bound on the true cost-to-go and that BOTC minimizes this bound, and proposes Bound-Optimized Task Choice (BOTC), a framework that optimizes over the entire space of valid approximations, termed tasks, satisfying the PI coupling constraint.
Abstract
Path Integral (PI) control is a powerful sampling-based method for stochastic optimal control, but it requires a restrictive coupling between the noise covariance and the control cost matrix that is rarely satisfied in practice, particularly in aerospace and cyber-physical systems. We propose Bound-Optimized Task Choice (BOTC), a framework that optimizes over the entire space of valid approximations, termed tasks, satisfying the PI coupling constraint. We prove that every task provides an upper bound on the true cost-to-go and that BOTC minimizes this bound. We derive a change-of-measure formulation that enables evaluation of all candidate tasks from a single set of Monte Carlo samples, eliminating the need to resample for each candidate task. The resulting optimization is parameterized by a positive semi-definite matrix. Furthermore, we propose a novel Normal-Inverse-Wishart distribution-based importance sampling scheme to improve global optimization. We validate BOTC on a finite-horizon stochastic linear-quadratic regulator problem, demonstrating that it tracks the constrained optimum.
Empirical results demonstrate that PI-VM matches SOTA precision with an order-of-magnitude efficiency gain in low-dimensional settings, while effectively mitigating mode collapse in high-dimensional scenarios, and offers a scalable solution for solving complex SOC problems.
Bangyan Liao, Cheng-Lei Yu, Yuchen Yang et al.· 0 citations
The Frank--Wolfe framework is extended to input design for system identification with unknown dynamics and adaptive online LQR, and an $\mathcal{O}(1/M)$ convergence rate is established for the objective value, while strong convexity yields an $\mathcal{O}(1/\sqrt{M})$ rate for the iterates.
Fethi Bencherki, Bruce D. Lee, Nikolai Matni et al.· 0 citations
A novel spectrum assignment method is proposed to obtain an initial stabilizer for PI in continuous-time indefinite stochastic linear quadratic control with the help of the Lyapunov-type operator's spectrum, which is gradually approximated from the stable auxiliary system by adjusting a cumulative factor, thereby obtai...
A dual-ascent algorithm is proposed to solve the original problem as a constrained Markov decision process and it is proved that this formulation enjoys strong duality, thereby enabling it to reformulate the problem as an equivalent unconstrained one in the Lagrange dual framework.
Francesco Cordiano, Kang-Hui He, B. de Schutter· 0 citations
A verification framework to numerically analyze inexact model predictive controllers (MPCs) in the constrained non-linear discrete-time setting to formulate an optimization problem that searches over the worst-case initial state within a given set and control inputs consistent with the inexact controller to maximize a...
Rajiv Sambharya, S. C. Anand, George J. Pappas· 0 citations
This letter develops a time-parallel policy-gradient framework for discrete-time nonlinear control-affine systems and proves that, for any finite horizon T, the state solver recovers the exact trajectory from any initialization in at most T iterations.
A. Nguyen, Lei-Lei Cui· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.