Login / Signup
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations.
Meng Sha
Xin Chen
Yuzhe Ji
Qingye Zhao
Zhengfeng Yang
Wang Lin
Enyi Tang
Qiguang Chen
Xuandong Li
Published in:
DAC (2021)
Keyphrases
</>
neural network
pattern recognition
management system
complex systems
retrieval systems
genetic algorithm
real time
machine learning
information systems
artificial neural networks
probabilistic model
fuzzy logic
intelligent systems
access control
back propagation
learning systems