Refinement of Hybrid Systems from Formal Models to Design Languages.

Jan Romberg Christoph Grimm

Published in: FDL (2003)

Keyphrases

hybrid systems
formal models
design process
case study
formal model
real world
machine learning
artificial intelligence
rule based systems
learning algorithm
artificial neural networks
state space
model selection
metamodel