Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes.
Niklas KochdumperChristian SchillingMatthias AlthoffStanley BakPublished in: CoRR (2022)
Keyphrases
- closed loop
- neural network
- open loop
- control system
- control law
- control scheme
- feedback control
- asymptotic stability
- parameter identification
- pid controller
- linear quadratic
- artificial neural networks
- recurrent neural networks
- adaptive fuzzy
- fuzzy logic
- neural model
- back propagation
- fault diagnosis
- force control
- flight test
- hidden layer
- feedback controller
- fuzzy neural network
- activation function
- feedforward neural networks