arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2001.09576cs.LGmath.OCstat.ML

朴素探索在在线LQR中是最优的

Naive Exploration is Optimal for Online LQR

UC Berkeley(加州大学伯克利分校);MIT(麻省理工学院)

Max Simchowitz, Dylan J. Foster

AI总结:

针对未知参数的线性二次调节器在线自适应控制问题,通过自界常微分方程法证明最优遗憾的缩放阶,推翻多对数阶遗憾猜想,证实带探索噪声的确定性等价控制变体可达到最优维度依赖。

摘要:

我们研究真实系统参数未知情况下的线性二次调节器在线自适应控制问题。我们证明了新的上界和下界,表明最优遗憾的缩放阶为$\tilde{\u0398}(\u221a{d_{\u00b2}_\u0075 d_\u0078 T})$,其中$T$为时间步数,$d_\u0075$为输入空间维度,$d_\u0078$为系统状态维度。值得注意的是,我们的下界排除了存在$\u0070oly(\u006cog T)$阶遗憾算法的可能性,而由于该问题表面上的强凸性,此前学界曾推测存在这类算法。我们的上界由一种简单的\u0063ertainty equivalent control(确定性等价控制)变体实现:智能体根据自身对系统的估计,按照最优控制器选择控制输入,同时注入探索性随机噪声。虽然Mania等人2019年的研究已表明该方法能达到$\u221aT$阶遗憾,但我们证明,若智能体持续细化对系统矩阵的估计,该方法还能达到最优的维度依赖关系。\n我们上下界证明的核心是一种控制Riccati方程扰动的新方法,称为\u0073elf-bounding ODE method(自界常微分方程法),我们用该方法推导了基于估计系统动力学合成的确定性等价控制器的次优性界。这进而使得我们得到的遗憾上界适用于\u0061ny stabilizable instance(任意可镇定实例),且随自然的控制论量缩放。

英文摘要:

We consider the problem of online adaptive control of the linear quadratic regulator, where the true system parameters are unknown. We prove new upper and lower bounds demonstrating that the optimal regret scales as $\widetildeΘ({\sqrt{d_{\mathbf{u}}^2 d_{\mathbf{x}} T}})$, where $T$ is the number of time steps, $d_{\mathbf{u}}$ is the dimension of the input space, and $d_{\mathbf{x}}$ is the dimension of the system state. Notably, our lower bounds rule out the possibility of a $\mathrm{poly}(\log{}T)$-regret algorithm, which had been conjectured due to the apparent strong convexity of the problem. Our upper bound is attained by a simple variant of $\textit{certainty equivalent control}$, where the learner selects control inputs according to the optimal controller for their estimate of the system while injecting exploratory random noise. While this approach was shown to achieve $\sqrt{T}$-regret by (Mania et al. 2019), we show that if the learner continually refines their estimates of the system matrices, the method attains optimal dimension dependence as well. Central to our upper and lower bounds is a new approach for controlling perturbations of Riccati equations called the $\textit{self-bounding ODE method}$, which we use to derive suboptimality bounds for the certainty equivalent controller synthesized from estimated system dynamics. This in turn enables regret upper bounds which hold for $\textit{any stabilizable instance}$ and scale with natural control-theoretic quantities.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