An Algorithm for Timing Verification of Systems Constrained by Min-max Inequalities.
Yiping ChengDa-Zhong ZhengPublished in: Discret. Event Dyn. Syst. (2007)
Keyphrases
- min max
- detection algorithm
- max min
- high accuracy
- experimental evaluation
- dynamic programming
- preprocessing
- computational complexity
- cost function
- objective function
- np hard
- optimal solution
- learning algorithm
- times faster
- formal methods
- graph partitioning
- recognition algorithm
- convergence rate
- model checking
- simulated annealing
- matching algorithm
- clustering method
- sufficient conditions
- particle swarm optimization
- distributed systems
- worst case
- probabilistic model
- computational cost
- search space
- similarity measure