Model Disambiguation Technology in MWORKS.Sysplorer

Abstract

Modelica models exhibit excellent cross-platformcompatibility (they can be compiled and simulated on anyplatform supporting Modelica). However, experiments haverevealed that simulation results of the same Modelica modelmay vary across different platforms (under identicalsimulation algorithm configurations). The root cause ofsuch discrepancies lies in model translation uncertaintyintroduced by improper modeling practices, such asinsufficient initial constraints or ambiguous statevariables selection. Different Modelica tools may havedifferent translation strategies. Therefore, modeldisambiguation should be performed to ensure consistentsimulation results. It can be addressed by three parties:through language improvements, such as the proposal ofrelevant annotations, by vendor tools; and by the modelersthrough manual intervention. This paper presents a modeldisambiguation technology in MWORKS.Sysplorer that enablesmodelers to automatically correct model text based ontranslation information, eliminating uncertainties andensuring model portability across Modelica platforms.