Exact safety verification of hybrid systems using sums-of-squares representation.

Wang Lin Min Wu Zhengfeng Yang Zhenbing Zeng

Published in: Sci. China Inf. Sci. (2014)

Keyphrases

hybrid systems
meta learning
black box
intelligent systems
artificial intelligence
discrete event
machine learning
computational intelligence
soft computing
simulation model