HHML: A hierarchical hybrid modeling language for mode-based periodic controllers

Zhiming Hu; Zheng Wang; Hongjian Jiang; Yuyuan Zhang; Yongxin Zhao

doi:10.18293/SEKE2021-149

HHML: A hierarchical hybrid modeling language for mode-based periodic controllers

Zhiming Hu
, Zheng Wang
, Hongjian Jiang
, Yuyuan Zhang
, Yongxin Zhao^*

^*Corresponding author for this work

Software Engineering Institute

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

Abstract

In cyber-physical systems, the controllers are widely designed into mode-based periodic modules, which are used to control physical plants. Such a system can be modeled as a hybrid one, i.e., one of the real-time controller programs and interactive continuous plants that obey dynamical laws. In this work, to facilitate the modeling and analysis of periodic hybrid control systems in the field of aerospace and smart cities, a hierarchical hybrid modeling language (HHML) is proposed, which contains a two-hierarchy structure, i.e., mode-hierarchy and module-hierarchy. The former supports modeling a hybrid system at the abstraction level, while the latter is used to describe the behavior of the modules. The operational semantics is investigated for formal analysis, and the translation rules to hybrid automaton are explored for formal verification. A case study is conducted with the lunar lander to demonstrate the effectiveness of the approach.

Original language	English
Title of host publication	Proceedings - SEKE 2021
Subtitle of host publication	33rd International Conference on Software Engineering and Knowledge Engineering
Publisher	Knowledge Systems Institute Graduate School
Pages	31-36
Number of pages	6
ISBN (Electronic)	1891706527
DOIs	https://doi.org/10.18293/SEKE2021-149
State	Published - 2021
Event	33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021 - Pittsburgh, United States Duration: 1 Jul 2021 → 10 Jul 2021

Publication series

Name	Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE
Volume	2021-July
ISSN (Print)	2325-9000
ISSN (Electronic)	2325-9086

Conference

Conference	33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021
Country/Territory	United States
City	Pittsburgh
Period	1/07/21 → 10/07/21

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Sustainable cities and communities

Keywords

Cyber-physical system
Formal semantics
Hybrid systems
Model verification

Access to Document

10.18293/SEKE2021-149

Cite this

Hu, Z., Wang, Z., Jiang, H., Zhang, Y., & Zhao, Y. (2021). HHML: A hierarchical hybrid modeling language for mode-based periodic controllers. In Proceedings - SEKE 2021: 33rd International Conference on Software Engineering and Knowledge Engineering (pp. 31-36). (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; Vol. 2021-July). Knowledge Systems Institute Graduate School. https://doi.org/10.18293/SEKE2021-149

Hu, Zhiming ; Wang, Zheng ; Jiang, Hongjian et al. / HHML : A hierarchical hybrid modeling language for mode-based periodic controllers. Proceedings - SEKE 2021: 33rd International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, 2021. pp. 31-36 (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE).

@inproceedings{913896fcf92a4075b14f16be85457b3f,

title = "HHML: A hierarchical hybrid modeling language for mode-based periodic controllers",

abstract = "In cyber-physical systems, the controllers are widely designed into mode-based periodic modules, which are used to control physical plants. Such a system can be modeled as a hybrid one, i.e., one of the real-time controller programs and interactive continuous plants that obey dynamical laws. In this work, to facilitate the modeling and analysis of periodic hybrid control systems in the field of aerospace and smart cities, a hierarchical hybrid modeling language (HHML) is proposed, which contains a two-hierarchy structure, i.e., mode-hierarchy and module-hierarchy. The former supports modeling a hybrid system at the abstraction level, while the latter is used to describe the behavior of the modules. The operational semantics is investigated for formal analysis, and the translation rules to hybrid automaton are explored for formal verification. A case study is conducted with the lunar lander to demonstrate the effectiveness of the approach.",

keywords = "Cyber-physical system, Formal semantics, Hybrid systems, Model verification",

author = "Zhiming Hu and Zheng Wang and Hongjian Jiang and Yuyuan Zhang and Yongxin Zhao",

note = "Publisher Copyright: {\textcopyright} 2021 Knowledge Systems Institute Graduate School. All rights reserved.; 33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021 ; Conference date: 01-07-2021 Through 10-07-2021",

year = "2021",

doi = "10.18293/SEKE2021-149",

language = "英语",

series = "Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE",

publisher = "Knowledge Systems Institute Graduate School",

pages = "31--36",

booktitle = "Proceedings - SEKE 2021",

address = "美国",

}

