Optimistic Online LQR via Intrinsic Rewards
Organizations: ETH Zürich, Zürich, Switzerland
Abstract
Optimism in the face of uncertainty is a popular approach to balance exploration and exploitation in reinforcement learning. Here, we consider the online linear quadratic regulator (LQR) problem, i.e., to learn the LQR corresponding to an unknown linear dynamical system by adapting the control policy online based on closed-loop data collected during operation. In this work, we propose Intrinsic Rewards LQR (IR-LQR), an optimistic online LQR algorithm that applies the idea of intrinsic rewards originating from reinforcement learning and the concept of variance regularization to promote uncertainty-driven exploration. IR-LQR typically retains the structure of a standard LQR synthesis problem by only modifying the cost function, resulting in an intuitively pleasing, simple, computationally cheap, and efficient algorithm. This is in contrast to existing optimistic online LQR formulations that rely on more complicated iterative search algorithms or solve computationally demanding optimization problems. We show that IR-LQR achieves the optimal worst-case regret rate of , and compare it to various state-of-the-art online LQR algorithms via numerical experiments carried out on an aircraft pitch angle control and an unmanned aerial vehicle example.
Figures & tables
| Synthesis problem | Noise injection | Requirement on | |
|---|---|---|---|
| CEC+PE [ 34 ] | LQR | yes | 2 2 2 This method uses a warm-up phase rather than an initial estimate, but the regret analysis presented there could be modified to instead work with a prior that is independent of . |
| OSLO [ 9 ] | SDP | no | |
| LagLQ [ 3 ] | iterative search | no | |
| TS [ 2 ] | LQR | yes 3 3 3 The method in [ 2 ] does not inject noise, but their theory only applies to scalar systems. The state-of-the-art theory of Thompson sampling in online LQR [ 20 ] requires noise injection. | |
| IR-LQR (ours) | LQR 4 4 4 Only true for the primary controller, while the fallback problem can be exactly reformulated as an SDP. | no |