Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study.

Ender Yüksel Huibiao Zhu Hanne Riis Nielson Heqing Huang Flemming Nielson

Published in: TASE (2012)

Keyphrases

model checking
case study
temporal logic
smart grid
formal specification
finite state
formal verification
epistemic logic
multi agent
power system
temporal properties
source code
context aware
model checker
abstract interpretation
advanced metering infrastructure