Modeling hybrid systems based on combination of SysML and Modelica
Qing Li, Zining Cao, Tao Huang · 2022
The hybrid system is composed of discrete component and continuous component. However, there is no modeling language that can describe the discrete and dynamic characteristics of it at the same time. Hence, we propose a combined modeling method for hybrid system. SysML and Modelica are used to model discrete and physical components of hybrid systems respectively. The structure diagram of SysML and port are used to realize the communication between SysML model and Modelica model, and the complete semi-formal model of the system can be obtained. Since it is impossible to directly make verification on a semi-formal model, we propose a transformation algorithm to transform it into the formal model, and the correctness of the algorithm can be demonstrated by bisimulation. In addition, we select the hybrid interface automata as the formal model for describing the dynamic behavior of a hybrid system and the interface properties between subsystems. In order to obtain the complete formal model of the system, we propose a combination algorithm of HIA based on SysML and Modelica. An automatic air refueling system is used to illustrate the correctness of the combined modeling way and the algorithms proposed in the paper.