Verification for Non-polynomial Hybrid Systems Using Rational Invariants.

Wang Lin Min Wu Zhengfeng Yang Zhenbing Zeng

Published in: Comput. J. (2017)

Keyphrases

hybrid systems
black box
intelligent systems
neural network
meta learning
discrete event
soft computing
computational intelligence
artificial intelligence
decision making
artificial neural networks
dynamic systems
search algorithm
multi class
fuzzy logic
simulation model
inductive learning