C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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