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

2012 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, CogSIMA 2012

Volumn , Issue , 2012, Pages 272-278

  Srinivasagopalan, Srivathsan ^a   Mukhopadhyay, Supratik ^a   Bharadwaj, Ramesh ^b  

^a Louisiana State University   (United States)

^b NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX EVENT PROCESSING; CYBER PHYSICAL SYSTEMS (CPSS); EARLY WARNING; EVENT PATTERN; EVENT-TRIGGERED; FUNDAMENTAL PRINCIPLES; KNOWLEDGE-BASED CONTROL; LARGE POWER SYSTEMS; LAY-OUT; PROGRAM SYNTHESIS; REAL-TIME DETECTION; RESPONSE CAPABILITY; SITUATION-AWARE;

DECISION SUPPORT SYSTEMS; EMBEDDED SYSTEMS; LOGIC PROGRAMMING;

MULTI AGENT SYSTEMS;

EID: 84861174074     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CogSIMA.2012.6188396     Document Type: Conference Paper

References (34)

1. D. Luckham, "The power of events: An introduction to complex event processing in distributed enterprise systems." Addison Wesley, 2002.
2. "http://www.digitalpower.com/page.html," p. 28.
3. "code.google.com/p/scalaris/."
4. S. S. Yau, S. Mukhopadhyay, and R. Bharadwaj, "Specification, analysis, and implementation of architectural patterns for dependable software systems," in Proceedings of IEEE International Workshop on Object-oriented and Real-time Distributed Systems (WORDS), 2005.
5. M. Peralta, S. Mukhopadhyay, and R. Bharadwaj, "A formal framework for developing distributed event-driven service-oriented systems," In Advances in Web Servces,Springer Verlag, 2009.
6. R. Bharadwaj and S. Mukhopadhyay, "A formal approach to developing reliable event-driven service-oriented systems," COMPSAC, pp. 227-230, 2008.
7. "http://www.streambase.com/."
8. "Nist smart grid interoperability standards roadmap report," 2009.
9. "http://en.wikipedia.org/wiki/scada."
10. E. Newcomer, Understanding Web Services: XML, WSDL, SOAP, and UDDI. Addison Wesley, 2002.
11. K. et. al, "Epochs: Integrated cots software for agent-based electric power and communication simulation," IEEE Transactions on Power Systems.
12. D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer,, and D. Culler, "The nesc language: A holistic approach to networked embedded systems," in In Proceedings of Programming Language Design and Implementation, June 2003.
13. A. Awan and S. Jagannathan, "A. grama: Macroprogramming heterogeneous sensor networks using cosmos. eurosys," EuroSys, pp. 159-172, 2007.
14. R. Newton, G. Morrisett, and M. Welsh, "The regiment macroprogramming system," IPSN, pp. 489-498, 2007.
15. K. P. Birman, J. Chen, K. Hopkinson, B. Thomas, J.Thorp, R. van Renesse, and W. Vogels, "Overcoming communications challenges in software for monitoring and controlling power systems," IEEE Transactions on Power Engineering, 2002.
16. R. van Renesse, K. P. Birman, and W. Vogels, "Astrolabe: A robust and scalable technology for distributed system monitoring, management, and data mining," ACM Trans. Comput. Syst, vol. 21(2), pp. 164-206, 2003.
17. M. Amin, "Towards self-healing energy infrastructure systems," IEEE Computer Applications in Power, 2001.
18. "http://web.progress.com/en/apama/index.html."
19. Z. Manna and A. Pnueli, "The temporal logic of reactive systems: Safety" and springer verlag," Springer Verlag, 1995.
20. D. A. et al, "An approach for data-driven and logic-based complex event processing," in In Proceedings of DEBS, 2009.
21. J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong, "Taming heterogeneity: The ptolemy approach," In Proceedings of the IEEE, 2003.
22. G. Kahn, "The semantics of a simple language for parallel programming,"In IFIP Conference, 1974.
23. P. Blackburn, M. de Rijke, and Y. Venema, A course in modal logic. Cambridge University Press, 2002.
24. "http://www.upnp.org."
25. H. Barendregt, The lambda calculus: its syntax and semantics, North-Holland 1984.
26. E. A. Brewer, "Towards robust distributed systems (abstract)," in PODC, 2000, p. 7.
27. C. Gunter and D. Scott, "Domain theory," Handbook of Theoretical Computer Science and Volume B, 1990.
28. G. Priest, An Introduction to Non-Classical Logic. Cambridge Univ. Press, 2001.
29. D. Prawitz, Natural Deduction: A Proof Theoretical Study. Dover Publications, 2006.
30. F. Mattern, "Efficient algorithms for distributed snapshots and global virtual time approximation," Parallel Distrib. Comput, pp. 423-434, 1993.
31. L. Lamport, "Paxos made simple," ACM SIGACT News (Distributed Computing Column), vol. 32, no. 4, pp. 51-58, 2001.
32. J. Zhang and C. A. Gunter, "Application-aware secure multicast for power grid communications," in In Proceedings of the IEEE Conference on Smart Grid Communications, 2010.
33. S. S. Yau, H. Davulcu, S. Mukhopadhyay, D. Huang, H. Gong, P. Singh, and F. Gelgi, "Automated Situation-Aware Service Composition in Service-Oriented Computing.", in International Journal on Web Services Research 4(4), 59-82, 2007.
34. M. Peralta, S. Mukhopadhyay, and R. Bharadwaj, "Automatic Synthesis and Deployment of Intensional Kahn Process Networks.", in the Proceedings of the International Conference on Grid and Distributed Computing, 2009, CCIS Springer Verlag.