Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet.
Shimmi AsokanG. Santhosh KumarPublished in: Innov. Syst. Softw. Eng. (2023)
Keyphrases
- improved algorithm
- detection algorithm
- dynamic programming
- optimal solution
- times faster
- optimization algorithm
- theoretical analysis
- learning algorithm
- computational complexity
- preprocessing
- classification algorithm
- experimental evaluation
- high accuracy
- objective function
- recognition algorithm
- particle swarm optimization
- computational cost
- data structure
- np hard
- significant improvement
- single pass
- selection algorithm
- data streams
- convergence rate
- memory requirements
- k means
- power consumption
- multi objective
- cost function
- segmentation algorithm
- computationally efficient
- graph cuts
- mobile robot