Abstract:This work primarily focuses on an operator inference methodology aimed at constructing low-dimensional dynamical models based on a priori hypotheses about their structure, often informed by established physics or expert insights. Stability is a fundamental attribute of dynamical systems, yet it is not always assured in models derived through inference. Our main objective is to develop a method that facilitates the inference of quadratic control dynamical systems with inherent stability guarantees. To this aim, we investigate the stability characteristics of control systems with energy-preserving nonlinearities, thereby identifying conditions under which such systems are bounded-input bounded-state stable. These insights are subsequently applied to the learning process, yielding inferred models that are inherently stable by design. The efficacy of our proposed framework is demonstrated through a couple of numerical examples.

What problem does this paper attempt to address?

### Problems the Paper Attempts to Solve The paper primarily focuses on developing a method for constructing low-dimensional dynamical models with inherent stability. Specifically, the paper attempts to address the following issues: 1. **Stability of Dynamical Systems**: Many practical dynamical systems need to maintain their state variables within a certain range over a long period, i.e., the system needs to be stable. However, dynamical models constructed using data-driven methods (such as operator inference) often cannot guarantee this stability. 2. **Stability of Control Systems**: The paper particularly focuses on control systems that include quadratic nonlinear terms. These systems are very common in many applications, such as fluid dynamics, magnetohydrodynamics, etc. Ensuring the stability of these systems is an important research topic. 3. **Stability Assurance of Data-Driven Models**: Existing data-driven methods usually focus only on the predictive accuracy of the model, neglecting the stability of the model. The paper proposes a new method that can ensure the stability of the system during the model learning process. ### Main Contributions - **Machine Learning for Stability-Certified Control Systems**: The paper proposes a new method that can learn control systems with quadratic nonlinear terms and ensure the stability of these systems. - **Stable Matrix Parameterization**: By introducing specific matrix parameterization methods, the paper ensures that the learned dynamical models are inherently stable by design. - **Bounded Input Bounded State Stability**: The paper proves that under certain assumptions, the learned quadratic control systems have bounded input bounded state stability (BIBS). - **Numerical Experiment Validation**: Through multiple numerical experiments, the paper demonstrates the effectiveness and stability of the proposed framework. ### Method Overview 1. **Operator Inference Framework**: The paper is based on the operator inference method, learning low-dimensional dynamical models from high-dimensional data. 2. **Stable Matrix Parameterization**: By using specific matrix parameterization methods, the paper ensures that the learned system matrices are stable. 3. **Energy-Conserving Quadratic Nonlinear Terms**: By introducing energy-conserving quadratic nonlinear terms, the stability of the system is further enhanced. 4. **Optimization Problem**: The learning process is transformed into an optimization problem, determining the system matrices by minimizing the prediction error. ### Conclusion The proposed method can ensure the stability of the system during the data-driven dynamical model learning process, which is of great significance for many practical applications (such as robotics, epidemiology, climate science, etc.). Through numerical experiments, the paper verifies the effectiveness and robustness of the proposed method. Future work will further explore how to improve the model's performance under conditions of noise and sparse data.

Stability-Certified Learning of Control Systems with Quadratic Nonlinearities

Guaranteed Stable Quadratic Models and their applications in SINDy and Operator Inference

Stability Analysis Using Quadratic Constraints for Systems With Neural Network Controllers

A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees

Learning Control-Oriented Dynamical Structure from Data

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems

Data-Driven Control with Inherent Lyapunov Stability

Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems

Provably stable learning control of linear dynamics with multiplicative noise

Stability-certified reinforcement learning: A control-theoretic perspective

Data-driven learning and control of nonlinear system dynamics

Quadratic Stabilizability Problem Of Structural Uncertainties

On the Stability of Undesirable Equilibria in the Quadratic Program Framework for Safety-Critical Control

Efficient Learning of Distributed Linear-Quadratic Controllers

Learning-Based Safety-Stability-Driven Control for Safety-Critical Systems under Model Uncertainties

Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees

Learning to Boost the Performance of Stable Nonlinear Systems

Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics

Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions

Learning-Based Safety-Stability-Driven Control for Safety-Critical Systems under Model Uncertainties.