Reachability Analysis of Hybrid Systems Using Support Functions.

Colas Le Guernic Antoine Girard

Published in: CAV (2009)

Keyphrases

hybrid systems
reachability analysis
neural network
intelligent systems
computational intelligence
black box
meta learning
discrete event
real time
artificial intelligence
knowledge management
knowledge acquisition