Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes.
Niklas KochdumperChristian SchillingMatthias AlthoffStanley BakPublished in: NFM (2023)
Keyphrases
- closed loop
- neural network
- open loop
- control system
- feedback control
- control law
- control scheme
- parameter identification
- back propagation
- pid controller
- asymptotic stability
- artificial neural networks
- neural network model
- fuzzy neural network
- recurrent neural networks
- adaptive fuzzy
- fuzzy logic
- hidden layer
- trajectory tracking
- fault diagnosis
- force control
- flight test
- nonlinear systems
- feedforward neural networks
- neural model
- associative memory