research-article

Choreographing cyber-physical distributed control systems for the energy sector

Authors:

Hugo A. L�pez,

Kai HeussenAuthors Info & Claims

SAC '17: Proceedings of the Symposium on Applied Computing

Pages 437 - 443

https://doi.org/10.1145/3019612.3019656

Published: 03 April 2017 Publication History

Abstract

Energy Systems are facing a significant change in the way their management and control is conceived. With the introduction of distributed and renewable energy based resources, a shift to a more distributed operation paradigm is emerging, overturning the conventional top-down design and operation principles. This shift creates a demand for distributed control systems (DCS) to facilitate a more adaptive and efficient operation of power networks. One key challenge here is to ensure the required reliability of distributed control systems. Whereas proven strategies exist for reliable control for coordination of physical actions, with increasing distribution of such control, the reliability and degradation properties in response to communications issues become more important. We build on the notion of Quality Choreographies, a formal model for the development of failure-aware distributed systems, and discuss how quality choreographies respond to the needs presented by DCS. We demonstrate their applicability by modelling the Bully Algorithm, one of the de-facto election algorithms used in coordination of DCS.

References

[1]

J. Baillieul and P. J. Antsaklis. Control and communication challenges in networked real-time systems. Proceedings of the IEEE, 95(1):9--28, Jan 2007.

[2]

L. Bocchi, T. Chen, R. Demangeon, K. Honda, and N. Yoshida. Monitoring networks through multiparty session types. In FMOODS/FORTE, volume 7892 of LNCS, pages 50--65. Springer, 2013.

[3]

L. Bocchi, W. Yang, and N. Yoshida. Timed multiparty session types. In P. Baldan and D. Gorla, editors, Procs. of (CONCUR), volume 8704 of LNCS, pages 419--434. Springer Berlin Heidelberg, 2014.

[4]

A. Borghetti, R. Bottura, M. Barbiroli, and C. A. Nucci. Synchrophasors-based distributed secondary voltage/var control via cellular network. IEEE Transactions on Smart Grid, PP(99):1--1, 2016.

[5]

M. Carbone. Session-based choreography with exceptions. In N. Yoshida and V. Vasconcelos, editors, PLACES'08, volume 241 of ENTCS, pages 35--55, 2008.

Digital Library

[6]

M. Carbone, K. Honda, and N. Yoshida. Structured communication-centred programming for web services. In ESOP, pages 2--17, 2007.

Digital Library

[7]

M. Carbone and F. Montesi. Deadlock-freedom-by-design: Multiparty asynchronous global programming. In POPL, pages 263--274. ACM, 2013.

Digital Library

[8]

M. Carbone, F. Montesi, and C. Sch�rmann. Choreographies, logically. In International Conference on Concurrency Theory, pages 47--62. Springer, 2014.

[9]

P. Deni�lou and N. Yoshida. Multiparty session types meet communicating automata. In H. Seidl, editor, Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012. Proceedings, volume 7211 of Lecture Notes in Computer Science, pages 194--213. Springer, 2012.

Digital Library

[10]

M. Dezani-Ciancaglini and U. De'Liguoro. Sessions and session types: an overview. In Proceedings of the 6th international conference on Web services and formal methods, pages 1--28. Springer-Verlag, 2010.

Digital Library

[11]

D. Forfia, M. Knight, and R. Melton. The view from the top of the mountain: Building a community of practice with the gridwise transactive energy framework. IEEE Power and Energy Magazine, 14(3):25--33, 2016.

[12]

H. Garcia-Molina. Elections in a distributed computing system. IEEE transactions on Computers, 100(1):48--59, 1982.

Digital Library

[13]

X. Han, K. Heussen, O. Gehrke, H. W. Bindner, and B. Kroposki. Method and taxonomy for evaluation of distributed control strategies for distributed energy resources. CoRR, arXiv:1603.03232v4, 2016.

[14]

D. Harel and P. Thiagarajan. Message sequence charts. UML for Real, pages 77--105, 2004.

Digital Library

[15]

A. E. Haxthausen and J. Peleska. Formal development and verification of a distributed railway control system. IEEE Transactions on Software Engineering, 26(8):687--701, Aug 2000.

Digital Library

[16]

K. Honda, V. T. Vasconcelos, and M. Kubo. Language Primitives and Type Discipline for Structured Communication-Based Programming. In ESOP, pages 122--138. Springer, 1998.

Digital Library

[17]

