Context-Oriented Equation-based Modeling in ModelingToolkit. jl
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Abstract
Cyber-physical systems are self-adaptive, changing theirbehavior 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 industrialequation-based modeling languages, such as Modelica, causesproblems when simulating self-adaptive systems, e.g., theyonly limitedly support structural variability, and statetransitions are based on if-then-else conditions that cancause conflicts, especially for complex control mechanisms.We present a modeling technique for equation-basedmodels containing variability by implementing concise anddedicated language constructs to express state space andtransitions via contextual modeling. Contextual modelingabstracts the modeled world and allows the definition ofconstraints that reduce the risk of reaching conflictingstates. We demonstrate the feasibility of our approach on acase study, presenting the advantages of our modelingtechnique regarding the definition of state control and thereduction of risk for reaching conflicting states.
Details
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 16th International Modelica & FMI Conference |
| Pages | 155-164 |
| ISBN (electronic) | 978-91-8118-266-8 |
| Publication status | Published - 24 Oct 2025 |
| Peer-reviewed | Yes |
Publication series
| Series | Linköping electronic Conference Proceedings |
|---|---|
| Volume | 218 |
| ISSN | 1650-3686 |
External IDs
| ORCID | /0000-0003-1537-7815/work/205991639 |
|---|---|
| ORCID | /0000-0002-3513-6448/work/205991858 |
| ORCID | /0009-0008-3887-3217/work/205992867 |