A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications.
Tahir Naseer QureshiDe-Jiu ChenMartin TörngrenPublished in: ECMFA (2012)
Keyphrases
- energy function
- theoretical analysis
- clustering method
- cost function
- experimental evaluation
- mathematical model
- synthetic data
- preprocessing
- pairwise
- dynamic programming
- probabilistic model
- high accuracy
- classification accuracy
- sequential quadratic programming
- optimization method
- classification method
- support vector machine svm
- computationally efficient
- data sets
- computational cost
- significant improvement
- multiresolution
- high level