Reachability Analysis of Neural Network Control Systems.
Chi ZhangWenjie RuanPeipei XuPublished in: CoRR (2023)
Keyphrases
- reachability analysis
- neural network
- control system
- markov decision processes
- model checking
- timed automata
- incremental algorithms
- fuzzy logic
- neural network is trained
- back propagation
- state space
- artificial neural networks
- fault diagnosis
- neural network model
- closed loop
- learning algorithm
- genetic algorithm
- markov chain
- np hard
- control law
- search algorithm