Sign in
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