Verification of Hybrid Systems (abstract).

Frits W. Vaandrager

Published in: ARTS (1999)

Keyphrases

hybrid systems
black box
discrete event
meta learning
intelligent systems
neural network
soft computing
artificial intelligence
computational intelligence
dynamic systems
genetic algorithm
training set