Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation.

Zhengfeng Yang Wang Lin Min Wu

Published in: ACM Trans. Embed. Comput. Syst. (2015)

Keyphrases

hybrid systems
meta learning
intelligent systems
neural network
artificial intelligence
black box
discrete event
computational intelligence
soft computing
decision making
feature space
semi supervised