Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid.
Shravan GarlapatiSandeep K. ShuklaPublished in: SPIN (2012)
Keyphrases
- formal verification
- smart grid
- protection scheme
- cyber security
- power system
- model checking
- power grid
- communication networks
- multi agent
- advanced metering infrastructure
- distributed systems
- agent technology
- lightweight
- communication systems
- information security
- data center
- distributed environment
- security issues
- smart home
- peer to peer
- computer networks
- information systems
- network management
- data processing
- information technology
- data analysis
- multi agent systems