Hu, Z, Wang, Z, Jiang, H, Zhang, Y & Zhao, Y 2021, HHML: A hierarchical hybrid modeling language for mode-based periodic controllers. in Proceedings - SEKE 2021: 33rd International Conference on Software Engineering and Knowledge Engineering. Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, vol. 2021-July, Knowledge Systems Institute Graduate School, pp. 31-36, 33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021, Pittsburgh, United States, 1/07/21. https://doi.org/10.18293/SEKE2021-149

HHML: A hierarchical hybrid modeling language for mode-based periodic controllers. / Hu, Zhiming; Wang, Zheng; Jiang, Hongjian et al.
Proceedings - SEKE 2021: 33rd International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, 2021. p. 31-36 (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; Vol. 2021-July).

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

TY - GEN

T1 - HHML

T2 - 33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021

AU - Hu, Zhiming

AU - Wang, Zheng

AU - Jiang, Hongjian

AU - Zhang, Yuyuan

AU - Zhao, Yongxin

PY - 2021

Y1 - 2021

N2 - In cyber-physical systems, the controllers are widely designed into mode-based periodic modules, which are used to control physical plants. Such a system can be modeled as a hybrid one, i.e., one of the real-time controller programs and interactive continuous plants that obey dynamical laws. In this work, to facilitate the modeling and analysis of periodic hybrid control systems in the field of aerospace and smart cities, a hierarchical hybrid modeling language (HHML) is proposed, which contains a two-hierarchy structure, i.e., mode-hierarchy and module-hierarchy. The former supports modeling a hybrid system at the abstraction level, while the latter is used to describe the behavior of the modules. The operational semantics is investigated for formal analysis, and the translation rules to hybrid automaton are explored for formal verification. A case study is conducted with the lunar lander to demonstrate the effectiveness of the approach.

AB - In cyber-physical systems, the controllers are widely designed into mode-based periodic modules, which are used to control physical plants. Such a system can be modeled as a hybrid one, i.e., one of the real-time controller programs and interactive continuous plants that obey dynamical laws. In this work, to facilitate the modeling and analysis of periodic hybrid control systems in the field of aerospace and smart cities, a hierarchical hybrid modeling language (HHML) is proposed, which contains a two-hierarchy structure, i.e., mode-hierarchy and module-hierarchy. The former supports modeling a hybrid system at the abstraction level, while the latter is used to describe the behavior of the modules. The operational semantics is investigated for formal analysis, and the translation rules to hybrid automaton are explored for formal verification. A case study is conducted with the lunar lander to demonstrate the effectiveness of the approach.

KW - Cyber-physical system

KW - Formal semantics

KW - Hybrid systems

KW - Model verification

UR - https://www.scopus.com/pages/publications/85114274784

U2 - 10.18293/SEKE2021-149

DO - 10.18293/SEKE2021-149

M3 - 会议稿件

AN - SCOPUS:85114274784

T3 - Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

SP - 31

EP - 36

BT - Proceedings - SEKE 2021

PB - Knowledge Systems Institute Graduate School

Y2 - 1 July 2021 through 10 July 2021

ER -

Hu Z, Wang Z, Jiang H, Zhang Y, Zhao Y. HHML: A hierarchical hybrid modeling language for mode-based periodic controllers. In Proceedings - SEKE 2021: 33rd International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School. 2021. p. 31-36. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE). doi: 10.18293/SEKE2021-149

HHML: A hierarchical hybrid modeling language for mode-based periodic controllers

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this