Towards formal verification of smart grid distributed intelligence: FREEDM case.
Sandeep PatilGulnara ZhabelovaValeriy VyatkinBruce M. McMillinPublished in: IECON (2015)
Keyphrases
- formal verification
- smart grid
- model checking
- cyber security
- power system
- decentralized control
- automated verification
- power grid
- model checker
- communication networks
- distributed systems
- advanced metering infrastructure
- computer networks
- multi agent
- bounded model checking
- mobile agents
- information technology
- security issues
- communication systems
- network security
- information security
- data collection
- intelligent systems
- databases