Discrete abstractions of hybrid systems.

Rajeev Alur Thomas A. Henzinger Gerardo Lafferriere George J. Pappas

Published in: Proc. IEEE (2000)

Keyphrases

hybrid systems
black box
intelligent systems
meta learning
neural network
computational intelligence
soft computing
discrete event
artificial intelligence
fuzzy logic
genetic algorithm
training data
model selection
workflow systems