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.

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

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

H-Infinity Control Of Asynchronous Networked Control Systems With Markov Time Delays

Stability analysis and controller synthesis for discrete linear time-delay systems with state saturation nonlinearities

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

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

Standard Neural Network Model for the Feedback Stabilization of Intelligent Systems

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

Delayed standard neural network models for control systems.

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

An LMI approach to design H(infinity) controllers for discrete-time nonlinear systems based on unified models

Discrete-time Delayed Standard Neural Network Model and Its Application

Stabilizing Controllers For Nonlinear Systems Based On Standard Neural Network Models

Multi-sensor Optimal H∞ Fusion Filters for Delayed Nonlinear Intelligent Systems Based on a Unified Model

Variable Structure Control of Discrete Uncertain Singular System with Time-delays

Delay-dependent Controller Design for Networked Control Systems with Long Time Delays: an Iterative LMI Method

Robust Stabilization for Discrete-Time Nonlinear Singular Systems with Mixed Time Delays

Approaches To Robust H-Infinity Controller Synthesis Of Nonlinear Discrete-Time-Delay Systems Via Takagi-Sugeno Fuzzy Models

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

Event-triggered H\infty Controller Design for Networked Takagi-Sugeno Systems with Uncertainties and Time Delay

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