Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics.
Jonas RinastSibylle SchuppPublished in: FORMATS (2012)
Keyphrases
- data sets
- original data
- data analysis
- data collection
- image data
- data sources
- database
- experimental data
- statistical analysis
- probability distribution
- object detection
- raw data
- synthetic data
- data processing
- control system
- high quality
- knowledge discovery
- dimensionality reduction
- data mining techniques
- end users
- prior knowledge
- detection method
- multi agent
- missing data
- sensor data
- clustering algorithm
- data mining
- control algorithm