Abstract:In this paper, we propose a novel controller design approach for unknown nonlinear systems using the Koopman operator. In particular, we use the recently proposed stability- and certificate-oriented extended dynamic mode decomposition (SafEDMD) architecture to generate a data-driven bilinear surrogate model with certified error bounds. Then, by accounting for the obtained error bounds in a controller design based on the bilinear system, one can guarantee closed-loop stability for the true nonlinear system. While existing approaches over-approximate the bilinearity of the surrogate model, thus introducing conservatism and providing only local guarantees, we explicitly account for the bilinearity by using sum-of-squares (SOS) optimization in the controller design. More precisely, we parametrize a rational controller stabilizing the error-affected bilinear surrogate model and, consequently, the underlying nonlinear system. The resulting SOS optimization problem provides explicit data-driven controller design conditions for unknown nonlinear systems based on semidefinite programming. Our approach significantly reduces conservatism by establishing a larger region of attraction and improved data efficiency. The proposed method is evaluated using numerical examples, demonstrating its advantages over existing approaches.

Synthesizing Control Laws from Data using Sum-of-Squares Optimization

Koopman-based control using sum-of-squares optimization: Improved stability guarantees and data efficiency

Approximate Optimal Controller Synthesis for Cart-Poles and Quadrotors via Sums-of-Squares

Control Synthesis for Polynomial Nonlinear Systems and Application in Attitude Control

Direct Data-Driven State-Feedback Control of Linear Parameter-Varying Systems

Data-driven feedback stabilization of nonlinear systems: Koopman-based model predictive control

Systematic, Lyapunov-Based, Safe and Stabilizing Controller Synthesis for Constrained Nonlinear Systems

Stability Analysis And Control Synthesis For Uncertain Polynomial Nonlinear Systems

Simultaneous Controller and Lyapunov Function Design for Constrained Nonlinear Systems

Data-Driven Nonlinear Stabilization Using Koopman Operator

Data-Driven Control with Inherent Lyapunov Stability

Data-Driven Control of Linear Parabolic Systems using Koopman Eigenstructure Assignment

Direct Data-Driven Stabilization of Nonlinear Affine Systems Via the Koopman Operator.

From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems

Generalized State-Feedback Controller Synthesis for Underactuated Systems through Bayesian Optimization

Designing System Level Synthesis Controllers for Nonlinear Systems with Stability Guarantees

Robust data-driven control for nonlinear systems using the Koopman operator

Learning control for polynomial systems using sum of squares relaxations

Learning Control-Oriented Dynamical Structure from Data

Direct data-driven state-feedback control of general nonlinear systems

Synthesizing Stable Reduced-Order Visuomotor Policies for Nonlinear Systems via Sums-of-Squares Optimization