Verification of Linear Hybrid Systems by Means of Convex Approximations.

Nicolas Halbwachs Yann-Eric Proy Pascal Raymond

Published in: SAS (1994)

Keyphrases

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