Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools最新文献

Traceability and impact analysis in requirement verification 需求验证中的可追溯性和影响分析

Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools Pub Date : 2017-12-01 DOI: 10.1145/3158191.3158207

L. Buffoni, A. Pop, Alachew Mengist

引用次数: 5

Code generation for STM32F4 boards with Modelica device drivers 带有Modelica设备驱动程序的STM32F4板的代码生成

Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools Pub Date : 2017-12-01 DOI: 10.1145/3158191.3158204

L. Berger, Martin Sjölund, Bernhard Thiele

引用次数: 3

Towards an OpenModelica-based sensitivity analysis platform including optimization-driven strategies 基于openmodelica的灵敏度分析平台，包括优化驱动策略

Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools Pub Date : 2017-12-01 DOI: 10.1145/3158191.3158206

A. Danós, Willi Braun, P. Fritzson, A. Pop, H. Scolnik, R. Castro

{"title":"Towards an OpenModelica-based sensitivity analysis platform including optimization-driven strategies","authors":"A. Danós, Willi Braun, P. Fritzson, A. Pop, H. Scolnik, R. Castro","doi":"10.1145/3158191.3158206","DOIUrl":"https://doi.org/10.1145/3158191.3158206","url":null,"abstract":"Parameter sensitivity analysis is a core activity to assess the robustness of dynamical models with regard to unreliable parameters. This becomes critical for nonlinear models with many parameters subject to large uncertainties. In such contexts too often numerical experimentation is required due to the lack of analytic expressions for the derivatives of state variables with respect to parameters. A naive sweeping of the full parameter space is usually not an option due to combinatorial explosion. In this work we present OMSens, an open platform to assess the sensitivity of Modelica models tailored to work with OpenModelica. OMSens uses different methods to sensitivity analysis including an approach based on derivate-free non-linear optimization. This is a new approach not previously used in Modelica tools which provides important advantages such as robustness and applicability to models for which the derivatives of state variables don't exist or are not available. We tested OMSens with a Modelica version of World3, a large nonlinear socio-economic model. OMSens was effective to pinpoint a nonintuitive subset of parameters that, when perturbed within small ranges, yield strong changes on key state variables.","PeriodicalId":261856,"journal":{"name":"Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127657454","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

On the terminology and structuring of co-simulation methods 联合仿真方法的术语和结构

Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools Pub Date : 2017-12-01 DOI: 10.1145/3158191.3158203

I. Hafner, N. Popper

引用次数: 29

Compile-time dynamic and recursive data structures in Modelica Modelica中的编译时动态和递归数据结构

Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools Pub Date : 2017-12-01 DOI: 10.1145/3158191.3158205

Matthias Hellerer, Fabian Buse

引用次数: 2

Elaborate control: variable-structure modeling from an operational perspective 精细控制:从操作角度的变结构建模

Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools Pub Date : 2017-12-01 DOI: 10.1145/3158191.3158198

Christoph Höger

引用次数: 4

Collision handling with variable-step integrators 用变步积分器处理碰撞

Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools Pub Date : 2017-12-01 DOI: 10.1145/3158191.3158193

A. Neumayr, M. Otter

引用次数: 4

Abstract modelling: towards a typed declarative language for the conceptual modelling phase 抽象建模:面向概念建模阶段的类型化声明性语言

Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools Pub Date : 2017-12-01 DOI: 10.1145/3158191.3158202

D. Legatiuk, H. Nilsson

{"title":"Abstract modelling: towards a typed declarative language for the conceptual modelling phase","authors":"D. Legatiuk, H. Nilsson","doi":"10.1145/3158191.3158202","DOIUrl":"https://doi.org/10.1145/3158191.3158202","url":null,"abstract":"The growing complexity of modern engineering tasks necessitates improved tool support for modelling, in particular tools allowing early detection of modelling errors. Broadly, there are two classes of modelling errors: (i) errors related to abstract modelling, e.g. conceptual errors concerning the coherence of a model as a whole, and (ii) errors related to concrete modelling, e.g. questions of approximation quality and implementation. Concrete modelling errors are relatively well understood, but abstract modelling errors less so. If, however, abstract modelling errors could be detected early, before concrete implementation starts, this would be very beneficial. Unfortunately, existing engineering tools, like current modelling languages, do not support modelling in the abstract well, leaving a gap in the engineering tool chain. To overcome this problem, this paper presents a first step towards a language supporting abstract modelling in mathematical physics with the aim of ensuring coherence of coupled multiphysics models early in the design process. To that end, following the approach of Functional Hybrid Modelling, we discuss how a language supporting quite general modelling equations can be realised as an embedding in Haskell. The appeal of the approach is that only few core concepts are needed, simplifying the semantics, and that much of the language infrastructure comes for free thanks to embedding.","PeriodicalId":261856,"journal":{"name":"Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132059553","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4

Representations of equation-based models are not created equal 基于方程的模型的表示并不是平等的

Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools Pub Date : 2017-12-01 DOI: 10.1145/3158191.3158200

Alexander Pollok, A. Klöckner, D. Zimmer

{"title":"Representations of equation-based models are not created equal","authors":"Alexander Pollok, A. Klöckner, D. Zimmer","doi":"10.1145/3158191.3158200","DOIUrl":"https://doi.org/10.1145/3158191.3158200","url":null,"abstract":"For equation-based modelling languages, modelling experts have many degrees of freedom when building a model from scratch. One of the most basic choices the expert faces is the mode of representation. The same system can be represented for instance as a block-diagram, by writing down the physical equations, by writing an algorithm, or by graphically connecting ready-made subcomponents. To give some guidance in this aspect, an experiment was conducted to measure the effects of different representations on various tasks. Participants had to identify models and predict their transient response. Both the time to execute the task and the correctness of the answer were measured. Participants also had to rate their confidence regarding the models. Results showed that tasks were executed much faster for graphical representations than for block-digrams. Equation-based and algorithm-based models can be grouped in the middle. The same results hold for rated confidence. Interestingly, the amount of errors was similar for all representations. Apparently, modelling experts largely compensate for difficulty by taking their time.","PeriodicalId":261856,"journal":{"name":"Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129275299","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

On the importance of scaling in equation-based modelling 论尺度在基于方程的建模中的重要性

Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools Pub Date : 2017-12-01 DOI: 10.1145/3158191.3158192

F. Casella, Willi Braun

引用次数: 3