| Files: | Description | File size | Format | Browse |
| Fulltext | 0.68 MB | PDF (requires Acrobat Reader) | Previous | Next |
| | |
| Authors: | P. Pepper: Institut für Softwaretechnik. TU Berlin, Germany |
| | A. Mehlhase: Institut für Softwaretechnik. TU Berlin, Germany |
| | Ch. Höger: Institut für Softwaretechnik. TU Berlin, Germany |
| | L. Scholz: Institut für Mathematik. TU Berlin, Germany |
| Publication title: | A Compositional Semantics for Modelica-style Variable-structureModeling |
| Conference: | Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools,
Zurich, Switzerland, September 5, 2011 |
| Publication type: | Abstract and Fulltext |
| Issue: | 056 |
| Article No.: | 006 |
| Abstract: | Modelica traditionally has a non-compositional semantic definition, based on so-called “flattening”. But in the realm of programming languages and theoretical computer science it is by now an accepted principle that semantics should be given in a compositional way. Such a semantics is given in this paper for Modelica-style languages. Moreover, the approach is also used to consider more general modeling concepts, namely so-called variable-structure systems. As an outlook we discuss the correspondence between such an idealized mathematical semantics and a more pragmatic numeric solver-oriented semantics. |
| Language: | English |
| Keywords: | Modelica, compositional semantics, structure dynamics, uncertainty |
| Year: | 2011 |
| No. of pages: | 10 |
| Pages: | 45-54 |
| ISBN: | 978-91-7519-825-5 |
| Series: | Linköping Electronic Conference Proceedings |
| ISSN (print): | 1650-3686 |
| ISSN (online): | 1650-3740 |
| File: | http://www.ep.liu.se/ecp/056/006/ecp1105606.pdf |
| Available: | 2011-11-03 |
| Publisher: | Linköping University Electronic Press, Linköpings universitet |
|
REFERENCE TO THIS PAGE | P. Pepper, A. Mehlhase, Ch. Höger, L. Scholz (2011). A Compositional Semantics for Modelica-style Variable-structureModeling, Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools,
Zurich, Switzerland, September 5, 2011 http://www.ep.liu.se/ecp_article/index.en.aspx?issue=056;article=006 (accessed 6/19/2013) |
|
Ph.D., Lic. Theses
