Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation

Zhengfeng Yang Min Wu Wang Lin

Published in: CoRR (2013)

Keyphrases

hybrid systems
intelligent systems
black box
meta learning
discrete event
neural network
soft computing
computational intelligence
artificial intelligence
service oriented
learning algorithm
dynamic systems