Reachability Analysis and Safety Verification for Neural Network Control Systems.
Weiming XiangTaylor T. JohnsonPublished in: CoRR (2018)
Keyphrases
- reachability analysis
- model checking
- neural network
- control system
- safety analysis
- temporal logic
- timed automata
- markov decision processes
- neural network model
- formal methods
- fuzzy logic
- back propagation
- artificial neural networks
- neural network is trained
- network architecture
- state space
- safety critical
- incremental algorithms
- genetic algorithm
- control algorithm
- fault diagnosis
- radial basis function
- closed loop
- nuclear power plant
- xml documents