Verification of Hybrid Systems Using Abstractions.

Anuj Puri Pravin Varaiya

Published in: Hybrid Systems (1994)

Keyphrases

hybrid systems
intelligent systems
black box
neural network
meta learning
artificial intelligence
soft computing
computational intelligence
discrete event
text classification
learning tasks
genetic algorithm
data model
multi class
test set
dynamic systems