| 1. |
- Blochwitz, Torsten, et al.
(författare)
-
Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models
- 2012
-
Ingår i: Proceedings of the 9th International Modelica Conference. - : Linköping University Electronic Press. - 9789175198262 ; , s. 173-184
-
Konferensbidrag (refereegranskat)abstract
- The Functional Mockup Interface (FMI) is a tool independent standard for the exchange of dynamic models and for co simulation. The first version, FMI 1.0, was published in 2010. Already more than 30 tools support FMI 1.0. In this paper an overview about the recently published version 2.0 of FMI is given that combines the formerly separated interfaces for Model Exchange and Co-Simulation in one standard. Based on the experience on using FMI 1.0, many small details have been improved and new features ease the usability and increase the performance especially for larger models. Additionally, a free FMI compliance checker will become soon available and FMI models from different tools are made available on the web to simplify testing.
|
|
| 2. |
- Garro, Alfredo, et al.
(författare)
-
On formal cyber physical system properties modeling: a new temporal logic language and a Modelica-based solution
- 2016
-
Ingår i: 2016 IEEE International Symposium on Systems Engineering (ISSE). - : IEEE. - 9781509007936 - 9781509007943 ; , s. 112-119
-
Konferensbidrag (refereegranskat)abstract
- Modeling and Simulation methods, tools and techniques aim at supporting the different phases of the lifecycle of modern systems, going from requirements analysis to system design and operation. However, their effective application requires investigating several aspects such as the formal modeling of system requirements and the binding and automated composition between heterogeneous models (e.g. requirements models, architectural models, behavioral models). In this context, the paper presents a new formal requirement modeling language based on temporal logic, called FORM-L, and a software library, based on the Modelica language, that implements the constructs provided by FORM-L so as to enable the visual modeling of system properties as well as their verification through simulation. The effectiveness of the proposal is shown on a real case study concerning an Intermediate Cooling System.
|
|
| 3. |
- Otter, Martin, et al.
(författare)
-
A New Formalism for Modeling of Reactive and Hybrid Systems
- 2009
-
Ingår i: [Host publication title missing]. - : Linköping University Electronic Press. ; , s. 364-377
-
Konferensbidrag (refereegranskat)abstract
- A new Modelica library is presented that is used to model safe hierarchical state machines in combination with any Modelica model, e.g., controllers, logical blocks, and physical systems described by differential-algebraic equations. It has been designed for simple usage, to guarantee safety properties and to harmonise with the design of the new Modelica_EmbeddedSystems library. Furthermore, new blocks are introduced to define actions in a visual way, and not textually. The library is inspired by Statecharts, Sequential Function Charts, Safe State Machines (SSM) and Mode-Automata. It has been designed so that only small extensions to Modelica 3.1 are needed. The algorithms are sketched that are used to guarantee consistent graphs that give a limited number of event iterations. Furthermore, it is shown how a symbolic verifier can be used to guarantee additional properties of state machines.
|
|
| 4. |
- Magnusson, Fredrik, et al.
(författare)
-
Collocation Methods for Optimization in a Modelica Environment
- 2012
-
Ingår i: Proceedings of the 9th International MODELICA Conference. - 1650-3740 .- 1650-3686. - 9789175198262 ; :76, s. 649-658
-
Konferensbidrag (refereegranskat)abstract
- The solution of generic dynamic optimization problems described by Modelica, and its extension Optimica, code using direct collocation methods is discussed. We start by providing a description of dynamic optimization problems in general and how to solve them by means of direct collocation. Next, an existing implementation of a collocation algorithm in JModelica.org, using CasADi and IPOPT, is presented. The extensions made to this implementation are reported. The new implementation is compared to an old C-based collocation algorithm in JModelica.org in two benchmarks. The presented benchmarks are based on a continuously stirred tank reactor and a combined cycle power plant. The new algorithm and its surrounding framework is more flexible and shown to be several times more efficient than its predecessor.
|
|
| 5. |
- Otter, Martin, et al.
(författare)
-
Formal Requirements Modeling for Simulation-Based Verification
- 2015
-
Ingår i: Proceedings of the 11th International Modelica Conference. - Linköping : Linköping University Electronic Press. - 9789176859551 ; , s. 625-635
-
Konferensbidrag (refereegranskat)abstract
- This paper describes a proposal on how to model formal requirements in Modelica for simulation-based verification. The approach is implemented in the open source Modelica_Requirements library. It requires extensions to the Modelica language, that have been prototypically implemented in the Dymola and OpenModelica software. The design of the library is based on the FOrmal Requirement Modeling Language (FORM-L) defined by EDF, and on industrial use cases from EDF and Dassault Aviation. It uses 2- and 3-valued temporal logic to describe requirements.
|
|
| 6. |
- Otter, Martin, et al.
(författare)
-
StateGraph-A Modelica Library for Hierarchical State Machines
- 2005
-
Ingår i: Modelica 2005 Proceedings. ; , s. 569-578
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- The new library Modelica.StateGraph is a freeModelica package providing components to modeldiscrete event and reactive systems in a convenientway. It has a similar modeling power as Statecharts,but avoids some deficiencies of Statecharts by usingelements of JGrafchart and by using Modelica as an“action” language. An overview of the StateGraphlibrary is given, the available components and anapplication example. The implementation of thelibrary in Modelica is sketched, especially theneeded extension to Modelica that will be availablein release 2.2 of the Modelica language.
|
|
| 7. |
-
The Seventeenth Data Release of the Sloan Digital Sky Surveys : Complete Release of MaNGA, MaStar, and APOGEE-2 Data
- 2022
-
Ingår i: Astrophysical Journal Supplement Series. - : Institute of Physics (IOP). - 0067-0049 .- 1538-4365. ; 259:2
-
Tidskriftsartikel (refereegranskat)abstract
- This paper documents the seventeenth data release (DR17) from the Sloan Digital Sky Surveys; the fifth and final release from the fourth phase (SDSS-IV). DR17 contains the complete release of the Mapping Nearby Galaxies at Apache Point Observatory (MaNGA) survey, which reached its goal of surveying over 10,000 nearby galaxies. The complete release of the MaNGA Stellar Library accompanies this data, providing observations of almost 30,000 stars through the MaNGA instrument during bright time. DR17 also contains the complete release of the Apache Point Observatory Galactic Evolution Experiment 2 survey that publicly releases infrared spectra of over 650,000 stars. The main sample from the Extended Baryon Oscillation Spectroscopic Survey (eBOSS), as well as the subsurvey Time Domain Spectroscopic Survey data were fully released in DR16. New single-fiber optical spectroscopy released in DR17 is from the SPectroscipic IDentification of ERosita Survey subsurvey and the eBOSS-RM program. Along with the primary data sets, DR17 includes 25 new or updated value-added catalogs. This paper concludes the release of SDSS-IV survey data. SDSS continues into its fifth phase with observations already underway for the Milky Way Mapper, Local Volume Mapper, and Black Hole Mapper surveys.
|
|
