elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Systems Modeling and Programming in a Unified Environment based on Julia

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] PDF - Registered users only
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:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Elmqvist, HildingMogram ABUNSPECIFIED
Henningsson, ToivoUniversity Lund, SchwedenUNSPECIFIED
Otter, Martinmartin.otter (at) DLR.deUNSPECIFIED
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:
EditorsEmail
Margaria, TizianaUNSPECIFIED
Steffen, BernhardUNSPECIFIED
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

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.