Context-Oriented Equation-based Modeling in ModelingToolkit. jl
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
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
| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the 16th International Modelica & FMI Conference |
| Seiten | 155-164 |
| ISBN (elektronisch) | 978-91-8118-266-8 |
| Publikationsstatus | Veröffentlicht - 24 Okt. 2025 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | Linköping electronic Conference Proceedings |
|---|---|
| Band | 218 |
| ISSN | 1650-3686 |
Externe IDs
| ORCID | /0000-0003-1537-7815/work/205991639 |
|---|---|
| ORCID | /0000-0002-3513-6448/work/205991858 |
| ORCID | /0009-0008-3887-3217/work/205992867 |