A Logical Approach to Specification of Hybrid Systems.

Margarita V. Korovina Oleg V. Kudinov

Published in: Ershov Memorial Conference (1999)

Keyphrases

hybrid systems
intelligent systems
black box
meta learning
neural network
soft computing
discrete event
computational intelligence
artificial intelligence
rough sets
feature selection
model selection
orders of magnitude
heuristic search
dynamic systems