Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis.
Hussein SibaiSacha HuriotTyler MartinMurat ArcakPublished in: NFM (2024)
Keyphrases
- dynamic programming
- mathematical model
- experimental evaluation
- preprocessing
- single pass
- optimization algorithm
- computational cost
- cost function
- significant improvement
- k means
- matching algorithm
- computational complexity
- optimal solution
- clustering method
- improved algorithm
- estimation algorithm
- detection algorithm
- high accuracy
- segmentation algorithm
- computationally efficient
- image registration
- bit rate
- expectation maximization
- theoretical analysis
- particle swarm optimization
- learning algorithm
- np hard
- experimental study
- search space
- association rules
- path planning
- memory requirements
- objective function
- similarity measure
- high level