A complex-event-processing framework for smart-grid management

Real-time detection and processing of both normal and abnormal event patterns in cyber-physical systems are imperative for advancing early warning and response capabilities. We integrate fundamental principles from logic-based program synthesis and multiagent systems to lay out the foundations of novel complex event processing (CEP) techniques and tools for intelligent reliable management of power systems. We investigate the formal underpinnings of a novel distributed, complex event-triggered, knowledge-based control system for situation-aware, provably-correct, declarative control of the logic of large power systems.