A method for detecting relevant inputs while satisfying a reachability specification for piecewise affine systems.
Riccardo VignaliMaria PrandiniPublished in: CCA (2016)
Keyphrases
- detection method
- fully automatic
- cost function
- high precision
- mathematical model
- experimental evaluation
- computer systems
- training data
- feature vectors
- computational cost
- feature set
- optimization method
- similarity measure
- segmentation method
- support vector machine svm
- computationally efficient
- management system
- classification accuracy
- prior knowledge
- pairwise
- computational complexity
- objective function
- reinforcement learning