Reachability Analysis of Neural Network Control Systems With Tunable Accuracy and Efficiency.
Yuhao ZhangHang ZhangXiangru XuPublished in: IEEE Control. Syst. Lett. (2024)
Keyphrases
- reachability analysis
- neural network
- control system
- computational complexity
- computational efficiency
- high accuracy
- prediction accuracy
- markov decision processes
- neural network model
- computational cost
- back propagation
- genetic algorithm
- control algorithm
- classification accuracy
- artificial intelligence
- low cost
- state space
- relational databases
- expert systems