An Efficient Algorithm for Monitoring Practical TPTL Specifications.
Adel DokhanchiBardh HoxhaCumhur Erkan TuncaliGeorgios FainekosPublished in: CoRR (2016)
Keyphrases
- computational cost
- detection algorithm
- cost function
- improved algorithm
- computational complexity
- experimental evaluation
- segmentation algorithm
- times faster
- computationally efficient
- clustering method
- k means
- objective function
- high level
- single pass
- theoretical analysis
- expectation maximization
- probabilistic model
- tree structure
- matching algorithm
- convergence rate
- worst case
- dynamic programming
- np hard
- optimal solution
- real world
- simulated annealing
- high accuracy
- real time
- optimization algorithm
- multi objective
- significant improvement
- evolutionary algorithm
- search space
- recognition algorithm
- multiscale