Context-Oriented Equation-based Modeling inModelingToolkit.jl
2025-09-10 , 202

Cyber-physical systems are self-adaptive, changing their behavior at run time to adapt to their context. Hence, their simulations must also handle variability at run time. The lack of support for variability in industrial equation-based modeling languages, such as Modelica, causes problems when simulating self-adaptive systems, e.g., they only limitedly support structural variability, and state transitions are based on if-then-else conditions that can cause conflicts, especially for complex control mechanisms. We present a modeling technique for equation-based models containing variability by implementing concise and dedicated language constructs to express state space and transitions via contextual modeling. Contextual modeling abstracts the modeled world and allows the definition of constraints that reduce the risk of reaching conflicting states. We demonstrate the feasibility of our approach on a case study, presenting the advantages of our modeling technique regarding the definition of state control and the reduction of risk for reaching conflicting states.


Speaker on Duty: Zizhe Wang


Paper PDF: 16thmodelicafmiconference/question_uploads/paper_35_muDDCBc.pdf
See also: Presentation (658.7 KB)

Zizhe holds degrees in Mechanical and Automobile Engineering.
So basically, if it moves, he knows how it works.

Since 2019, however, he’s been more fascinated by Deep Learning, which eventually lured him into the world of Computer Science.
Now, he’s pursuing his PhD in Computer Science.

Let’s just hope he manages to finish it successfully in 2025!

This speaker also appears in: