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, 10.-14. Okt. 2016, Korfu, Griechenland.
![[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 | ||||||||||||
| 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 Dates: | 10.-14. Okt. 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: | 16 Jul 2019 14:58 |
Repository Staff Only: item control page
