Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes.
Antoine El-HokayemYliès FalconePublished in: CoRR (2018)
Keyphrases
- smart home
- daily activities
- home automation
- activity recognition
- smart home environment
- context aware
- ambient intelligence
- monitoring system
- assisted living
- energy aware
- home environment
- ambient assisted living
- case study
- intelligent environments
- intelligent systems
- home environments
- energy conservation
- older adults
- energy efficiency
- activities of daily living
- ubiquitous environments
- real time
- smart environments
- embedded systems
- human activities
- management system
- pervasive computing
- smart grid
- intelligent agents
- activity monitoring
- home appliances
- neural network
- cooperative
- machine learning