Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis.
Hussein SibaiSacha HuriotTyler MartinMurat ArcakPublished in: CoRR (2024)
Keyphrases
- preprocessing
- detection algorithm
- computational complexity
- times faster
- computational cost
- improved algorithm
- objective function
- np hard
- worst case
- dynamic programming
- particle swarm optimization
- tree structure
- learning algorithm
- experimental evaluation
- significant improvement
- control system
- optimal solution
- estimation algorithm
- probabilistic model
- mathematical model
- optimization algorithm
- theoretical analysis
- maximum likelihood
- high accuracy
- similarity measure
- high level