Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System.
Franco MazzantiAlessio FerrariGiorgio Oronzo SpagnoloPublished in: ISoLA (2) (2016)
Keyphrases
- preprocessing
- theoretical analysis
- optimization algorithm
- detection algorithm
- experimental evaluation
- cost function
- computationally efficient
- experimental study
- computational complexity
- recognition algorithm
- high accuracy
- dynamic programming
- classification algorithm
- times faster
- linear programming
- space complexity
- neural network
- machine learning
- learning algorithm
- np hard
- significant improvement
- k means
- computational cost
- image segmentation
- similarity measure
- optimal solution
- data sets
- selection algorithm
- path planning
- matching algorithm
- ant colony optimization
- objective function
- search algorithm
- particle swarm optimization
- worst case
- least squares
- motion estimation
- probabilistic model