A Formal Approach to Testing Logical Reliablity of Intelligent Device in Home Energy Management System.
Guoying LinFeng PanShi-xiang LuKunqi JiaGuangyu HeYang LinPublished in: ISGT Europe (2018)
Keyphrases
- management system
- ubiquitous home
- smart home
- logical reasoning
- home appliances
- intelligent systems
- remote control
- decision support system
- home network
- energy efficiency
- energy saving
- decision support
- test set
- energy minimization
- formal methods
- mathematical theory
- energy consumption
- medical devices
- formal model
- data acquisition
- test data
- low energy
- home environment
- test cases
- database management systems
- low cost