A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL.
Wang GuoYanhong HuangJianqi ShiZhe HouYang YangPublished in: LCN (2021)
Keyphrases
- cost function
- high accuracy
- experimental evaluation
- computational cost
- fully automatic
- detection method
- dynamic programming
- theoretical analysis
- genetic algorithm
- classification method
- significant improvement
- preprocessing
- data sets
- support vector machine
- objective function
- synthetic data
- high precision
- neural network