TY - GEN
T1 - Denotational and Algebraic Semantics for Cyber-physical Systems
AU - Lil, Ran
AU - Zhu, Huibiao
AU - Banach, Richard
N1 - Publisher Copyright:
© 2022 IEEE.
PY - 2022
Y1 - 2022
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 health care 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.
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 health care 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.
KW - Algebraic semantics
KW - Cyber-physical system (CPS)
KW - Denotational semantics
KW - Unifying Theo-ries of Programming (UTP)
UR - https://www.scopus.com/pages/publications/85130094387
U2 - 10.1109/ICECCS54210.2022.00023
DO - 10.1109/ICECCS54210.2022.00023
M3 - 会议稿件
AN - SCOPUS:85130094387
T3 - Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
SP - 123
EP - 132
BT - Proceedings - 2022 26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022
Y2 - 26 March 2022 through 30 March 2022
ER -