This paper will present a novel way to give diagnostics for incorrect synchronous models. The goal is that this will ease the introduction of synchronous models, since unclear diagnostics often create a barrier for new users. In particular the case of separating the clocked and continuous parts will be considered, and shown to be equivalent to finding a “leak-flow” in a certain flow network, which can be solved using max-flow/min-cut techniques. The result is efficient, easy-to-adapt, and gives diagnostics focused on correcting the issue. We have not seen this idea used before in this context, even if in retrospect it seems natural and straightforward. The methods have been implemented in Dymola 2019 (released in June 2018) and also in 3D Experience Platform 2019x.
[1]
Hans Olsson,et al.
Balanced Models in Modelica 3.0 for Increased Model Quality
,
2008
.
[2]
Peter Fritzson,et al.
Methods for Structural Analysis and Debugging of Modelica Models
,
2002
.
[3]
Hans Olsson,et al.
Parallel Model Execution on Many Cores
,
2014
.
[4]
Hilding Elmqvist,et al.
Fundamentals of Synchronous Control in Modelica
,
2012
.
[5]
D. R. Fulkerson,et al.
Maximal Flow Through a Network
,
1956
.
[6]
Xin-She Yang,et al.
Introduction to Algorithms
,
2021,
Nature-Inspired Optimization Algorithms.