liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct 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
Towards a UTP Semantics for Modelica
University of York, England.
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
University of York, England.
University of York, England.
2017 (English)In: UNIFYING THEORIES OF PROGRAMMING, UTP 2016, SPRINGER INTERNATIONAL PUBLISHING AG , 2017, Vol. 10134, 44-64 p.Conference paper, Published 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.

Place, publisher, year, edition, pages
SPRINGER INTERNATIONAL PUBLISHING AG , 2017. Vol. 10134, 44-64 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10134
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:liu:diva-142845DOI: 10.1007/978-3-319-52228-9_3ISI: 000413070500003ISBN: 978-3-319-52228-9 (electronic)ISBN: 978-3-319-52227-2 (print)OAI: oai:DiVA.org:liu-142845DiVA: diva2:1154921
Conference
6th International Symposium on Unifying Theories of Programming (UTP)
Available from: 2017-11-06 Created: 2017-11-06 Last updated: 2017-11-06

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Thiele, Bernhard Amadeus
By organisation
Software and SystemsFaculty of Science & Engineering
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 3 hits
CiteExportLink to record
Permanent link

Direct 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