Quantitative Model Checking for a Smart Grid Pricing.
YoungMin KwonEunhee KimSeonghwan JeongArthur H. LeePublished in: QEST (2017)
Keyphrases
- model checking
- smart grid
- power system
- temporal logic
- cyber security
- information security
- communication networks
- model checker
- formal verification
- advanced metering infrastructure
- formal specification
- communication systems
- automated verification
- security issues
- temporal properties
- verification method
- smart home
- network security
- epistemic logic
- communication technologies
- timed automata
- data collection
- data center
- network management
- computation tree logic
- decentralized control
- formal methods
- symbolic model checking
- transition systems
- alternating time temporal logic
- information technology
- reinforcement learning
- expert systems