Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

The Algebra of Systems and System Interactions with an application to Smart Grid

Published

Author(s)

Charif Mahmoudi, Hasnae Bilil, Edward R. Griffor

Abstract

Systems are integrations of devices or component elements and even other systems. The notion of a system comprehends engineered and biological or mechanical or physical systems. Examples include information and dynamical systems as well as integrations of the two, sometimes called cyber-physical systems (CPS). Cyber-physical systems have computational and physical elements. Systems integration allows us to build more complex or compound systems from given ones. In such systems, computers and measurement devices are combined to deliver functions that may impact or influence the physical elements. Feedback loops are used where physical elements influence in turn computational elements and vice versa. Applications of CPSs have an economic and societal potential that goes beyond what has been realized. CPS revolutionize several domains including energy by transforming a traditional electric power grid into smart grid. In this chapter we will focus on CPS, rather than general systems, for the sake of clarity and we propose a language for expressing the elements of a CPS and an operation of ‘composing’ CPS elements that we will show is a simple algebra that is capable of helping planners and engineers design and test the CPSs of the future. That will enable planners and engineers to design, and ultimately simulate, the composition and the integration of CPSs such as grid system. This ‘CPS algebra’ is based on a formal language that offers the expressive power needed to capture the observable behavior of CPS components, allows the composition of existing CPSs, and supports a methodology for the study of critical properties of the CPS such as safety and security, properties that are especially important for critical infrastructure such as the electric power grid. We will give examples of the resulting smart grid algebra, using a model of smart grid simplified for our purposes here.
Citation
Handbook of System Safety and Security, 1st Edition
Publisher Info
Elsevier Inc, Rockville, MD

Keywords

Algebra , Cyber-Physical systems, Smart Grid

Citation

Mahmoudi, C. , Bilil, H. and Griffor, E. (2016), The Algebra of Systems and System Interactions with an application to Smart Grid, Handbook of System Safety and Security, 1st Edition, Elsevier Inc, Rockville, MD, [online], https://doi.org/10.1016/B978-0-12-803773-7.00012-7 (Accessed October 31, 2024)

Issues

If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.

Created October 14, 2016, Updated November 10, 2018