Abstract:Deep learning significantly impacts neural network controller synthesis. Despite the higher efficiency of deep learning algorithms compared to traditional model-based controller design methods, the performance of these neural network controllers lacks theoretical guarantees. Initially, this paper proposes an architecture to synthesize the state feedback controller and Lyapunov function, called function-dependent neural-network-driven (NN-driven) architecture. The discrete-time nonlinear system dynamics, state feedback controller and Lyapunov function in this architecture are all designed using neural networks, which can improve the efficiency of stability verification and control performance. To realize self-verification of system stability by neural networks, three optimization problems are designed based on Lyapunov stability conditions and training speed constraints, solved using mixed-integer linear programming (MILP) solvers. Additionally, a MILP-based algorithm called Stability Counter-examples Updating Training Set (SCUTS) is proposed to simultaneously train the state feedback controller and Lyapunov function neural networks. Finally, experiments conducted on a second-order discrete-time nonlinear system, an inverted pendulum with NN-driven dynamics and an inverted pendulum with Lagrangian dynamics demonstrate the effectiveness of this work. Experimental results indicate that this work outperforms previous research on synthesizing neural network controllers in both the neural network training speed and the control system stabilization speed.

A Novel Stabilizing Control for Neural Nonlinear Systems with Time Delays by State and Dynamic Output Feedback

A Neural Stabilizing Control For Discrete-Time Nonlinear Systems By Dynamic Output Feedback

A New Neural Network Model for the Feedback Stabilization of Nonlinear Systems

Standard Neural Network Model for the Feedback Stabilization of Intelligent Systems

Unified Stabilizing Controller Synthesis Approach for Discrete-Time Intelligent Systems with Time Delays by Dynamic Output Feedback

Delayed standard neural network models for control systems.

Dynamic Output Feedback Stabilization for Nonlinear Systems Based on Standard Neural Network Models

Robust controller synthesis of discrete-time intelligent systems using a standard neural network model

Stabilizing Controllers For Nonlinear Systems Based On Standard Neural Network Models

A New Neural Network Model And Its Application

Robust Stabilising Controller Synthesis for Discrete-Time Recurrent Neural Networks Via State Feedback

Robust H∞ Control for Uncertain Delayed Nonlinear Systems Based on Standard Neural Network Models

Discrete-time Delayed Standard Neural Network Model and Its Application

Neural Learning Control for Discrete-Time Nonlinear Systems in Pure-Feedback Form

Adaptive NN Control Without Feasibility Conditions for Nonlinear State Constrained Stochastic Systems with Unknown Time Delays.

A Novel Concise Adaptive Neural Control for a Class of Nonlinear MIMO Systems with Unknown Time Delays.

Robust Output Feedback Controller for Discrete-Time Nonlinear Systems Based on Standard Neural Network Model.

A New Global Robust Exponential Stability Criterion for H∞ Control of Uncertain Stochastic Neutral-type Neural Networks with Both Timevarying Delays

Function-dependent Neural-Network-driven State Feedback Control and Self-Verification Stability for Discrete-Time Nonlinear System

A Combined NN and Dynamic Gain-Based Approach to Further Stabilize Nonlinear Time-Delay Systems

A Novel Neural Network Discrete‐time Optimal Control Design for Nonlinear Time‐delay Systems Using Adaptive Critic Designs