{"title":"Equation-based modelling and simulation of hybrid systems","authors":"Olaf Enge-Rosenblatt","doi":"10.1145/3158191.3158195","DOIUrl":"https://doi.org/10.1145/3158191.3158195","url":null,"abstract":"Equation-based 1 modelling of hybrid systems has to consider dynamical systems consisting of components with continuous and/or discrete behavior. The paper focuses on such systems under special consideration of systems with variable model structure. Some ideas are presented how a simulation of continuous and discrete phenomena can be handled correctly. The main process is a continuing alternation between continuous and discrete simulation phases, where in the discrete phase the changeover can be performed to a new model structure which is valid during the next continuous phase. The paper addresses the problem of finding a new valid model structure as a process within the discrete phase. This new valid model structure has to be found under consideration of the time history of the model's variables within the preceding continuous phase. To this end, the usage of the Linear Complementarity Problem (LCP) is proposed. After a definition of hybrid systems and the term model structure, different types of events - with and without influence on the model structure - are listed and properties of complementarity are presented. To find the correct switchover from continuous to discrete phase, so-called indicator functions are used. On the contrary, to find the correct switchover from discrete to continuous phase, the LCP is applied. Some simulation results for an electromechanical system are briefly presented.","PeriodicalId":261856,"journal":{"name":"Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools","volume":"15 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":"114288215","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}
{"title":"Parallelizing simulations with runtime profiling and scheduling","authors":"Mahder Gebremedhin, P. Fritzson","doi":"10.1145/3158191.3158194","DOIUrl":"https://doi.org/10.1145/3158191.3158194","url":null,"abstract":"Incorporating automatic parallelization into compilers and runtime systems of current mathematical modeling and simulation tools is a complicated task. First there are a number of design considerations to be made. Where can potential parallelism be extracted? How should it be represented? How to improve the efficiency of this potential parallelism? In addition to these and similar design questions there are many technical implementation issues the need to be taken into consideration. This can make implementing and experimenting with automatic parallelization an overwhelming process. Effective automatic parallelization requires flexible representation, efficient clustering/merging algorithms and portability. In a previous work we presented a task system representation and parallelization C++ library. The library, named ParModAuto, provided a flexible task system representation supplemented by a few clustering algorithms as well as schedulers. This work presents further improvements to the ParModAuto library. In addition to clustering and scheduling capabilities it is now possible to perform continuous runtime profiling and scheduling. This allows parallelization implementations using the ParModAuto be responsive to load variations during execution. This is particularly useful in simulation environments since simulations are dynamic executions. The prototype implementation has been performed and tested as an extension to the OpenModelica Modeling and Simulation environment's runtime system. The dependency analysis and extraction of parallelization is done automatically from the Modelica model description with the help of the OpenModelica compiler.","PeriodicalId":261856,"journal":{"name":"Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools","volume":"47 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":"131696779","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}
{"title":"Stochastic time petri nets: time processes modelling in Modelica and application in hospital and healthcare","authors":"Timo Lask","doi":"10.1145/3158191.3158196","DOIUrl":"https://doi.org/10.1145/3158191.3158196","url":null,"abstract":"This article displays how different processes in the hospital and healthcare sector can be modeled using Petri nets, focusing particularly on time modeling. For the duration of processes cannot be determined exactly in the field at the most, different options of modeling stochastic time concepts are featured. Also, the piece gives an overview on which new (stochastic) time concepts are by now featured within the Modelica library PNlib (see section 1.3), as well as their concrete utilization in the project FiliP (see section 4).","PeriodicalId":261856,"journal":{"name":"Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools","volume":"68 6 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":"134105939","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}