Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools最新文献

{"title":"Session details: Modelling and simulation","authors":"F. Casella","doi":"10.1145/3382493","DOIUrl":"https://doi.org/10.1145/3382493","url":null,"abstract":"","PeriodicalId":394627,"journal":{"name":"Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134526383","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":"Status and directions for cyber-physical system development with OpenModelica","authors":"P. Fritzson","doi":"10.1145/3365984.3369800","DOIUrl":"https://doi.org/10.1145/3365984.3369800","url":null,"abstract":"The industry is currently seeing a rapid development of cyber-physical system products containing integrated software, hardware, and communication components. The increasing system complexity in the automotive and aerospace industries are some examples. The systems that are developed have increasing demands of dependability and usability. Moreover, lead time and cost efficiency continue to be essential for industry competitiveness. Extensive use of modeling and simulation - Model-Based Systems Engineering tools - throughout the value chain and system life-cycle is one of the most important ways to effectively target these challenges. Simultaneously there is an increased interest in open source tools that allow more control of tool features and support, and increased cooperation and shared access to knowledge and innovations between organizations. Modelica is a modern, strongly typed, declarative, equation-based, and object-oriented (EOO) language for model-based systems engineering including modeling and simulation of complex cyber-physical systems Major features are: ease of use, visual design of models with combination of lego-like predefined model building blocks, ability to define model libraries with reusable components, support for modeling and simulation of complex applications involving parts from several application domains, and many more useful facilities. The Modelica language is ideally suited for cyber-physical modeling tasks since it allows integrated modeling of discrete-time (embedded control software) and continuous-time (process dynamics, often for physical hardware). Modelica 3.3 extended the language with clocked synchronous constructs, which are especially well suited to model and integrate physical and digital hardware with model-based software. This talk gives an overview of the current status and directions of the OpenModelica environment - the most complete Modelica open-source tool for modeling, engineering, simulation, and development of systems applications (www.openmodelica.org). Special features are MetaModeling for efficient model transformations, debugging support for equation-based models, support (via OMSimulator) for the Functional Mockup Interface for general tool integration and model export/import between tools, model-based optimization, as well as generation of parallel code for multi-core architectures. Moreover, also mentioned is recent work to make an OpenModelica based tool chain for developing digital controller software for embedded systems, and in generating embedded controller code for very small target platforms like Arduino Boards with down to 2kbyte memory. This work is extended in the ongoing EMPHYSIS project where the FMI standard is extended into the eFMI standard for embedded systems. OpenModelica is one of the platforms participating in that project.","PeriodicalId":394627,"journal":{"name":"Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117160673","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":"Parametrization of resistive crossbar arrays for vector matrix multiplication","authors":"J. Haase","doi":"10.1145/3365984.3365987","DOIUrl":"https://doi.org/10.1145/3365984.3365987","url":null,"abstract":"Vector Matrix Multiplication (VMM) is a fundamental operation in machine learning algorithms focused on artificial neural networks and also many simulation codes. Implementations based on crossbar arrays provide a promising approach to perform this operation with an analogue circuit. In comparison to purely digital solutions, significant improvements in processing speed and power consumption can be expected when applying this approach. However, securing the accuracy is more difficult than in the digital case. Primary reasons include nonlinearities of essential resistive elements and non-zero resistances of wiring lines. Many publications have dealt with this topic in the recent years analysing the different influences in different ways. We provide a unified approach based on the well-known indefinite admittance matrix concept for the description of the terminal behaviour of analogue multi-poles for the parametrization of crossbar arrays and for the estimation of computational error limits. This paper describes work in progress. It illustrates the procedures through a number of examples using modelling and simulation capabilities of VHDL-AMS. This behavioural modelling language seems particularly suitable for investigations on tailored implementations using VMM. It combines the support of analogue mixed modelling and simulation with the facility to generate scalable architectures. Aspects of solving this task with Modelica are also discussed. Furthermore, it is also shown how symbolic methods might be used to consider resistances of wiring lines in the parametrization of crossbar arrays.","PeriodicalId":394627,"journal":{"name":"Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools","volume":"39 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131233204","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":"Latest developments in equation-based building energy simulation","authors":"C. Nytsch-Geusen","doi":"10.1145/3365984.3369801","DOIUrl":"https://doi.org/10.1145/3365984.3369801","url":null,"abstract":"The design and planning of sustainable buildings requires flexible simulation tools that can be used for the creation of building energy systems with a high overall energy efficiency, as well as supporting a differentiated assessment of the indoor climate. For this purpose, building energy simulation tools like EnergyPlus or IDA ICE are used in the building industry and from architects. On the one hand, these type of tools are easy to use in practice, because they come with professional 3D-user interfaces, databases for building materials, elements, technologies. Further, they support the post processing phase of an simulation experiment in different manner. On the other hand, these tools are limited to their implemented physics and the geometries and structures of the analyzed building models cannot be changed in real-time during the simulation experiments. This represents a significant limitation for the research and development of new simulation methods in the field of building simulation. Applying the equation-based and object-oriented modeling language Modelica and appropriate tools and software methods can largely overcome these limitations, which can better explore new scientific issues in the field of energetic building simulation. This talk gives an overview about latest Modelica-based modeling and simulation technologies for the energy analysis of individual spaces, whole building energy systems and also city districts. It will be illustrated that these three different model scales can be efficiently supported by a combination of the equation-based and object-oriented Modelica approach with other software approaches like virtual reality (VR) environments on the room scale, building information modeling (BIM) and also building automation systems (BAS) on the building scale, and geographical information systems (GIS) on the district scale.","PeriodicalId":394627,"journal":{"name":"Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132896745","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":"ModelicaGym","authors":"Oleh Lukianykhin, T. Bogodorova","doi":"10.1145/3365984.3365985","DOIUrl":"https://doi.org/10.1145/3365984.3365985","url":null,"abstract":"This paper presents ModelicaGym toolbox that was developed to employ Reinforcement Learning (RL) for solving optimization and control tasks in Modelica models. The developed tool allows connecting models using Functional Mock-up Interface (FMI) to OpenAI Gym toolkit in order to exploit Modelica equation-based modeling and co-simulation together with RL algorithms as a functionality of the tools correspondingly. Thus, ModelicaGym facilitates fast and convenient development of RL algorithms and their comparison when solving optimal control problem for Modelica dynamic models. Inheritance structure of ModelicaGym toolbox's classes and the implemented methods are discussed in details. The toolbox functionality validation is performed on Cart-Pole balancing problem. This includes physical system model description and its integration using the toolbox, experiments on selection and influence of the model parameters (i.e. force magnitude, Cart-pole mass ratio, reward ratio, and simulation time step) on the learning process of Q-learning algorithm supported with the discussion of the simulation results.","PeriodicalId":394627,"journal":{"name":"Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128200196","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}