State chart refinement validation from approximately timed to cycle callable models.

Rainer Findenig Wolfgang Ecker

Published in: SoC (2010)

Keyphrases

probabilistic model
finite state machines
petri net
complex systems
statistical models
neural network
learning algorithm
computer vision
information systems
state space
model selection
experimental data
computational models
random fields
model validation