An Integrated Framework for Smart Microgrids Modeling, Monitoring, Control, Communication, and Verification.
Alfredo VaccaroMarjan PopovDomenico VillacciVladimir V. TerzijaPublished in: Proc. IEEE (2011)
Keyphrases
- control center
- data acquisition
- distributed control
- cyber physical systems
- monitoring system
- remote monitoring
- communication networks
- modeling method
- social networks
- neural network
- active control
- signature verification
- human operators
- model checking
- control system
- real time
- smart environments
- modeling language
- communication systems
- control strategy
- formal verification
- communication protocols
- decision support
- colored petri nets
- learning algorithm