Context-Oriented Equation-based Modeling in ModelingToolkit. jl

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

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 languageEnglish
Title of host publicationProceedings of the 16th International Modelica & FMI Conference
Pages155-164
ISBN (electronic)978-91-8118-266-8
Publication statusPublished - 24 Oct 2025
Peer-reviewedYes

Publication series

SeriesLinköping electronic Conference Proceedings
Volume218
ISSN1650-3686

External IDs

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

Keywords