Versenden
Drucken
Elmqvist, Hilding und Henningsson, Toivo und 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, Seiten 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
- Nur DLR-intern zugänglich
599kB |
Kurzfassung
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.
| elib-URL des Eintrags: | https://elib.dlr.de/106689/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||
| Titel: | Systems Modeling and Programming in a Unified Environment based on Julia | ||||||||||||||||
| Autoren: |
| ||||||||||||||||
| Datum: | 2016 | ||||||||||||||||
| Erschienen in: | Leveraging Applications of Formal Methods, Verification, and Validation, Pt II | ||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||
| Open Access: | Nein | ||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||
| In ISI Web of Science: | Ja | ||||||||||||||||
| DOI: | 10.1007/978-3-319-47169-3_15 | ||||||||||||||||
| Seitenbereich: | Seiten 198-217 | ||||||||||||||||
| Herausgeber: |
| ||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||
| Stichwörter: | modelica, Julia, modeling, simulaton | ||||||||||||||||
| Veranstaltungstitel: | 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation | ||||||||||||||||
| Veranstaltungsort: | Korfu, Griechenland | ||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||
| Veranstaltungsbeginn: | 10 Oktober 2016 | ||||||||||||||||
| Veranstaltungsende: | 14 Oktober 2016 | ||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||
| HGF - Programm: | Verkehr | ||||||||||||||||
| HGF - Programmthema: | Bodengebundener Verkehr (alt) | ||||||||||||||||
| DLR - Schwerpunkt: | Verkehr | ||||||||||||||||
| DLR - Forschungsgebiet: | V BF - Bodengebundene Fahrzeuge | ||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | V - Fahrzeugintelligenz (alt) | ||||||||||||||||
| Standort: | Oberpfaffenhofen | ||||||||||||||||
| Institute & Einrichtungen: | Institut für Systemdynamik und Regelungstechnik > Fahrzeug-Systemdynamik | ||||||||||||||||
| Hinterlegt von: | Klauer, Monika | ||||||||||||||||
| Hinterlegt am: | 11 Jan 2017 14:17 | ||||||||||||||||
| Letzte Änderung: | 24 Apr 2024 20:11 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
