Formal verification of demand response based home energy management systems in smart grids.
Adnan Yaqoob SalikMuhammad Usama SardarOsman HasanSyed Rafay HasanFalah AwwadPublished in: ISGT Asia (2017)
Keyphrases
- formal verification
- management system
- model checking
- model checker
- bounded model checking
- energy supply
- energy consumption
- symbolic model checking
- automated verification
- electrical energy
- program slicing
- database management systems
- solar energy
- smart home
- renewable energy
- distribution network
- functional verification
- expert systems
- energy saving
- energy minimization
- resource management
- temporal logic
- heuristic search
- orders of magnitude