Efficient Verification of Control Systems with Neural Network Controllers.
Guoqing YangGuangyi QianPan LvHong LiPublished in: ICVISP (2019)
Keyphrases
- control system
- neural network
- fuzzy logic
- self organizing maps
- control law
- genetic algorithm
- pattern recognition
- lightweight
- computationally efficient
- neural network model
- fuzzy pid
- controller design
- formal methods
- control strategies
- adaptive control
- control algorithm
- computationally expensive
- artificial neural networks