Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions.

Zhikun She Dan Song Meilun Li

Published in: CASC (2015)

Keyphrases

hybrid systems
neural network
meta learning
intelligent systems
soft computing
black box
discrete event
artificial intelligence
decision trees
computational intelligence