フィードバック制御ループで視覚的観測と学習された知覚モジュールを使用するときに、目標状態への実行時の安定性を保証する、制御アフィン非線形システムの動的な低次出力フィードバック多項式制御ポリシーを合成する方法を提示します。リアプノフ分析を活用して、そのようなポリシーを統合する問題を定式化します。この問題は、ポリシー パラメーターと、ポリシーの安定性を証明するために使用されるリアプノフ関数では非凸です。この問題を近似的に解決するために、2 つのアプローチを提案します。1 つ目は一連の二乗和最適化問題を解いて、構造によって証明可能で安定しているポリシーを反復的に改善します。2 つ目は、次のパラメーターに対して勾配ベースの最適化を直接実行します。多項式ポリシー、およびその閉ループ安定性は事後的に検証されます。学習した知覚モジュールのエラーが原因で実際に発生する観測ノイズの存在下で安定性を保証するために、アプローチを拡張します。振り子やクワッドローターを含むいくつかの過小作動非線形システムでアプローチを評価し、これらのシステムを画像から制御するときに保証が経験的安定性に変換されることを示しますが、ベースラインアプローチはシステムを確実に安定化できない可能性があります。
We present a method for synthesizing dynamic, reduced-order output-feedback polynomial control policies for control-affine nonlinear systems which guarantees runtime stability to a goal state, when using visual observations and a learned perception module in the feedback control loop. We leverage Lyapunov analysis to formulate the problem of synthesizing such policies. This problem is nonconvex in the policy parameters and the Lyapunov function that is used to prove the stability of the policy. To solve this problem approximately, we propose two approaches: the first solves a sequence of sum-of-squares optimization problems to iteratively improve a policy which is provably-stable by construction, while the second directly performs gradient-based optimization on the parameters of the polynomial policy, and its closed-loop stability is verified a posteriori. We extend our approach to provide stability guarantees in the presence of observation noise, which realistically arises due to errors in the learned perception module. We evaluate our approach on several underactuated nonlinear systems, including pendula and quadrotors, showing that our guarantees translate to empirical stability when controlling these systems from images, while baseline approaches can fail to reliably stabilize the system.