An Inverse Method for Parametric Timed Automata.

Étienne André Thomas Chatain Laurent Fribourg Emmanuelle Encrenaz

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

optimization algorithm
optimization method
preprocessing
real time systems
similarity measure
cost function
experimental evaluation
high accuracy
edge detection
computationally efficient
clustering method
detection method
model checking
high precision
correlation matrix