Interface Verification: Discrete Abstractions of Hybrid Systems.

Published in: SARA (2002)

Keyphrases

hybrid systems
black box
meta learning
soft computing
neural network
intelligent systems
computational intelligence
artificial intelligence
discrete event
genetic algorithm
database systems
fuzzy logic
rough sets
workflow systems
inductive learning
particle filter
multi class
expert systems
machine learning