liu.seSearch for publications in DiVA
Change search
Refine search result
1 - 5 of 5
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1.
    Berger, Lutz
    et al.
    Berger IT-COSMOS GmbH, Bavaria, Germany.
    Sjölund, Martin
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
    Thiele, Bernhard
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
    Code Generation for STM32F4 Boards with Modelica Device Drivers: [Work in Progress]2017In: Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, Association for Computing Machinery (ACM), 2017, p. 77-80Conference paper (Refereed)
  • 2.
    Buffoni, Lena
    et al.
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
    Pop, AdrianLinköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.Thiele, BernhardLinköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
    Proceedings of the 56th Conference on Simulation and Modelling (SIMS 56): October, 7-9, 2015, Linköping University, Sweden2015Conference proceedings (editor) (Refereed)
    Abstract [en]

    Welcome

    The 56th Conference on Simulation and Modelling will be held in Linköping, Sweden. Linköping is one of Sweden’s fastest growing cities. The population is constantly increasing and will soon surpass 150 000 inhabitants. It is currently Sweden’s fifth largest city and a part of the expansive region Twin Cities of Sweden. Linköping has long been characterized by world-class high technology in the fields of aviation, IT and the environment. There is a strong force of innovation especially in Mjärdevi Science Park—one of Europe’s leading technology parks, and at the highly ranked university, which stands for excellence and entrepreneurship.

    SIMS is the Scandinavian Simulation Society with members from the five Nordic countries Denmark, Finland, Norway, Sweden and Iceland. The SIMS history goes back to 1959. The goal of SIMS is to further the science and practice of modeling and simulation in all application areas and be a Scandinavian forum for information interchange among modeling and simulation professionals and non-professionals in Denmark, Finland, Norway and Sweden as well as a channel for information exchange between the Scandinavian modeling and simulation community and the international modeling and simulation communities.

    The ambition of the SIMS is to bring the field of modeling and simulation technology to a variety of application fields from energy extraction to building and automotive industries, resulting in more sustainable and ecological systems and reducing energy consumption and waste production. The scientific program includes technical sessions with submitted and invited papers and will cover broad aspects of simulation, modeling and optimization.

    The focus of the conference is split evenly between papers on simulation and optimization in a variety of applied contexts spanning domains such as oil extraction, automotive and building industries and more methodological papers on tools and technologies for simulation and modeling.

    This year we wanted to emphasize the importance of reducing the gap between state of the art methodologies and tools and industrial applications. To this end a number of invited talks, papers and tutorials were centered on tools and methodologies for successful modeling in an industrial context.

    The format of the conference is somewhat changed compared to previous years. This year we have dedicated a half-day before the traditional two-day conference to tutorials, with 3 tutorials presenting stateof- the-art simulation tools.

    Conference highlights:

    • 4 Keynote speeches
    • 40 papers in 2 parallel tracks
    • 3 tutorials
    • Electronic proceedings including all papers and some associated Modelica libraries and models

    Finally, we want to acknowledge the support we received from the conference board and program committee as well as from the SIMS board. Special thanks to our colleagues at this year’s organizers at Linköping University, especially to Åsa Kärrman, and Tina Malmström from Grand Travel Group. The support from the conference sponsors is gratefully acknowledged. Last but not least, thanks to all authors, keynote speakers, and presenters for their contributions to this conference. We wish all participants an enjoyable and inspiring conference.

    Linköping, September 1, 2015

    Lena Buffoni, Adrian Pop and Bernhard Thiele

  • 3.
    Foster, Simon
    et al.
    University of York, England.
    Thiele, Bernhard Amadeus
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
    Cavalcanti, Ana
    University of York, England.
    Woodcock, Jim
    University of York, England.
    Towards a UTP Semantics for Modelica2017In: UNIFYING THEORIES OF PROGRAMMING, UTP 2016, SPRINGER INTERNATIONAL PUBLISHING AG , 2017, Vol. 10134, p. 44-64Conference paper (Refereed)
    Abstract [en]

    We describe our work on a UTP semantics for the dynamic systems modelling language Modelica. This is a language for modelling a systems continuous behaviour using a combination of differential-algebraic equations and an event-handling system. We develop a novel UTP theory of hybrid relations, inspired by Hybrid CSP and Duration Calculus, that is purely relational and provides uniform handling of continuous and discrete variables. This theory is mechanised in our Isabelle implementation of the UTP, Isabelle/UTP, with which we verify some algebraic properties. Finally, we show how a subset of Modelica models can be given semantics using our theory. When combined with the wealth of existing UTP theories for discrete system modelling, our work enables a sound approach to heterogeneous semantics for Cyber-Physical systems by leveraging the theory linking facilities of the UTP.

  • 4.
    Thiele, Bernhard Amadeus
    et al.
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
    Knoll, A.
    Technical University of Munich, Germany.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
    Towards Qualifiable Code Generation from a Clocked Synchronous Subset of Modelica2015In: Modeling, Identification and Control, ISSN 0332-7353, E-ISSN 1890-1328, Vol. 36, no 1, p. 23-52Article in journal (Refereed)
    Abstract [en]

    So far no qualifiable automatic code generators (ACGs) are available for Modelica. Hence, digital control applications can be modeled and simulated in Modelica, but require tedious additional efforts (e.g., manual reprogramming) to produce qualifiable target system production code. In order to more fully leverage the potential of a model-based development (MBD) process in Modelica, a qualifiable automatic code generator is needed. Typical Modelica code generation is a fairly complex process which imposes a huge development burden to any efforts of tool qualification. This work aims at mapping a Modelica subset for digital control function development to a well-understood synchronous data-flow kernel language. This kernel language allows to resort to established compilation techniques for data-flow languages which are understood enough to be accepted by certification authorities. The mapping is established by providing a translational semantics from the Modelica subset to the synchronous data-flow kernel language. However, this translation turned out to be more intricate than initially expected and has given rise to several interesting issues that require suitable design decisions regarding the mapping and the language subset.

  • 5.
    Thiele, Bernhard
    et al.
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
    Flattening of Modelica State Machines: a practical symbolic representation2015In: Proceedings of the 11th International Modelica Conference: Versailles, France, September 21-23, 2015 / [ed] Peter Fritzson, Hilding Elmqvist, Linköping: Linköping University Electronic Press, 2015, p. 255-263Conference paper (Refereed)
    Abstract [en]

    Modelica 3.3 introduced dedicated built-in language support for state machines that was inspired by semantics known from Statechart and mode automata formalisms. The specification describes the semantics of these constructs in terms of data-flow equations that allows to relate it to the Modelica DAE representation which is the conceptual intermediate format of Modelica code after instance creation (flattening). However, a complete transformation of state machine constructs into data-flow equations at the stage of flattening requires an early commitment to implementation details that potentially hinders model optimizations at subsequent translation phases. Also, due to the required substantial model transformation the semantic distance between the original source model and the flattened representation is rather large. Hence, this paper proposes a more versatile symbolic representation for flattened state machine constructs that preserves the state machine’s composition structure and allows postponing optimizations to subsequent compiler phases.

1 - 5 of 5
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf