Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability.
Stanley BakHoang-Dung TranPublished in: NFM (2022)
Keyphrases
- closed loop
- neural network
- control system
- open loop
- feedback control
- feedback controller
- control law
- control scheme
- parameter identification
- fuzzy logic
- asymptotic stability
- adaptive fuzzy
- disturbance rejection
- artificial neural networks
- neural network model
- feed forward
- real time
- controller design
- state space
- trajectory tracking
- linear quadratic