Hybrid Systems Verification by Location Elimination.

Andreas Nonnengart

Published in: HSCC (2000)

Keyphrases

hybrid systems
black box
intelligent systems
meta learning
neural network
discrete event
soft computing
artificial intelligence
computational intelligence
genetic algorithm
search algorithm
expert systems