Analytics-based safety monitoring and verification.
Hadi HemmatiSyed S. ArefinTaha R. SiddiquiPublished in: SMC (2017)
Keyphrases
- monitoring system
- real time
- business intelligence
- control center
- safety analysis
- learning analytics
- data mining
- data management
- model checking
- formal verification
- machine learning
- normal operation
- early warning
- face verification
- big data
- database systems
- case study
- data sets
- database
- decision support
- social media
- data analysis
- signature verification
- safety critical
- search engine
- genetic algorithm