Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.
Qingye ZhaoXin ChenYifan ZhangMeng ShaZhengfeng YangWang LinEnyi TangQiguang ChenXuandong LiPublished in: HSCC (2021)
Keyphrases
- hybrid systems
- neural network
- hidden layer
- back propagation
- feedforward neural networks
- activation function
- multilayer perceptron
- feed forward neural networks
- feed forward
- artificial neural networks
- recurrent neural networks
- radial basis function
- neural nets
- intelligent systems
- soft computing
- black box
- backpropagation algorithm
- access control
- neural network model
- computational intelligence
- pattern recognition
- fuzzy logic
- number of hidden layers
- meta learning
- bp neural network
- rbf neural network
- genetic algorithm
- number of hidden units
- learning rate
- multi layer perceptron
- fault diagnosis
- artificial intelligence
- learning tasks
- fitness function
- knowledge base
- hidden units
- data mining