K. Honda, N. Yoshida, and M. Carbone. Multiparty asynchronous session types. POPL, 43(1):273--284, 2008.

Digital Library

[18]

E. Karangelos and L. Wehenkel. Probabilistic reliability management approach and criteria for power system real-time operation. In Power Systems Computation Conference, 2016.

[19]

N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon, and C. Barreto. Web services choreography description language version 1.0. W3C Working Draft, 17:10--20041217, 2004.

[20]

A. M. Kosek, O. Gehrke, and D. Kullmann. Fault tolerant aggregation for power system services. In Intelligent Energy Systems (IWIES), 2013 IEEE International Workshop on, pages 107--112. IEEE, 2013.

[21]

P. Kundur. Power System Stability and Control. McGraw-Hill, Inc., epri edition, 1994.

[22]

P. Kundur, J. Paserba, V. Ajjarapu, G. Andersson, A. Bose, C. Canizares, N. Hatziargyriou, D. Hill, A. Stankovic, C. Taylor, T. Van Cutsem, and V. Vittal. Definition and classification of power system stability ieee/cigre joint task force on stability terms and definitions. Power Systems, IEEE Transactions on, 19(3):1387 -- 1401, Aug. 2004.

[23]

H. A. L�pez, E. R. B. Marques, F. Martins, N. Ng, C. Santos, V. T. Vasconcelos, and N. Yoshida. Protocol-based verification of message-passing parallel programs. In OOPSLA, pages 280--298. ACM, 2015.

Digital Library

[24]

H. A. L�pez, F. Nielson, and H. R. Nielson. Enforcing availability in failure-aware communicating systems. In E. Albert and I. Lanese, editors, FORTE, volume 9688 of LNCS, pages 195--211. Springer, 2016.

Digital Library

[25]

H. A. L�pez and J. A. P�rez. Time and Exceptional Behavior in Multiparty Structured Communications. In WS-FM, volume 7176 of LNCS, pages 48--63. Springer, 2012.

Digital Library

[26]

N. A. Lynch. Distributed algorithms. Morgan Kaufmann, 1996.

Digital Library

[27]

H. A. L�pez, F. Nielson, and H. R. Nielson. A Theory of Available-by-Design Communicating Systems. CoRR, abs/1611.05651, Nov. 2016.

[28]

H. R. Nielson, F. Nielson, and R. Vigo. A calculus for quality. In FACS, pages 188--204. Springer, 2013.

[29]

L. Padovani, V. T. Vasconcelos, and H. T. Vieira. Typing Liveness in Multiparty Communicating Systems, pages 147--162. Springer Berlin Heidelberg, Berlin, Heidelberg, 2014.

Digital Library

[30]

S. Pattem, B. Krishnamachari, and R. Govindan. The impact of spatial correlation on routing with compression in wireless sensor networks. ACM Transactions on Sensor Networks (TOSN), 4(4):24, 2008.

Digital Library

[31]

Z. Qiu, X. Zhao, C. Cai, and H. Yang. Towards the theoretical foundation of choreography. In Proceedings of the 16th International Conference on World Wide Web, WWW '07, pages 973--982, New York, NY, USA, 2007. ACM.

Digital Library

[32]

T. Strasser, F. Andrén, J. Kathan, C. Cecati, C. Buccella, P. Siano, P. Leitão, G. Zhabelova, V. Vyatkin, P. Vrba, and V. Mařík. A review of architectures and concepts for intelligence in future electric energy systems. IEEE Transactions on Industrial Electronics, 62(4):2424--2438, April 2015.

[33]

S. Valipour. Designing resilient and secure smart micro grids. In Sicherheit, pages 203--208, 2016.

[34]

A. von Meier. Electric Power Systems - A Conceptual Introduction. John Wiley & Sons, Inc., 2006.

[35]

Z. Wang, A. Scaglione, and R. J. Thomas. Generating statistically correct random topologies for testing smart grid communication and control networks. IEEE Transactions on Smart Grid, 1(1):28--39, June 2010.

Cited By

