Article | Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4–6, 2019 | Flow Network based Diagnostics for Incorrect Synchronous Models Linköping University Electronic Press Conference Proceedings
Göm menyn

Title:
Flow Network based Diagnostics for Incorrect Synchronous Models
Author:
Hans Olsson: Dassault Systemes, Sweden
DOI:
10.3384/ecp19157743
Download:
Full text (pdf)
Year:
2019
Conference:
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4–6, 2019
Issue:
157
Article no.:
077
Pages:
8
No. of pages:
743-750
Publication type:
Abstract and Fulltext
Published:
2019-02-01
ISBN:
978-91-7685-122-7
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press, Linköpings universitet


Export in BibTex, RIS or text

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.



Keywords: synchronous, graph theory, flow networks, minimal cut, error diagnostics

Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4–6, 2019

Author:
Hans Olsson
Title:
Flow Network based Diagnostics for Incorrect Synchronous Models
DOI:
http://dx.doi.org/10.3384/ecp19157743
References:
No references available

Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4–6, 2019

Author:
Hans Olsson
Title:
Flow Network based Diagnostics for Incorrect Synchronous Models
DOI:
https://doi.org10.3384/ecp19157743
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2019-06-04