Login / Signup
Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation.
Xia Zeng
Wang Lin
Zhengfeng Yang
Zhenbing Zeng
Published in:
Sci. China Inf. Sci. (2017)
Keyphrases
</>
hybrid systems
black box
intelligent systems
meta learning
neural network
discrete event
computational intelligence
soft computing
artificial intelligence
simulation model
data mining
expert systems
artificial neural networks