Giallorenzo SMontesi FPeressotti M(2024)Choral: Object-oriented Choreographic ProgrammingACM Transactions on Programming Languages and Systems10.1145/363239846:1(1-59)Online publication date: 16-Jan-2024
https://dl.acm.org/doi/10.1145/3632398
Cruz-Filipe LMontesi FPeressotti M(2023)A Formal Theory of Choreographic ProgrammingJournal of Automated Reasoning10.1007/s10817-023-09665-367:2Online publication date: 27-May-2023
https://dl.acm.org/doi/10.1007/s10817-023-09665-3
Vasconcelos VMartins FL�pez HYoshida N(2022)A Type Discipline for Message Passing Parallel ProgramsACM Transactions on Programming Languages and Systems10.1145/355251944:4(1-55)Online publication date: 21-Dec-2022
https://dl.acm.org/doi/10.1145/3552519
Show More Cited By

Index Terms

Choreographing cyber-physical distributed control systems for the energy sector
1. Computing methodologies
  1. Distributed computing methodologies
    1. Distributed programming languages
2. Software and its engineering
  1. Software notations and tools
    1. System description languages
      1. Specification languages

Recommendations

Toward distributed declarative control of networked cyber-physical systems
UIC'10: Proceedings of the 7th international conference on Ubiquitous intelligence and computing

Networked Cyber-Physical Systems (NCPS) present many challenges that are not suitably addressed by existing distributed computing paradigms. They must be reactive and maintain an overall situation awareness that emerges from partial distributed ...
Modeling of future cyber-physical energy systems for distributed sensing and control

This paper proposes modeling the rapidly evolving energy systems as cyber-based physical systems. It introduces a novel cyber-based dynamical model whose mathematical description depends on the cyber technologies supporting the physical system. This ...
Communications for Control in Cyber Physical Systems: Theory, Design and Applications in Smart Grids

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '17: Proceedings of the Symposium on Applied Computing

April 2017

2004 pages

ISBN:9781450344869

DOI:10.1145/3019612

Conference Chair:
Sung Y. Shin
South Dakota State University
,
Program Chairs:
Dongwan Shin
New Mexico Tech
,
Maria Lencastre
University of Pernambuco, Brazil

Copyright � 2017 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 April 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Funding Sources

European Union
Danish Foundation for Basic Research

Conference

SAC 2017

Sponsor:

SIGAPP

SAC 2017: Symposium on Applied Computing

April 3 - 7, 2017

Marrakech, Morocco

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
108
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Giallorenzo SMontesi FPeressotti M(2024)Choral: Object-oriented Choreographic ProgrammingACM Transactions on Programming Languages and Systems10.1145/363239846:1(1-59)Online publication date: 16-Jan-2024
https://dl.acm.org/doi/10.1145/3632398
Cruz-Filipe LMontesi FPeressotti M(2023)A Formal Theory of Choreographic ProgrammingJournal of Automated Reasoning10.1007/s10817-023-09665-367:2Online publication date: 27-May-2023
https://dl.acm.org/doi/10.1007/s10817-023-09665-3
Vasconcelos VMartins FLópez HYoshida N(2022)A Type Discipline for Message Passing Parallel ProgramsACM Transactions on Programming Languages and Systems10.1145/355251944:4(1-55)Online publication date: 21-Dec-2022
https://dl.acm.org/doi/10.1145/3552519
Murgia MPinciroli RTrubiani CTuosto E(2022)On Model-Based Performance Analysis of Collective Adaptive SystemsLeveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning10.1007/978-3-031-19759-8_17(266-282)Online publication date: 17-Oct-2022
https://doi.org/10.1007/978-3-031-19759-8_17
Cruz-Filipe LMontesi FPeressotti M(2021)Certifying Choreography CompilationTheoretical Aspects of Computing – ICTAC 202110.1007/978-3-030-85315-0_8(115-133)Online publication date: 20-Aug-2021
https://doi.org/10.1007/978-3-030-85315-0_8
Banusić GMajumdar RPirron MSchmuck AZufferey DLiu XTabuada PPajic MBushnell L(2019)PGCDProceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems10.1145/3302509.3311052(57-66)Online publication date: 16-Apr-2019
https://dl.acm.org/doi/10.1145/3302509.3311052
Alrahman YVieira H(2019)A coordination protocol language for power grid operation controlJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2019.100487(100487)Online publication date: Sep-2019
https://doi.org/10.1016/j.jlamp.2019.100487
Cruz-Filipe LMontesi FPeressotti MHaddad HWainwright RChbeir R(2018)Communications in choreographies, revisitedProceedings of the 33rd Annual ACM Symposium on Applied Computing10.1145/3167132.3167267(1248-1255)Online publication date: 9-Apr-2018
https://dl.acm.org/doi/10.1145/3167132.3167267

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents