Formal Analysis for Dependable Supervisory Control and Data Acquisition in Smart Grids.

Mohammad Ashiqur Rahman A. H. M. Jakaria Ehab Al-Shaer

Published in: DSN (2016)

Keyphrases

formal analysis
supervisory control
data acquisition
data processing
discrete event
monitoring system
low cost
high speed
data collection
real time
formal methods
data analysis
power grid
agent model
control system
human operators
control architecture
data management
cooperative
knowledge base
artificial intelligence