An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis.
Sahar MohajeraniRobi MalikMartin FabianPublished in: WODES (2012)
Keyphrases
- high accuracy
- preprocessing
- computational complexity
- improved algorithm
- computational cost
- experimental evaluation
- objective function
- search space
- cost function
- times faster
- recognition algorithm
- experimental study
- clustering method
- optimization algorithm
- theoretical analysis
- expectation maximization
- linear programming
- worst case
- dynamic programming
- np hard
- similarity measure
- learning algorithm
- data sets
- particle swarm optimization
- computationally efficient
- segmentation algorithm
- significant improvement
- k means
- optimal solution
- segmentation method
- path planning
- memory requirements
- feature selection