Context-Oriented Equation-based Modeling in ModelingToolkit. jl

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

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

OriginalspracheEnglisch
TitelProceedings of the 16th International Modelica & FMI Conference
Seiten155-164
ISBN (elektronisch)978-91-8118-266-8
PublikationsstatusVeröffentlicht - 24 Okt. 2025
Peer-Review-StatusJa

Publikationsreihe

ReiheLinköping electronic Conference Proceedings
Band218
ISSN1650-3686

Externe IDs

ORCID /0000-0003-1537-7815/work/205991639
ORCID /0000-0002-3513-6448/work/205991858
ORCID /0009-0008-3887-3217/work/205992867

Schlagworte