Constraint abstraction for vectorless power grid verification.

Xuanxing Xiong Jia Wang

Published in: DAC (2013)

Keyphrases

power grid
power system
smart grid
communication networks
electric vehicles
cyber security
neural network
network infrastructure
load forecasting
information systems
high speed
end to end