Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach.
Shakiba YaghoubiGeorgios FainekosPublished in: ITA (2020)
Keyphrases
- feedforward neural networks
- lagrange multipliers
- constrained optimization
- objective function
- neural network
- back propagation
- linear program
- recurrent neural networks
- cost function
- lower bound
- control system
- rate distortion
- hidden layer
- multilayer perceptron
- reinforcement learning
- training algorithm
- activation function
- fault diagnosis
- support vector regression
- np hard
- penalty function
- control strategy
- linear programming
- multi layer perceptron
- kernel matrix
- artificial neural networks
- scalable video coding