Pith. sign in

REVIEW

Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2109.03861 v2 pith:XISYKOZD submitted 2021-09-08 eess.SY cs.AIcs.ROcs.SY

classification eess.SYcs.AIcs.ROcs.SY
keywords controllersstabilitysystemsneuralconditionscontrolgradientmethod
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Neural network controllers have become popular in control tasks thanks to their flexibility and expressivity. Stability is a crucial property for safety-critical dynamical systems, while stabilization of partially observed systems, in many cases, requires controllers to retain and process long-term memories of the past. We consider the important class of recurrent neural networks (RNN) as dynamic controllers for nonlinear uncertain partially-observed systems, and derive convex stability conditions based on integral quadratic constraints, S-lemma and sequential convexification. To ensure stability during the learning and control process, we propose a projected policy gradient method that iteratively enforces the stability conditions in the reparametrized space taking advantage of mild additional information on system dynamics. Numerical experiments show that our method learns stabilizing controllers while using fewer samples and achieving higher final performance compared with policy gradient.

Discussion (0). Continue with ORCID to comment.

Pith tools