Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability.
Stanley BakHoang-Dung TranPublished in: CoRR (2022)
Keyphrases
- closed loop
- neural network
- open loop
- control system
- feedback controller
- control law
- control scheme
- feedback control
- fuzzy logic
- asymptotic stability
- parameter identification
- feed forward
- adaptive fuzzy
- bp neural network
- multilayer perceptron
- pid controller
- nonlinear systems
- force control
- state space
- disturbance rejection