Measuring Behavioral Correspondence to a Timed Concurrent Model.

Jonathan E. Cook Cha He Changjun Ma

Published in: ICSM (2001)

Keyphrases

theoretical framework
computational model
parameter estimation
theoretical analysis
high level
discrete event
statistical model
mathematical model
decision trees
machine learning
markov chain
probabilistic model
control system
prior knowledge
multiscale
experimental data
finite state machines
neural network