Tell a friend
Print
Elmqvist, Hilding and Henningsson, Toivo and Otter, Martin (2016) Systems Modeling and Programming in a Unified Environment based on Julia. In: Leveraging Applications of Formal Methods, Verification, and Validation, Pt II, pp. 198-217. 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2016-10-10 - 2016-10-14, Korfu, Griechenland. doi: 10.1007/978-3-319-47169-3_15.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Only accessible within DLR
599kB |
Abstract
A new approach for modeling of cyber-physical systems is proposed that combines the modeling power of a Modelica-like equation-based language with the powerful features of Julia; a programming language with strong focus on scientific computing, meta-programming and just-in-time compilation. The modeling language is directly defined and implemented with Julia's meta-programming constructs and is designed tightly together with the symbolic and numeric algorithms. This approach is very well suited for experimenting wiht evolutions of modeling capabilities.
| Item URL in elib: | https://elib.dlr.de/106689/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||
| Title: | Systems Modeling and Programming in a Unified Environment based on Julia | ||||||||||||||||
| Authors: |
| ||||||||||||||||
| Date: | 2016 | ||||||||||||||||
| Journal or Publication Title: | Leveraging Applications of Formal Methods, Verification, and Validation, Pt II | ||||||||||||||||
| Refereed publication: | Yes | ||||||||||||||||
| Open Access: | No | ||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||
| In SCOPUS: | No | ||||||||||||||||
| In ISI Web of Science: | Yes | ||||||||||||||||
| DOI: | 10.1007/978-3-319-47169-3_15 | ||||||||||||||||
| Page Range: | pp. 198-217 | ||||||||||||||||
| Editors: |
| ||||||||||||||||
| Status: | Published | ||||||||||||||||
| Keywords: | modelica, Julia, modeling, simulaton | ||||||||||||||||
| Event Title: | 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation | ||||||||||||||||
| Event Location: | Korfu, Griechenland | ||||||||||||||||
| Event Type: | international Conference | ||||||||||||||||
| Event Start Date: | 10 October 2016 | ||||||||||||||||
| Event End Date: | 14 October 2016 | ||||||||||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||||||
| HGF - Program: | Transport | ||||||||||||||||
| HGF - Program Themes: | Terrestrial Vehicles (old) | ||||||||||||||||
| DLR - Research area: | Transport | ||||||||||||||||
| DLR - Program: | V BF - Bodengebundene Fahrzeuge | ||||||||||||||||
| DLR - Research theme (Project): | V - Fahrzeugintelligenz (old) | ||||||||||||||||
| Location: | Oberpfaffenhofen | ||||||||||||||||
| Institutes and Institutions: | Institute of System Dynamics and Control > Vehicle System Dynamics | ||||||||||||||||
| Deposited By: | Klauer, Monika | ||||||||||||||||
| Deposited On: | 11 Jan 2017 14:17 | ||||||||||||||||
| Last Modified: | 24 Apr 2024 20:11 |
Repository Staff Only: item control page
