Modelling and implementation of automata-based hierarchical discrete-event controllers using the B-method.

Noe Campos Arturo Sanchez

Published in: ETFA (2011)

Keyphrases

significant improvement
detection method
probabilistic model
high precision
similarity measure
preprocessing
dynamic programming
data analysis
experimental evaluation
feature set
support vector machine svm
clustering method
synthetic data
dynamical systems
dynamic systems
discrete event