Formal Analysis of Smart Home Policies using Compositional Verification.
Narges KhakpourMarjan SirjaniSaeed JaliliPublished in: ICFI (2009)
Keyphrases
- formal analysis
- smart home
- formal methods
- smart home environment
- activity recognition
- ambient intelligence
- context aware
- ubiquitous environments
- assisted living
- home automation
- home environments
- home environment
- intelligent systems
- human activities
- case study
- ambient assisted living
- older adults
- agent model
- management system
- knowledge acquisition
- artificial intelligence
- real time
- intrusion detection
- embedded systems