Denotational and Algebraic Semantics for Cyber-physical Systems

Ran Li; Huibiao Zhu; Richard Banach

Denotational and Algebraic Semantics for Cyber-physical Systems

Ran Li, Huibiao Zhu, Richard Banach

Formal Methods

East China Normal University

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Abstract

The cyber-physical system (CPS) is a dynamic system that contains both continuous and discrete behaviors. It has a wide range of applications in fields such as healthcare equipment, intelligent traffic control and environmental monitoring. However, the combination of continuous physical behavior
and discrete control behavior may complicate the design of systems further. It is of great necessity to give an explicit formal language and its semantics for CPS. In this paper, we elaborate the modeling language for CPS based on our previous work.
This language supports shared variables to model the interaction between the physical and the cyber. Additionally, we give it denotational semantics and algebraic semantics, especially focus on the continuous behavior and its composition with the discrete behavior. Throughout this paper, we also present some examples to illustrate the feasibility of the language and its semantics intuitively.

Index Terms—Cyber-physical system (CPS), Unifying Theories of Programming (UTP), Denotational semantics, Algebraic semantics

Original language	English
Title of host publication	THE 26TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS
Publication status	Accepted/In press - 28 Jan 2022

Embargoed Document

ICECCS_2022_paper_36
Accepted author manuscript, 333 KB
Embargo ends: 1/01/32

Cite this

@inproceedings{3e73a2151f694660b7861af7e465387c,

title = "Denotational and Algebraic Semantics for Cyber-physical Systems",

abstract = "The cyber-physical system (CPS) is a dynamic system that contains both continuous and discrete behaviors. It has a wide range of applications in fields such as healthcare equipment, intelligent traffic control and environmental monitoring. However, the combination of continuous physical behaviorand discrete control behavior may complicate the design of systems further. It is of great necessity to give an explicit formal language and its semantics for CPS. In this paper, we elaborate the modeling language for CPS based on our previous work.This language supports shared variables to model the interaction between the physical and the cyber. Additionally, we give it denotational semantics and algebraic semantics, especially focus on the continuous behavior and its composition with the discrete behavior. Throughout this paper, we also present some examples to illustrate the feasibility of the language and its semantics intuitively.Index Terms—Cyber-physical system (CPS), Unifying Theories of Programming (UTP), Denotational semantics, Algebraic semantics",

author = "Ran Li and Huibiao Zhu and Richard Banach",

year = "2022",

month = jan,

day = "28",

language = "English",

booktitle = "THE 26TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS",

}

TY - GEN

T1 - Denotational and Algebraic Semantics for Cyber-physical Systems

AU - Li, Ran

AU - Zhu, Huibiao

AU - Banach, Richard

PY - 2022/1/28

Y1 - 2022/1/28

N2 - The cyber-physical system (CPS) is a dynamic system that contains both continuous and discrete behaviors. It has a wide range of applications in fields such as healthcare equipment, intelligent traffic control and environmental monitoring. However, the combination of continuous physical behaviorand discrete control behavior may complicate the design of systems further. It is of great necessity to give an explicit formal language and its semantics for CPS. In this paper, we elaborate the modeling language for CPS based on our previous work.This language supports shared variables to model the interaction between the physical and the cyber. Additionally, we give it denotational semantics and algebraic semantics, especially focus on the continuous behavior and its composition with the discrete behavior. Throughout this paper, we also present some examples to illustrate the feasibility of the language and its semantics intuitively.Index Terms—Cyber-physical system (CPS), Unifying Theories of Programming (UTP), Denotational semantics, Algebraic semantics

AB - The cyber-physical system (CPS) is a dynamic system that contains both continuous and discrete behaviors. It has a wide range of applications in fields such as healthcare equipment, intelligent traffic control and environmental monitoring. However, the combination of continuous physical behaviorand discrete control behavior may complicate the design of systems further. It is of great necessity to give an explicit formal language and its semantics for CPS. In this paper, we elaborate the modeling language for CPS based on our previous work.This language supports shared variables to model the interaction between the physical and the cyber. Additionally, we give it denotational semantics and algebraic semantics, especially focus on the continuous behavior and its composition with the discrete behavior. Throughout this paper, we also present some examples to illustrate the feasibility of the language and its semantics intuitively.Index Terms—Cyber-physical system (CPS), Unifying Theories of Programming (UTP), Denotational semantics, Algebraic semantics

M3 - Conference contribution

BT - THE 26TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS

ER -

Denotational and Algebraic Semantics for Cyber-physical Systems

Abstract

Embargoed Document

Fingerprint

Cite this